body {background:  white;}
A:link {color: blue; font-weight: bold;}
A:active {color: red; font-weight: bold;}
A:visited {color: blue; font-weight: bold;}
A.linksPage {color: blue; font-weight: bold;}
h1 { color: black; font-size: 200%; font-family: "Times New Roman", Georgia, Times, serif; }
h3 { color: black; font-weight: bold; font-size: 150%; font-family: "Times New Roman", Georgia, Times, serif; margin-top: 1em;}
p { color: black; font-size: 12pt; font-family: "Times New Roman", Georgia, Times, serif;}
p.copyright { color: black; font-size: 80%; font-family: "Times New Roman", Georgia, Times, serif;}
pre {font-family: monospace;}
table.navbar {background: #ffffcc;}
tr.navbar {background: #ffffcc;}
td.navbar {background: #ffffcc;}