h1   { color: #483d8b; font-style: italic; font-weight: bold; font-size: x-large }
h2    { color: #483d8b; font-style: normal; font-weight: bold; font-size: large }
h3        { color: #483d8b; font-style: normal; font-weight: bold; font-size: medium }
h4   { color: #483d8b; font-style: normal; font-weight: normal; font-size: medium }
a:link     { color: #4682b4; font-weight: bolder; text-decoration: none }
a:visited    { color: #008080; font-weight: bolder; text-decoration: none }
body   { background-color: #f0f8ff }
a:hover    { color: #4682b4; text-decoration: underline }
a:active   { color: #0000a0 }
table { background-color: #add8e6 }
th  { color: #f0f8ff; background-color: #4682b4 }
.hint  { background-color: #afeeee }