body {
width:800px;
margin:1em auto;font-family:Verdana, helvetica;padding:0 10px;}div#page{background:white;padding: 1em 2em;margin:0;border-left: 1px solid #aaaaaa;border-right: 1px solid #aaaaaa;border-bottom: 1px solid #aaaaaa;}.lf{
float:left;
margin:0 5px 0 0 ;
}
.adlf{
float:left;
margin:3px 10px 3px 0;
border:1px solid silver
}div#page h1{font-size:18px;margin-top:0;}
h1,h2{clear:both}h1, h2, h3{color: #035;border-bottom: 1px solid silver;}div#page h2{font-size:16px;}h3 {font-size:14px;}div#nav{height:20px;padding:0px;padding-left:10px;margin:0px;border-bottom:1px solid #aaaaaa;}a.nav {color:black;position:relative; bottom:0px;margin:0px;padding:3px;text-decoration:none;font-size:12px;border:1px solid #aaaaaa;background-color:#f0f0f0;}* html a.nav{position:relative; bottom:1px;}a.nav:active{}a.nav:visited {  }a.nav:hover {    color: green; }a#navon {color:black;background-color:white;border:1px solid #aaaaaa;border-bottom: 1px solid white;position:relative; bottom:0px;margin:0px;padding:3px;text-decoration:none;font-size:12px;}* html a#navon{position:relative; bottom:1px;}a.f{color: #999999;font-size:11px;text-decoration:none;margin:0;padding:0;}table{font-size:12px;border:1px solid #505050;background-color:#f0f0f0;}td{padding:2px 4px;}#foot{text-align:center;padding:0;margin:0;font: normal 10px Arial;color:black;}pre{border:1px dashed #aaa;background:#fafafa;padding:.5em;}