a:link {  color: #0000FF}
a:visited {  color: #CC00CC}
a:hover {  color: #FF0000}
a:active {  color: #FF0000}
pre { font-family: monospace; background-color: #CCCCCC; border: thin solid; border-color: #000000 solid; padding-top: 1ex; padding-right: 1em; padding-bottom: 1ex; padding-left: 1em}
.logo { float: right; }