.nav  { color: #cc6; font-size: 12pt; text-decoration: none }
.nav:hover  { color: #fff; font-size: 12pt; text-decoration: none }
body,pre,td   { font-size: 10.5pt }