body {background-color: white;
font-family: Verdana, sans-serif;
font-size: 85%;
color: black;
margin-right: 5%;
margin-left: 5%}

a:link    {color: #3333FF}
a:visited {color: #000099}
a:hover   {color: #FF3300}

p, ul, blockquote  {text-align: justify}
ul {margin-right: 30px}

h2 {
border-style: solid;
border-color: black;
border-width: 1px 0 0 0;
font-size: 115%}

pre {
margin-left: 5em}

div.nav {color: #3333FF;
background-color: #CCCCEE;
border-style: solid;
border-color: #9999CC;
border-width: 0 1px 1px 0;
font-family: Arial, sans-serif;
font-weight: bold;
text-align: center;
padding: 4px;
margin-top: 20px;
margin-bottom: 20px;
clear: both}

div.nav > a:link    {color: #3333FF; text-decoration: none}
div.nav > a:visited {color: #3333FF; text-decoration: none}
div.nav > a:hover   {color: #FF3300; text-decoration: none}

h1 {font-size: 130%}

td {font-family: Arial, sans-serif}
dt {font-weight: bold}
dd {text-align: justify}

blockquote {font-size: 85%;
text-align: justify}

hr {color: #aaaaaa}

table.games td {
font-size: 85%;
background-color: #CCCCCC}