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

a:link, a:visited {text-decoration: none;}

 div.topLinks {padding: 4px 0 0 1px; background: #DDE; border-bottom: 1px solid gray; 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;}

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;}

p {margin: 1px 0; padding: 0.1em 0.5em;}

p.even {background-color: #EFEFEF;}