P { font-family: Times, "sans serif" }
A { text-decoration: none; font-family: Arial, "sans serif" }
A:hover { text-decoration: underline }
TT { font-size: 13px }