body { 
  text-align:center; 
  margin:0px; 
  line-height:1.5em; 
} 
h1, h2, h3, h4 { 
  font-variant:small-caps; 
} 
code, pre{ 
  font-size:large; 
  line-height:1.25em; 
} 
code { 
  padding:1px; 
} 
pre { 
  padding:4px; 
} 
pre { 
  width:85%; 
} 
ul li{ 
  list-style-type:disc; 
} 
li {  
  line-height:1.25em; 
  margin-bottom:0.25em; 
} 
blockquote { 
  border-left-width:2px; 
  border-left-style:solid; 
  margin-left:1.5em; 
  padding-left:0.5em; 
} 
div.head { 
  text-align:center; 
  font-size:medium; 
} 
div.main { 
  text-align:left; 
  margin:auto; 
} 
acronym { 
  font-variant:small-caps; 
} 
ul.nav { 
  float:right; 
  margin:0; 
} 
ul.nav li{ 
  list-style-type:none; 
} 
ul.nav li a{ 
  background:#e0e0ef; 
  padding:2px 4px; 
  margin:4px 0px; 
  display:block; 
  font-size:small; 
} 
ul.nav li a:hover { 
  background:#f0f0ff; 
} 
img.email {
  margin:1em 0em 0em 0em;
  border:none;
  text-decoration: underline;
}