PRE { font-family: Courier New, serif;}
.menubar { font-weight: bold; color: #903030; text-decoration: none; float: right; margin-right: 2em;} 
.menubar a:link { font-weight: bold; text-decoration: underline; }
.menubar a:visited { font-weight: bold; text-decoration: underline; }
.menubar a:hover { font-weight: bold; text-decoration: underline; }
.leftbar  { font-size: 80%; margin-left:12px; margin-right:10px;}
.c2csm { font-weight:bold; color:#000033; font-style:italic;}

.releaseheader { font-weight:bold; color:#FFFFFF; }
.indentedtable { margin-left: 20px; }

TD.nav { font-weight: bold; font-size: 70%; color: #903030; text-decoration: none } 
A.nav:link { font-weight: bold; color: #0033bb; text-decoration: none }
A.nav:visited { font-weight: bold; text-decoration: none }
A.nav:hover { font-weight: bold; text-decoration: none }

P.ncurrent { margin: 9px 4px 1px 8px; text-indent:-8px; }
P.nlink { margin: 9px 4px 1px 8px; }