a {text-decoration: none}
a:link {  color: #0033FF; text-decoration: none}
a:visited {  color: #0000FF; text-decoration: none}
a:hover {  color: #FF0000; text-decoration: none}
a.nav:link {  color: #000000; text-decoration: none}
a.nav:visited {  color: #000000; text-decoration: none}
a.nav:hover {  color: #FF0000; text-decoration: none}

.titel {  font-family: "Times New Roman", Times, serif; font-size: 36pt; font-style: normal; font-weight: bold; font-variant: normal; text-transform: none; text-align: center; border-top-width: thin; border-bottom-width: thin; background-image: url(images/b1.gif); background-repeat: no-repeat; vertical-align: middle}
h1 {  font-size: 36px; text-align: center; vertical-align: middle}
pre {  font-family: "Courier New", Courier, mono; font-size: small}
td {  font-family: Verdana, Arial, Helvetica, sans-serif}