body {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 12px;
  font-style: normal
}
td,ul,ol,h3,p,dl,h1,h2 {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 12px;
  font-style: normal
}
ul.spread {
  line-height: 17px
}

h1 {
  font-size: 24px;
  color: #000099
}
h2 {
  font-size: 22px;
  color: #900000
}
h3 {
  font-size: 15px;
  color: #000080
}
h4 {
  font-size: 13px;
  color: #000000
}
a {
  color: #000099;
}
a:hover
  { color: #990000
  }
a:visited
  { color: #660066;
  }
a.navigate, a.navigate:visited {
  color: #000099;
  text-decoration: none
}

a.navigate:hover {
  color: #990000
}
a.noline {
  color: #000099;
  text-decoration: none
}
a.noline:visited {
  color: #660066;
  text-decoration: none
}
a.noline:hover {
  color: #990000
}
.balk_titel {
  font-family: Arial, Helvetica, sans-serif;
  font-size: 20px;
  font-style: italic;
  font-weight: bolder;
  color: #0b0e88
}
.menulinks {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 14px;
  font-style: bold;
  color: white;
  text-decoration: none
}

pre {
  background: #ddddff;
}