body {
  color: black; background-color: white;
  font-size: 100%;
  font-family: sans-serif,Arial,Helvetica;
  margin: 0; padding: 1em;
}

ul#Navigation {
  font-size: 0.91em;
  float: left; width: 13em;
  margin: 0; padding: 0;
  border: 1px dashed silver;
}
ul#Navigation li {
  list-style: none;
  margin: 0; padding: 0.25em;
}
ul#Navigation a {
  display: block;
  padding: 0.2em;
  font-weight: normal;
}
ul#Navigation a:link {
  color: black; background-color: #eee;
}
ul#Navigation a:visited {
  color: #666; background-color: #eee;
}
ul#Navigation a:hover {
  color: black; background-color: white;
}
ul#Navigation a:active {
  color: white; background-color: gray;
}

div#Inhalt {
  margin-left: 12em;
  padding: 0 1em;
 /* border: 1px dashed silver;*/
  min-width: 16em; /* Mindestbreite (der Ueberschrift) verhindert Anzeigefehler in modernen Browsern */
}
div#title {
    margin: 0 0 2em 0;
}
div#title h1 {
    font-family:        Sans-Serif;
    font-size: 3em;
    margin: 0em;
    font-weight:bold;
}
div#Inhalt h2 {
  font-size: 1.2em;
  margin: 0 0 1em;
}
div#Inhalt p {
  font-size:1em;
  margin: 1em 0;
}

h1 {
    margin-bottom: 1em;
}

h2 {
    text-decoration:underline;  
    font-weight:bold;
}

h4 {
    font-weight:normal;
    font-size: 0.8em;
}

a img {
    margin:             0em;
    padding:            0em;
    background-color:   white;
    color:              white;
}


div#author
{
    margin-top:0em;
    font-size: 0.9em;
}

div#implemented
{
    margin-top:0.6em;
    font-size: 0.8em;
}

p {
    padding:            0em  0em  1em  0em;
    margin:             1em  0em  2em  0em;
}

table {
    font-size:          10pt;
    font-family:        Sans-Serif;
    text-align:         left;
    border-collapse:    collapse;
    empty-cells:        show;
    border-width:       0pt;
    margin:             10pt  0pt  10pt 0pt;
}

table * {
    font-size:          10pt;
    font-family:        Sans-Serif;
    font-weight:        normal;
    text-align:         left;
    vertical-align:     middle;
    width:              auto;
}

table th {
    font-weight:        bold;
    text-align:         center;
    padding:            5pt;
    border-width:       1pt;
    border-style:       solid;
    width:              auto;
}

table tr {
    border-width:       1pt;
    border-style:       solid;
}

table td {
    padding:            5pt;
    border-width:       1pt;
    border-style:       solid;
    text-align:         left;
}

.stats {
    text-align:         center;
}

.timestat {
    font-weight:        bold;
}

.sah {
    background-color:   #eeeeee;
}

.numbers {
    font-color:         #000055;
}