body {height: 5in; margin: 0px; font-family: "Tiresias PCfont", "DejaVu Sans",Helvetica, Arial, Verdana, sans-serif; font-size: 8pt; text-align: center; background: #000000; color:#cc0000; }
a {color: #3333ee; text-decoration: underline; }
a:visited {color:#0000cc; text-decoration:underline; }
a:hover {color:#6666ff; text-decoration:underline; }

h1 {font-size: 20pt;}
p.rb {font-size: 20pt; font-weight: bold;}
p.rc {font-size: 15pt;}

@font-face {font-family: Tiresias PCfont; src: url(/fonts/Tiresias_PCfont.woff) format("woff");}