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 */
    background-image: url('images/bg_raster3.gif');
  }

  h1 {
    font-size: 1.5em;
    margin: 0 0 0.7em; padding: 0.3em;
    text-align: center;
    background-color: #FFFFE0;
    border: 2px solid black;
  }
  
a:link { font-weight:bold; color:blue; text-decoration:none; }
a:visited { font-weight:bold; color:#77f; text-decoration:none; }
a:focus { font-weight:bold; color:red; text-decoration:underline; }
a:hover { font-weight:bold; color:green; text-decoration:none; }
a:active { font-weight:bold; color:lime; text-decoration:underline; }

  div.counterbox {
    text-align: center;
    font-size: 0.5em;
  }
  div.langbox {
    text-align: center;
    margin-top: -10px;
    margin-bottom: 20px;
  }
  
  div.publ{
     background-color: #eef;
     padding-left: 20px;
     padding-right: 20px;
     border: 1px solid black;
     margin-left: 50px;
     margin-right: 50px;
     margin-bottom: 20px;
  }
  div.publ span.pubaut {
  }
  div.publ span.pubtitle {
    font-weight:bold;
  }
  div.publ span.pubjournal {
    font-style:italic;
  }
  div.publ span.pubconf {
    font-style:italic;
  }
  div.publ span.pubaddress {
  }
  div.publ span.pubvol {
  }
  div.publ span.pubpages {
  }
  div.publ span.pubdate {
  }
  div.publ span.biblink {
    font-size: 0.8em;
    color: blue;    
  }
  div.publ div.pubabs {
    font-size: 0.8em;
    background-color: #FFFFFF;
    margin: 20px;
    padding: 5px;
    border: 1px solid blue;
  }
  
  div.gbentry{
     background-color: #eef;
     padding-left: 20px;
     padding-right: 20px;
     border: 1px solid black;
     margin-left: 50px;
     margin-right: 50px;
     margin-bottom: 20px;
  }
  div.gbentry span.gbauthor {
     color: blue;
     font-weight: bold;
  }
  div.gbentry span.gbwhen {
     font-style:italic;
  }
  
  span.hint {
    font-size: 0.6em;
    color: #888;
  }
  div.errmsg {
    color:red;
    padding: 15px;
    background-color: #fee;
    border: 1px solid red;
    margin-left: 50px;
    margin-right: 50px;
    margin-top: 20px;
    margin-bottom: 20px;
  }

  
  .pubtitle:before {
    content:"\""
  }
  .pubtitle:after {
    content:"\""
  }
  
  .pubaddress:before {
    content:"("
  }
  .pubaddress:after {
    content:")"
  }
  
  div.statbox {
    background-color: #FFF0F0;
    font-size: 0.8em;
    margin-left: 50px;
    margin-right: 50px;
    padding: 10px;
    border: 1px solid red;
  }
  div.subnav {
    text-align: center;
  }
  
  div.publ pre {
     width: auto; 
     overflow: auto;
     background-color: #FFFFFF;
  }
  
  div.quote{
     background-color: #eef;
     padding-left: 20px;
     padding-right: 20px;
     border: 1px solid black;
     margin-left: 50px;
     margin-right: 50px;
     margin-bottom: 20px;
  }
  div.quote span.author {
    font-style:italic;
  }
  .lang:before {
    content:"(";
  }
  .lang:after {
    content:")";
  }
  div.quote span.lang {
    font-weight:bold;
  }
  
  div.codeblock {
    background-color: #f7f7ff;
    border: 1px solid blue;
    margin-left: 40px;
    margin-right: 40px;
    padding: 5px;    
    font-family: monospace;
  }
  div.newsdiv {
    background-color: #f7f7ff;
    border: 1px solid blue;
    margin-left: 40px;
    margin-right: 40px;
    padding: 5px; 
    margin-top: 20px;
  }
  span.newsauthor {
    font-size: 60%;
    font-style:italic;
  }

    a.ext{ 
         background-image: url('images/raus2.gif'); 
         background-repeat: no-repeat;
         padding-left: 20px;
         padding-top: 2px;
     }
     
    a.mail {
         background-image: url('images/brief.gif'); 
         background-repeat: no-repeat;
         padding-left: 20px;
         padding-top: 2px;
    }
    div.hp {
        display: none;
    }
    div#main table.align {
        margin-left: 60px;
        margin-right: 60px;        
        border: none;        
    }
    div#main table.align td {
        border: none;        
    }
    div#main table.cont {
        margin-left: 60px;
        margin-right: 60px;        
        border-collapse: collapse;
        font-size: 0.8em;
    }
    div#main table.cont th {
        background-color: #ddf;
        font-weight: bold;
        border:1px solid gray;
    }
    div#main table.cont td {
        background-color: #eef;
        font-weight: bold;
        border:1px solid gray;
    }



  p#footer {
    clear: both;
    font-size: 0.9em;
    margin: 0; padding: 0.1em;
    text-align: center;
    color: #00d;
    font-weight: bold;    
    border: none;
  }
  
  
  
  
  div#maintop {
    background-image: url('images/maindivtop.gif');
    width: 701px;
    height: 50px;
    text-align: center;
    vertical-align: middle;
    font-size: 1.5em;
  }
  
  div #main h1 {
     padding: 0px;
     font-size: 2.0em;
     font-weight: bold;
     border: none;
     background-color: transparent;
     color: #339;
  }
  
  div#mainbottom {
    background-image: url('images/maindivbottom.gif');    
    width: 701px;
    height: 54px;
  }
  div#main {
    width: 701px;
    margin-left: 10px;
    margin-bottom: 10px;    
    float:left;
    background-image: url('images/maindivmed.gif');
  }
  div#main table{
    margin-left: 30px;
    margin-right: 30px;
  }
  div#main p{
    margin-left: 30px;
    margin-right: 30px;
  }
  div#main h2 {
    margin-left: 30px;
    margin-right: 30px;
  }
  div#main h3 {
    margin-left: 30px;
    margin-right: 30px;
  }
  div#main ul {
    margin-left: 50px;
    margin-right: 50px;
  }
  div#main ul ul {
    margin-left: 10px;
    margin-right: 10px;
  }
  
  div#navtop {
    background-image: url('images/navdivtop.gif');
    width: 254px;
    height: 41px;
    text-align: center;
    vertical-align: middle;
    font-size: 1.5em;
  }
  
  div #navtop h1 {
     padding: 10px;
     font-size: 1.2em;
     font-weight: bold;
     border: none;
     background-color: transparent;
     color: #77f;
  }
  
  div#navbottom {
    background-image: url('images/navdivbottom.gif');    
    width: 254px;
    height: 42px;
  }
  div#nav{
    width: 254px;
    float:left;
    margin-top: 100px;
    background-image: url('images/navdivmed.gif');
  }
  
   
  
  div#nav ul {
     margin-left: 5px;
     margin-right: 30px;
     margin-top: 0px;
     margin-bottom: 0px;
     padding: 0px;
     padding-left: 20px;
     list-style: none;
     color: #00d;
     font-weight: bold;
     
  }
  div#nav li{
     padding-top: 0px;
     padding-left: 25px;
     vertical-align:middle;
     vertical-align: top;
     background-image:url('images/cross4.gif');
     background-repeat:no-repeat;
  }
  div#nav li.lispacer{
    background-image:none;
    padding-top:20px;
  }
  
  div#bigskip {
    padding-top: 50px;
  }
  div#smallskip {
    padding-top: 30px;
  }

  
  div#content {
    float:left;
    width:1000px;
  }
  
  
  * html div#content {
    height: 1em;  /* Workaround gegen den 3-Pixel-Bug des Internet Explorer bis Version 6 */
  }