a:link       { color: #0DA0EE; text-decoration: none }
a:visited    { color: #0DA0EE; text-decoration: none }
a:active     { color: #F000F0; text-decoration: none }
a:hover      { color: #FF0000; text-decoration: none; background-color: #eeeeee}

body         { font-family: Helvetica, Arial; background-color: #DFF4FF; color: #000000 }
h1           { font-family: Helvetica, Arial; color: #FF0000; font-size: 24pt; font-weight: bold }
.table       { font-family: Arial, Helvetica; color: #000000; font-size: 16 }
pre          { color: black }
.imp         { font-family: Helvetica, Arial; color: #000000; size: 12pt}