body {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 12px;
  background-color: #f8f8f8;
}

a {
  color: #000080;
}

a:hover {
  color: #6080A0;
}

a:active {
  color: #6080A0;
}

table.aussentabelle {
  border-color: #000000;
  border-width: 1px;
  border-style: solid;
  margin-top: 10px;
  height: 95%;
}

td.kopfzeile {
  height: 30px;
  background-color: #ffffff;
  font-size: 16px;
  font-weight: bold;
  border-color: #404080;
  border-bottom-style: solid;
  border-bottom-width: 3px;
}

table.mittelteil { 
  height: 100%;
  border-width: 0px;
}

td.navigation {
  height: 100%;
  background-color: #404080;
  vertical-align: top;
  border-right-width: 1px;
  border-right-style: solid;
  border-color: #404080;
}

div.navipunkt1 {
  width: 180px;
  height: 50px;
  text-align: right;
}

div.navipunkt {
  font-size: 14px;
  font-weight: bold;
  width: 180px;
  text-align: right;
}

div.navipunkt a {
  background-color: #404080;
  display: block;
  color: #ffffff;
  text-decoration: none;
  padding: 5px;
  padding-right: 8px;
}

div.navipunkt a:hover {
  background-color: #d0d0f0;
  color: #000000;
  text-decoration: none;
}

td.inhalt {
  background-color: #ffffff;
  padding-top: 10px;
  padding-bottom: 10px;
  padding-left: 35px;
  padding-right: 35px;
  vertical-align: top;
  text-align: justify;
  font-size: 12px;
  color: #000000;
}

div.content-heading {
  text-align: left;
  font-size: 12px;
  color: #000000;
  margin-left: -15px;
  margin-right: -15px;
  margin-top: 25px;
  margin-bottom: 15px;
  padding-left: 15px;
  padding-right: 15px;
  padding-top: 2px;
  padding-bottom: 2px;
  background-color:#d0d0f0;
  border-bottom-width: 1px;
  border-bottom-style: solid;
  border-top-width: 1px;
  border-top-style: solid;
  border-color: #666666;
}

h1 {
  padding-top: 5px;
  font-family: Arial, sans-serif;
  font-size: 18px;
  font-weight: bold;
}

h2 {
  font-size: 16px;
  padding-top: 10px;
}

h3 {
  font-size: 14px;
}

ul {
  list-style-type: disc;
  text-align: left;
}

td.fuss {
  width: 100%;
  height: 20px;
  font-size: 10px;
  color: #000000;
  background-color: #f4f4f4;
  padding-right: 10px;
  border-color: #404080;
  border-top-style: solid;
  border-top-width: 3px;
}

table.download { 
  font-size: 12px;
}

table.packages {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 12px;
}

th.packages {
  text-align: left;
}

td.packages {
  padding-right: 25px;
}

pre { 
  font-size: 12px;
}

code { 
  font-size: 12px;
}