a:visited {font-weight: bold; color: blue; background: transparent; }
a:active {font-weight: bold; color: white; background: blue; }
a:link {font-weight: bold; background: transparent; }
a:hover {font-weight: bold; color: white; background: #ff6666; }
body {color: blue; margin: 10px 10px 10px 10px; }
span.nobr {white-space: nowrap; }
pre.smaller {font-size: smaller; }