body {
  // font-family : "Times New Roman", Times, serif;
  font-family: "Lucida Grande, Geneva, Arial, Helvetica";
  font-weight : normal;
  font-size: 12pt;
  font-style : normal;
  color : black;
  background: "http://wwwcsif.cs.ucdavis.edu/~deramo/wp/ivory_back.jpg";
  font-size: 9pt; 
}

a, a:hover, a:active {
  color: #393F71
}

a:hover {
  background-color: #393F71;
  color: white;
  text-decoration: none;
}

code {
        color: #369;
        font-family: Courier, "Courier New", monospace;
}

pre {
        color:  #369;
        font-family: Courier, "Courier New", monospace;
        margin-left: 20px;
        border: 1px solid #ddd;
        padding: 0.75em 1.5em;
}

#main {
  margin: 10px auto 0px auto;
  padding-bottom: 100px;
  width: 700px;
}

#content {
  margin: 10px 0 0 0;
  padding: 5px 20px;
}

#content #sidebar {
  float: right;
  width: 200px;
  text-align: right;
  font-size: 10px;
}

#content #sidebar2 {
  float: left;
  width: 200px;
  text-align: left;
  font-size: 10px;
}

#content #sidebar3 {
  float: left;
  width: 250px;
  text-align: left;
  font-size: 12px;
}

#footer {
  border-top: 1px solid silver;
  text-align: right;
  font-size: 10px;
  padding: 5px;
  color: gray;
}

#header {
  border-bottom: 1px solid silver;
  // text-align: right;
  padding: 5px;
  color: gray;
}

#prof {
  text-align: left;
  font-size: 14px;
  padding: 5px;
  color: black;
}

ul {
  list-style: square;
}

img, a img {
  border: none;
}

img.floatright { 
  float: right; 
  margin: 4px;
}

hr {
  border: 0;
  color: silver;
  background-color: silver;
  height: 1px;
}