/* Gesamtschrift und Gesamtrand festlegen */
body {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 80.0%;
}

/* Überschrift 1 gestalten */
h1 {
  color: darkblue;
  font-size: 1.2em;
  margin-top: 8px;
}

/* Überschrift 2 */
h2 {
  font-size: 1.1em;
}

/* Überschrift 3 */
h3 {
  font-size: 1em;
}

/* Absatz und div */
p, div, ul, ol, li {
  font-size: 1em;
  line-height: 1.4;
}


/* Listenstil für Menüeintrag */
div.menu ul {
  list-style-image: url(karo.jpg);
  font-size: 0.9em;
  line-height: 1.4;
  margin-left: 0.7em;
  padding-left: 0.7em;
}

div.menu span.obermenuhigh {
  color: #AF1810;
  font-weight: bold;
}

div.menu span.submenuhigh {
  color: #AF1810;
  font-weight: bold;
}

/* Listenstil für verschachtelten Untermenüeintrag */
div.menu ul ul {
  list-style-image: url(reddot.gif);
  font-size: 1em;
  line-height: 1.4;
  margin-top: 0px;
  padding-top: 0px;

}

/* normaler Listenstil */
ul {
  list-style-image: url(karo.gif);
  font-size: 1em;
  line-height: 1.4;
  margin-left: 0.7em;
  padding-left: 0.7em;
}


/* Hyperlinks */
a:visited {
  color: black;
}

a:link {
  color: black;
}
a:visited {
  color: black;
}
a:hover {
  color: black;
  text-decoration: none;
}

/* Gestaltung des rechts ausgerichteten Kastens */
div.kasten {
  font-size: 0.9 em;
  margin-top: 10px;
  float: right;
  width: 200px;
  border-style: dotted;
  border-width: 2px;
  border-color: silver;
  padding: 3px;
}

/* Einführungsabsatz */
div.lead, div.lead p {
font-family: Verdana, Arial, Helvetica, sans-serif; 
font-size:  0.9em;
font-weight: bold;
margin-top: 5px;
margin-bottom: 18px;
line-height: 1.3;
}

/* grauer Rahmen mit Umrandung */
.rahmen {
font-family : Verdana, Arial, Helvetica, sans-serif; 
font-size : 0.9em; 
background-color : #EEEEEE; 
border-style : solid; 
border-width : 1px; 
border-color : #CD3326; 
padding : 3px; 
}

/* Rahmen mit gestrichelter Umrandung */
.tipp {
font-family : Verdana, Arial, Helvetica, sans-serif; 
font-size : 0.9em; 
border-style : dotted; 
border-width : 1px; 
border-color : gray; 
padding : 3px;
margin-top: 8px;
margin-bottom: 10px; 
}

.code {
font-family: Courier New, Courier, monospace;
font-size: 115%;
color: #000099;
}