   body {
    font-family: Arial, Verdana, sans-serif;
    font-size: 100.01%;		/* Fehler im Internet Explorer umgehen	*/
    margin: 0;
    padding: 0;
    color: #555555;
    background-color: white;	/* f"ur Kopf- und Fu"sbereich		*/
   }
   div {
    padding: 1em;
   }
   div.blueframe {
    border:  solid thin #41799E;
    padding: 0 0.5em;
   }
   pre {
    margin:0.2em;
   }
   img {
    border: 0;
   }
   spawn.tt {
    font-family: monospace;
   }

   a:link {
    color: #41799E;
    text-decoration: none;
   }
   a:visited {
    color: #699FC1;
    text-decoration: none;
   }
   a:hover {
    text-decoration: underline;
   }
   a:focus,
   a:active {
    color: #FF020E;
    text-decoration: underline;
   }

   div#Kopf,
   div#Bauch {
    max-width: 75em;
    margin: 0 auto;
   }
   div#Kopf {
    padding: 0;
    background-color: white;
   }

   div#Siegel {			/* Universit"atssiegel			*/
    float: left;		/* links, oben in der Ecke		*/
    text-align: center;
   }
   div#Logo {			/* Institutslogo			*/
    float: right;		/* spiegelbildlich zum Siegel		*/
    text-align: center;
   }

   div#Stirn {
    background-image: url(/images/skyline.png);
    background-repeat: no-repeat;
    background-position: bottom right;
    min-height: 100px;		/* H"ohe des kleinen Institut-Logos	*/
   }
   div#Stirn div {		/* Hier hinein kommt das Ankermen"u	*/
    margin: 0;
    padding: 0;
    font-size: 90%;
    font-weight: normal;
    text-align: right;
   }
   div#Stirn p {		/* Bezeichnungen: Uni, Fakult"at...	*/
    margin: 0;
    font-weight: bold;
    color: #41799E;
   }

   div#Bauch {			/* Umschlie"st Navigation und Inhalt	*/
    background-color: #EBEFF5;	/* Trennung zu				*/
    padding: 1em 0;		/* Kopf- und Fu"sbereich		*/
   }
   div#Guertel {		/* Ggf. rechts und links vom Bauch	*/
    background-color: #EBEFF5;
    padding: 0;
   }

   div#Navigation {
    float: left;
    width: 11em;
    padding: 0;
    text-align: right;
   }
   table#Hauptmenu {
    width: 100%;
    font-size: 90%;
    background-color: #E6E6E6;
    margin-bottom: 2em;
    text-align: left;
    border-style: none;
    border-spacing: 0;
    border-collapse: collapse;
   }
   table#Hauptmenu th,
   table#Hauptmenu td {
    padding: 0.9em 0 1.0em 0.9em;
    border-bottom: 1px solid #CECECE;
   }
   table#Hauptmenu th a:link,
   table#Hauptmenu th a:visited {
    color: #555555;
   }
   th.activehead {
    background-color: #41799E;
   }
   table#Hauptmenu th.activehead a:link,
   table#Hauptmenu th.activehead a:visited {
    color: white;
   }
   table#Hauptmenu td {
    background-color: white;
   }
   table#Hauptmenu td a:visited {
    color: #41799E;
   }

   div#Inhalt {
    margin: 0 12em;
    min-height: 28em;
    background-color: white;
   }

   div#Pfad {
    font-size: small;
   }

   ul {
     list-style: square;
     color: #41799E;
   }
   ul spawn {
     color: #555555;
   }

   div#Spruch {
    float: right;
    width: 10em;
    padding-left: 0;
    text-align: center;
    background-color: white;
   }
   div#Spruch p {
    font-size: 90%;
    padding-left: 1em;
   }
   div#Spruch ul {
    font-size: 90%;
    list-style: none;
    text-align: left;
   }

   p.Fuss {
    background-color: white;
    color: #999999;
    font-size: small;
   }
