/* Gesamtschrift und Gesamtrand festlegen */
body {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  margin-top: 0px;
  margin-right: 0px;
  font-size: 100.1%;
}

/* Überschrift 1 gestalten */
h1 {
  color: #0000A0;
  font-size: 1.4em;
  line-height: 1.4;
  margin-top: 0px;
  background-image: url(verlauf.jpg);
  background-repeat: repeat-y;
  padding: 4px;
}

/* Überschrift 2 */
h2 {
  font-size: 1.1em;
  line-height: 1.4;
  background-image: url(rotkaro.gif);
  background-repeat: no-repeat;
  text-indent: 20px;
  background-position: left;
  padding-bottom: 5px;
  margin-bottom: 5px;
}

/* Überschrift 3 */
h3 {
  font-size: 1em;
  line-height: 1.4;
  margin-bottom: 1px;
  background-image: url(reddot.gif);
  background-repeat: no-repeat;
  text-indent: 20px;

}

/* Absatz und div */
p, div, ul, ol, li {
  font-size: 1em;
  line-height: 1.4;
}

div.firststeps {
  width: 600px;
  font-size: 0.8em;
  line-height: 1.3;
}

/* Listenstil für Menüeintrag */
div.menu ul {
  list-style-image: url(karo.gif);
  font-size: 0.9em;
  line-height: 1.4;
  margin-left: 0.7em;
  padding-left: 0.7em;
}

div.menu span.obermenuhigh {
  font-weight: bold;
  color: #AF1810;
}

div.menu span.submenuhigh {
  font-weight: bold;
  color: #004080;
}

/* 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;
}

hr {
  border-style: solid;
  border-width: 1px;
  border-color: #0000A0;
  width: 85%;
  margin-left: 0px;
  text-align: left;
}

a {
  padding: 3px;
  border-style: solid;
  border-width: 1px;
  border-color: red;
  background-color: white;
  text-decoration: none;
  color: black;
}

a.normal {
  padding: 2px;
  border-style: none;
  text-decoration: underline;
  color: darkblue;
}

a.high {
  background-color: #FF8040;
  border-color: red;
  padding-bottom: 5px;
  color: white;
}

/* Hovereffekt für Links */
a:hover {
  text-decoration: underline;
}

/* besuchte Hyperlinks */
a:visited {
 
}

/* Gestaltung des rechts ausgerichteten Kastens */
div.kasten {
  font-size: 0.9em;
  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; 
}

pre {
  background: #FFFFA6;
}

.code {
  font-family: Courier New, Courier, monospace;
  font-size: 0.8em;
  color: #000099;
}
