body {
  background-color:#FFFFFF; 
  margin:0px 4px;
  font-size:11px;
  color:#000000;
  font-family: arial; 
}

a:link {
  color: navy;
  text-decoration: underline;
}

a:visited {
  color: navy;
  text-decoration: underline;
}

a:active {
  color: black;
  text-decoration: none;
}

a:hover {
  color: black;
  text-decoration:none;
}
   
a.searchbar {
  color: black;
  text-decoration: underline;
  font-weight: bold;
}

pre {
  font-family: monospace;
  font-size: 12px;
}

ul {
  list-style-type: square;
  line-height: 150%;
  /*margin-left: -20px;
  display: inline;*/
}

#searchbox input {
  font-size:10px;
  background-color:#EEEEEE;
  margin:0px;
}

#navbar a {
  decoration:none;
}

span.navspacer {
  margin:0px 5px;
}

#copyright {
  text-align:center;
  font-size:10px;
}

.toolbar li { 
display:inline;
margin:0px;
padding:1px; 
}