html, body { 
  padding: 0;
  margin: 0;
}               
    
body { 
  font-family: Arial, Helvetica, sans-serif;
  font-size: 80%;
  color: #333;
  background-color: #f0f0f0;
  padding-right: 30%;
}
    
a, a:link, a:visited { 
  color: #00a2ff;
  text-decoration: none;
  font-weight: bold;
}
    
a:hover { 
  color: #333;
}

img {
  border: none;
}

h1#top { 
  margin: 0;
  border-top: 1em #333 solid;
  font-family: Georgia, serif;
  font-weight: normal;
  padding: 1em 0.5em;
  background: white;
}
    
h1#top a { 
  font-weight: normal;
}  
    
h1#top a:hover span { 
  color: #00a2ff;
} 

h1#top a span, h1#top a:hover { 
  color: #333;
}          
    
ul#nav { 
  background-color: #e5e5e5;
  list-style: none;
  padding: 0.5em;
  margin: 0;
}
    
ul#nav li { 
  color: black;
  display: inline;
  margin-left: 1em;
}   
    
ul#nav li a { 
  text-decoration: none;
}  
    
div#left { 
  float: left;
  width: 200px;
  background: transparent;
  overflow: hidden;
  padding-top: 1px;
}
    
div#left h1, div#contents h1 { 
  background: #333;
  color: white;
  padding: 6px;
  font-size: 90%;
}                    

div#contents { 
  background: white;
  padding: 1px 0 1em 0;
}

div.withcol {
  padding-left: 200px !important;
}

div.filelist pre {
  padding-left: 1em;
}

div.filelist pre img {
  vertical-align: middle;
}

div.filelist pre a {
  font-weight: normal;
}

li {
  margin-bottom: 0.2em;
}

h2 { 
  font-family: Georgia, serif;
  font-weight: normal;
  font-size: large;
  padding: 0 0.6em;
}
    
p { 
  padding-left: 1em;
  padding-right: 1em;
  line-height: 1.75em;
}
    
p#present { 
  margin: 0;
  padding: 2em 1em 1em 2em;
  font-size: large;
  font-family: Georgia, serif;
  line-height: 1.2em;
  background: white;
}        
    
p#bottom { 
  background-color: #333;
  color: white;
  clear: both;
  text-align: center;
  margin: 0;
}

p#bottom a {
  font-weight: normal;
}

p#bottom a:hover { 
  color: white;
}        
    
dl#sites { 
  padding: 0 1em 0 2em;
}
   
dl#sites dd { 
  margin-left: 1em;
  padding-top: 0.5em;
  margin-bottom: 1em;
  line-height: 1.25em;
}   
    
dl#newslist { 
  padding: 0 1em;
}
    
dl#newslist dt { 
  font-weight: bold;
  font-size: 110%;
  font-family: Georgia, serif;
}   
    
dl#newslist dd { 
  margin-left: 1em;
  padding-top: 0.5em;
  margin-bottom: 1.5em;
  line-height: 1.25em;
}

pre {
  margin: 2em 0;
  padding: 0;
  text-align: left;
  font-family: monospace;
  font-size: small;
}

pre a { font-family: monospace; }

input { width: 98%; padding: 1px; border: 1px #333 solid; }
input[type=submit] { width: 4em; }
input[type=checkbox], input[type=radio] { width: 12px; }
select { border: 1px #aaa solid; }
textarea { width: 98%; margin: 1em 0; border: 1px #333 solid;
           font-family: monospace; }