body {
  background-color: #ffffff;
  font-family: helvetica, sans-serif;
}

a:link {
  color: #0256A2; /* #333399; */
  text-decoration: none;
}

a:visited {
  color: #004c7a; /* #3f70af; #5384c3; #6798d7;  #8FC0E6; */
  text-decoration: none;
}

a:active {
  color: #333399;
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

p {
  line-height: 120%;
}

p.marked {
    border-width:medium;
    border-style:solid;
    margin-left:10%;
    margin-right:10%;
    padding: 6px;
}

td {
  line-height: 110%;
}

h1 {
  margin-top: 10px;
  margin-bottom: 5px;
  font-size: 140%;
}

h2 {
  font-size: 120%;
}

h3 {
  font-size: 105%;
}


div.main {
  color: #333333;
  margin-left: 20px;
  width: 550px;
  font-size: medium;
  line-height: 120%;
}

div.footer {
  color: #333333;
  font-size: small;
  margin-top: 15px;
  margin-left: 20px;
  width: 550px;
}

span.navbar-header {
  font-size: small;
  /* margin-top: 2ex; */
  /* margin-left: 5px; */
}

span.navbar-items {
  font-size: small;
/*  margin-bottom: 1ex; */
  /* margin-left: 1em; */
}

td.navbar-item {
  font-size: small;
}

span.navigation {
  font-size: small;
  font-weight: bold;
}

/* alte formatierung (sind jetzt divs, s.u.)  */

span.index-header {
  font-size: medium;
  font-weight: bold;
  margin-top: 0.5ex;
  /* margin-bottom: 0.5ex; */
 /* margin-left: 1em; */
}

span.index-items {
  font-size: medium;
  margin-bottom: 1ex;
  margin-top: 7px;
/*   margin-left: 1em;  */
}

/* ab hier jetzt aktiv: */
div.index-header {
  font-size: medium;
  font-weight: bold;
  margin-bottom: 0.8%;
}


div.index-items {
/*	margin-left:1%; */
margin-bottom: 3%;
  font-size: medium;
}


div.index-item {
	padding-left:2%; 
	text-indent: -1.3%; 
  font-size: 95%;
  margin-bottom: 0.5%;
}
/* Macht Probleme fuer Mozilla
div.index-header {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: medium;
  font-weight: bold;
  margin-bottom: 2%;
}


div.index-items {
	margin-left:5%;
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: medium;
}


div.index-item {
	text-indent: -2%;
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 95%;
  margin-bottom: 1.5%;
}

*/


input, textarea { padding: 3px; }

input, select, textarea {
  background-color: #dddddd;
  border: 1px solid #555555;
}

option { padding: 1px 3px 1px 3px; }

input[type=checkbox] { border-width: 1px !important; }

input[type=submit] {
  border-width: 2px;
  border-style: outset;
}

@media print {
  td.navbar-cell { display: none }
}

kbd{
    color:black;
    font-weight: none;
}