a {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; color: #003366; text-decoration: none}
.orangedot {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px; font-weight: bold; color: #FF9900; text-decoration: none}
div {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; color: #000000}
.highlighteddarkblue {  font-family: Verdana, Arial, Helvetica, sans-serif; font-weight: bold; color: #003366}
a:hover {  text-decoration: underline}
.highlightedorange {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; font-weight: bold; color: #FF9900}
ul {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; color: #000000; list-style-position: outside; list-style-image: url(grafiken/orangedot.gif)}
.author {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9px; color: #003366}