body {color: black; background: none white; padding: 0px; margin: 0px; 
  text-align: left; font-family: Helvetica, Arial, sans-serif; font-weight: normal;}
p,li,dd {padding-left:2%; padding-right:2%;}
dt {padding-left:2%; padding-right:2%; font-weight: bold;}
.topsep {margin-top: 3%;}
a {color: blue; background: none white; text-decoration: none;} 
a:hover {color: blue; background: none white; text-decoration: underline;}
h1 a {color: rgb(39,78,144); background: rgb(140,170,230); text-decoration: none;}
h1 a:hover {color: rgb(39,78,144); background: rgb(140,170,230); text-decoration: none;}
h1 {padding: 2%; margin: 0px; color: rgb(39,78,144); background: rgb(140,170,230);
  font-family: Verdana, "Bitstream Vera Sans", Helvetica, Arial, sans-serif; 
  font-weight: normal;}
h2,h3,h4,h5 {padding-left: 2%; padding-right:2%; 
  font-family: Verdana, "Bitstream Vera Sans", Helvetica, Arial, sans-serif;
  font-weight: normal;}
.menu {color: white;  background: rgb(0,51,153); margin: 0; padding-left: 2%; 
  padding-right: 2%; padding-top: 1%; padding-bottom: 1%; 
  font-family: Verdana, "Bitstream Vera Sans", Helvetica, Arial, sans-serif; font-size: 90%;}
.menu .aktuell {color: rgb(253,160,91); background: rgb(0,51,153); font-weight: bold;}
.menu a {color: white; background: rgb(0,51,153); text-decoration: none; font-weight: bold;}
.menu a:hover {color: white; background: rgb(0,51,153); 
  text-decoration: underline; font-weight: bold;}
.datum {font-size: smaller; 
  font-family: Verdana, "Bitstream Vera Sans", Helvetica, Arial, sans-serif;}
input {border: 1px solid #a1a1a1; color: black; background: none white;}
acronym:hover, abbr:hover {cursor: help;}
.footer	{margin: 0; padding-left: 2%; padding-right: 2%; padding-top:1%; padding-bottom: 1%;   
  color: white; background: rgb(140,170,230); font-size: smaller;
  font-family: Verdana, "Bitstream Vera Sans", Helvetica, Arial, sans-serif;}
.footer a {color: white; background: rgb(140,170,230); text-decoration: underline;}
.footer a:hover {color: white; background: rgb(140,170,230); text-decoration: none;}
pre {padding-left:2%;}
.notes {border: 2px solid rgb(253,160,91);}