body {  font-family: Arial, Helvetica, sans-serif; font-size: 12px}
a:hover {  color: #FFCC66; background-color: #000000}
pre {  font-family: "Courier New", Courier, mono; font-size: 12px}