body { font-family: "Times New Roman", Times, serif; font-size: 16px; }
a { color: #0000EE; }
a:visited { color: #551A8B; }
td { vertical-align: top; }
.err { color: #B00000; font-family: monospace; }