html {
  padding: 0;
}

body {
  color: black; background-color: white;
  font-size: 100.01%;
  font-family: Helvetica,Arial,sans-serif;
  margin: 0; padding: 1em;
  min-width: 41em; /* Mindestbreite verhindert Umbruch und Anzeigefehler in modernen Browsern */
}

h1 {
  font-size: 1.5em;
  margin: 0 1.1em 0.7em 1.3em; padding: 0.3em;
  text-align: left;
  color: silver;
  background-color: #120a8f;
  border: 2px ridge silver;
}

#fixed {
  position: absolute;
  top: 7.2em; left: 1.6em;
  width: 12em;
  background-color: white;
  border-top: 1px solid silver;
  border-left: 1px solid silver;
  border-bottom: 2px solid silver;
  border-right: 2px solid silver;
}
html>body #fixed {  /* nur fuer moderne Browser! */
  position: fixed;
}

#navigation {
  font-size: 0.83em;
  margin: 0 0 1.2em; padding: 0;
}
#navigation li {
  list-style: none;
  margin: 0; padding: 0.5em;
}
ul#navigation a {
  display: block;
  padding: 0.2em;
  font-weight: bold;
}
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#tower {
  font-size: 0.9em;
  float: right; width: 200px;
  margin: 0 0 1.1em; padding: 0;
  background-color: #999;
  border-right: 2px ridge silver;
  border-bottom: 2px ridge silver;
}
div#tower h2 {
  font-size: 1.1em;
  margin: 0.2em 0.5em;
}
div#tower p {
  font-size: 1em;
  margin: 0.5em;
}

div#content {
  margin: 0 13.2em 1em 13.2em;
  padding: 0 1em;
  /*border: 1px dotted red;*/
}
* html div#content {
  height: 1em;  /* work around 3 pixel bug in IE version <= 6 */
}
div#content h2 {
  font-size: 1.2em;
  margin: 0.2em 0;
}
div#content h5 {   /* used for copyright notice */
  font-size: 0.9em;
  text-align: center;
  color: #bebebe;
}
div#content h6 {   /* used for orientation hints */
  font-size: 0.9em;
  margin: 0.2em 0 1.5em;
  color: #ff0000;
}
div#content p {
  font-size: 1em;
  margin: 1em 0;
}

div#news h2 {     /* used for date information */
  color: #217;
}

div#code {        /* for URLs and the like */
  overflow: auto;
  width: 20em;
  font-family: 'Courier New', Courier, monospace;
  font-size: 1em;
  font-stretch:ultra-condensed;
  background-color: #ddd;
}