body {
 margin: 0px 10% 50px 0px;
 padding: 0px;
 background-color: #fff;
 }

a:link {color: #00F;}
a:visited {color: #00F;}
a:hover {color: #F00; text-decoration: none; background: #ffd;}
a:active {color: #096;}

#banner {
 background:#fff;
 height:130px;
 border-bottom:1px solid #0a0;
 }
#banner a:hover {color:#00f;border:0px;background:#fff;}

p,h1,pre {
 margin:0px 10px 10px 10px;
 }

h1 {
 font-family: verdana, arial, helvetica, sans-serif;
 font-size:20px;
 color:#009;
 padding-bottom:1px;
 }

.notes {
 font-family: verdana, arial, helvetica, sans-serif;
 font-weight: bold;
 font-size:85%;
 color:#009;
 }

div#foot {
 font-size : 85%pt;
 font-style: italic;
 font-family : Garamond, 'times new roman', serif;
 padding-left: 100px;
 }

hr#div foot {
 color:#00aa00;
 width:90%;
 size:2px;
 }

div#leftnav {
 font-family: Verdana, Arial, helvetica, sans-serif;
 font-size: 10pt;
 color: #000;
 text-indent: 10px;
 width:150px;
 border-right:1px solid #0a0;
 }

div#leftnav a:hover {
 color: #fff;
 background: #0a0;
 border-right: 3px solid #fff;
 text-decoration: none;
 }

div#leftnav a {
 font-size: 10pt;
 font-family: verdana, arial, helvetica, sans-serif;
 font-weight: bold;
 color: #00F;
 padding-top: 7px;
 padding-bottom: 4px;
 padding-left: 10px;
 display: block;
 text-indent: 3px;
 border-width: 0;
 background: #ffc;
 border-right: 3px solid #0a0;
 }

div#navimg {
 margin:0px;
 padding:0px;
 text-indent:0px;
 border-right:1px solid #0a0;
 }

.fnote {
 font-size: 85%;
 margin-bottom: 0px;
 margin-top: 0px;
 }

.gps {
 font-size: 85%;
 }