body {  }
p {  }
td { }
a:link {  }
a:visited {  }
a:hover { text-decoration: underline; }
a:active {  }
h1 { font-size: 7pt; font-family: Verdana, Arial, Helvetica, sans-serif; font-weight: bold; margin: 0.67em 0; }
.redborderallaround { background-color: white; padding: 12px; border: solid #760008; }
.whiteborderall { padding: 5pt; border: solid thin black; }
.whitelinkover { color: white; text-decoration: none; }
.redlink { color: #760008; font-family: Arial; }
