h1 {  font-family: Arial, Helvetica, sans-serif; font-size: 14px; color: #FFFFFF; font-weight: bold; margin-top: 7px; margin-right: 13px; margin-bottom: 13px; margin-left: 27px}
p { font-family: Arial, Helvetica, sans-serif; font-size: 12px; color: #000000; font-weight: normal; margin-top: 7px; margin-right: 13px; margin-bottom: 13px; margin-left: 27px}
div {  float:left}
.menutitle {  background-color: #333333; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px; color: #666666}
.menu { background-color: #999999; font-family: Arial, Helvetica, sans-serif; font-size: 11px; color: #FFFFFF}
.menutable {  margin-top: 7px; margin-bottom: 0px}

a:link
{
	color: #330000;
	font-weight: bold;
	text-decoration: none
}
a:visited
{
	color:#333333;
; text-decoration: none}
a:active
{
	color:#000000; text-decoration: underline}
a:hover { color:#000000; text-decoration: underline}
a { color: #330000; font-weight: bold; text-decoration: none }
.menusub { background-color: #CCCCCC; font-family: Arial, Helvetica, sans-serif; font-size: 10px; color: #FFFFFF }
h2 { font-family: Arial, Helvetica, sans-serif; font-size: 12px; color: #CCCCCC; font-weight: bold; margin-top: 21px; margin-right: 7px; margin-bottom: 7px; margin-left: 7px}
.p2 { font-family: Arial, Helvetica, sans-serif; font-size: 12px; color: #000000; font-weight: normal; margin-top: 7px; margin-right: 7px; margin-bottom: 7px; margin-left: 7px}
.code
{
font-family: "Courier New", Courier, mono;
font-size: 12px;
color: #FFFFFF;
background-color: #333333;
}
h3 { font-family: Arial, Helvetica, sans-serif; font-size: 12px; color: #FFFFFF; font-weight: bold; margin-top: 7px; margin-right: 13px; margin-bottom: 13px; margin-left: 27px }
.scriptausgabe { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px; color: #333333; ; font-weight: bold}
ul { font-family: Arial, Helvetica, sans-serif; font-size: 12px; color: #000000; font-weight: normal; margin-top: 7px; margin-right: 13px; margin-bottom: 13px; margin-left: 27px ; list-style-type: square}
.top {  font-family: Arial, Helvetica, sans-serif; font-size: 10px; margin-top: 3px; margin-right: 3px; margin-bottom: 3px; margin-left: 3px; text-align: right}
ol { font-family: Arial, Helvetica, sans-serif; font-size: 12px; color: #000000; font-weight: normal; margin-top: 7px; margin-right: 13px; margin-bottom: 13px; margin-left: 27px }