a:active {	TEXT-DECORATION: none; font-weight: bold}
a:link {	COLOR: #333399; TEXT-DECORATION: none; font-weight: bold}
a:visited {	COLOR: #333399; TEXT-DECORATION: none; font-weight: bold}
a:hover {	COLOR: red; TEXT-DECORATION: underline; font-weight: bold}
.body { background-image: url(../Bilder/verlauf.gif); background-repeat: repeat-y}
.menu a:active {	font-weight: bold; font-size: 12pt}
.menu a:link {	COLOR: #333399; TEXT-DECORATION: none; font-weight: bold; font-size: 12pt}
.menu a:visited {	COLOR: #333399; font-weight: bold; font-size: 12pt}
.menu a:hover {	COLOR: #333399; font-weight: bold; background-color: #99FFFF; text-decoration: none; font-size: 12pt}
.menu {  }
.logo {  }
.workspace h1 {  font-size: 16pt; font-style: normal; font-weight: bold; font-family: "Times New Roman", Times, serif}
.workspace h2 {  font-size: 14pt; font-style: normal; font-weight: bold; font-family: "Times New Roman", Times, serif; line-height: normal}
.workspace {  }