
.body { color: #fff; font-size: 12px; font-family: Verdana, Arial, Helvetica }
pre { color: #fff; font-size: 12px; font-family: Verdana, Arial, Helvetica }
a:visited:link  { color: #7eca63 }
a:visited:hover   { color: #dcc46f }
a:link  { color: #fff }
a:hover   { color: #dcc46f }
