body         { background-color: #000080; color: #000000 }
a, 
a:visited, 
a:link, 
a:hover      { color: #FF0000 }

a.x, 
a.x:visited, 
a.x:link, 
a.x:hover      { color: #FFFF00 }

table        { background-color: #FFFFFF; color: #000080 }
th.y, th.x   { background-color: #000080; color: #FFFFFF }

tt.warning   { color: #FF0000; font-weight: bold }