body {
  margin: 5pt 10pt 5pt 30pt;
  padding: 1pt;
  color: #000000;
  text-align: left;
  font-family: "times new roman",times,serif;
  background-color: #ffffff;
  font-size: 12pt;
}
div#Navigation {
  display: none;
}
div#Seite {
  padding: 1pt;
  width: 99%;
  font-family: "Times New Roman",Times,serif;
}
div#Inhalt {
  font-family: "Times New Roman",Times,serif;
  color: black;
}
table {
  color: black;
  font-family: "Times New Roman",Times,serif;
}
a {
  color: #000000;
  text-decoration: none;
  font-family: "times new roman",times,serif;
}
.infolink {
  display: none;
}
.noprint {
  display: none;
}