body {margin: 0; padding: 1.75em 0 0; background: #F3F3F3; color: black; font-size: 12px;}

a:link, a:visited {text-decoration: none;}
a:hover {color: #933;}
 
div.topLinks {padding: 4px 0 0 1px; background: #DDE;
  border-bottom: 1px solid gray; border-top: 1px solid black;
  white-space: nowrap; text-align: left; font: bold 11px Arial, sans-serif;
  position: fixed; top: 0; bottom: auto; height: auto; left: 0; right: 0;
  width: 100%;}

div.topLinks a {color: #404080; text-decoration: none; background: #CCD; padding: 2px 2px 0; margin: 0; border: 1px solid gray;}

div.topLinks a:hover {background: #DDE;}

a#current {color: black; background: #F3F3F3; border-bottom-color: #F3F3F3;}

/* non-topLink styles */

h4 {margin: 1.5em 0 0.25em 0; padding-left: 0.25em; border-bottom: 1px solid gray;}

ul {margin: 0; padding: 0;}
ul li {padding: 0.1em 0.5em; list-style: none; border-bottom: 1px dotted #DDD;}
ol {margin: 0.33em 0; padding-left: 2.5em;}
ol li {padding: 1px 0.1em;}
li:nth-child(2n) {background: white;}