body { background:#f8f8f8; margin:0pt; font-family:Arial,Helvetica,sans-serif; color:#222222;}
a:link { color:#700000; text-decoration:none; }
a:visited { color:#700000; text-decoration:none; }
a:hover { color:#500000; }
.sitenav { background:#e0e0e0; }
.sitenav #current { color:#c00000; }
.pagenav { font-size:small; }
.index { line-height: 150%; }