body { font-family: Verdana, Arial, Helvetica, sans-serif; color: black;
   background: white; width: 840px}
.nobackground { background: white; }
h1 { color: #c33;  background: none;  font-weight: bold;  text-align: center }

h2 { color: #006400;  background: none;  font-weight: bold }

h3 { color: #00008b;  background: none;  font-weight: bold; margin-left: 4%;  margin-right: 4% }

h4 { margin-left: 6%;  margin-right: 6%;  font-weight: bold }

h5 { margin-left: 6%;  margin-right: 6%;  font-weight: bold }

dl, p, table {  margin-left: 4%;  margin-right: 4% }

ul li { margin-left: 4%;  margin-right: 4%; margin-bottom: 2ex }
ol li { margin-left: 4%;  margin-right: 4%; margin-bottom: 2ex }
/* td { padding-right: 10%;  : .80em } */
/* p {font-size: .90em } */
.facultyname{font-weight: bold; font-size: .80em}
.bio {font-size: .80em}
ul ul, table ol, table ul, dl ol, dl ul {
  margin-left: 1.2em;  margin-right: 1%;  padding-left: 0 }

pre { margin-left: 10%;  white-space: pre }

table caption { font-size: larger;  font-weight: bolder }

table p, table dl, ol p, ul p, dl p, blockquote p, .note p, 
  .note ul, .note ol, .note dl, li pre, dd pre { margin-left: 0;  margin-right: 0 }

.navbar {font-size: .80em; color: white; background-color: #663300; font-weight: bold; background-image: none}

.navbar a:link {color: white; text-decoration: none}
.navbar a:visited {color: white; text-decoration: none}
.navbar a:hover {color: #FF8C00; text-decoration: underline}
.navbar a:active {color: white; text-decoration: none}

/* .navbar { background-color: #62d971; } */
.emphasis { font-weight: bold; }
.smaller { font-size: 60% }
.PageTitle { color: #333366;  background: none;  font-weight: bold;   font-size: 1.3em }
p.top { margin-left: 1%;  margin-right: 1% }

blockquote { margin-left: 8%;  margin-right: 8% }

blockquote pre { margin-left: 1%;  margin-right: 1% }

dt a { font-weight: bold;  margin-top: .8em }

.attention {color: #FFCC00; background-color: #3333FF; font-weight: bold; background-image: none}