/* 
 *  General parameters
 */

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

  h1 {
    font-family: Helvetica,Arial,sans-serif; 
    font-size: 1.5em;
    margin: 3em 0 0.7em; 
    padding: 0.3em;
    text-align: center;
  }

 h2 {
    font-family: Helvetica,Arial,sans-serif; 
    font-size: 1.5em;
    margin: 3em 0 0.7em; 
    padding: 0.3em;
    color: #c10d0a;
  }
 

  a {
    text-decoration: none;
  }
  a:link {
    color: #000099; /*#5e825e; */
  }
  a:visited {
    color: #6666cc; 
  }
  a:hover {
  text-decoration:underline;
  }
  a:active {
    color: white; 
  }

  p#Fusszeile {
    clear: both;
    font-size: 0.6em;
    margin: 0; padding: 0.1em;
    font-family: sans-serif;
    text-align: center;
    /* background-color: lightgray; */
    /* border: 1px solid silver; */
  }

  hr {
     border:3px solid silver;
  }

  table {
    font-size:0.7em;
    border: 0;
    font-family: arial;  
  }

  /* For the <dl> environment (Definition List) */
  dt {
    font-weight: bold;   
  }

/*
 *  LEFT
 */

  div#Left {
  font-family: Helvetica,Arial,sans-serif; 
  line-height: 120%;
  font-size: 0.9em;
  float: left; 
  width: 10%;
  margin: 0 0 0 3%; 
  border: 1px dashed silver; 
  }
  div#Left h2 {
    font-size: 1.33em;
    margin: 0.2em 0.5em;
  }
  div#Left p {
    font-size: 1em;
    margin: 0.5em;
  }

/*
 *  RIGHT
 */

  div#Info {
  font-family: Helvetica,Arial,sans-serif; 
  line-height: 140%;
    font-size: 0.9em;
    float: right; 
    width: 20%;
    margin: 0 3% 0 0; 
    padding: 5;
    /* border: 1px dashed silver; */
  }
  div#Info h2 {
    font-size: 1.0em;
    color: #c10d0a;
    background-color: #eeeeee;
    margin: 0.2em 0.5em;
  }
  
  div#Info p {
    font-family: Helvetica,Arial,sans-serif; 
    font-size: 0.8em;
    line-height: 1.2em;
    margin: 0em 0.5em 1em 0.5em;
    background-color: #ffffff;
 /*   border-width:1px;
    border-color: #dddddd;
    border-style:solid; */
  }
  div#Info p#A {
  font-family: Helvetica,sans-serif; 
  font-size: 1em;  
  font-weight: bold;
  line-height: 1.1em;
  margin: 0em 0.5em 0em 0.5em;
  color: #ffffff;
  background-color: #850000;
  }
  div#Info p#B {
  font-family: Helvetica,sans-serif; 
  font-size: 0.7em;
  line-height: 5px;
  font-weight: bold;
  text-indent: 5px;
  text-align: right;
  border-width:0px;
  margin: 0em 0.5em 0em 0.5em;
  color: #999999;
  background-color: #ffffff;
  }

  div#Info hr {
  
  }
 /* an alternative for Google Ads*/
  div#Google {
    font-size: 0.9em;
    float: right; 
    width: 17%;
    margin: 0 3% 0 0; 
    padding: 5;
  }


/* 
 *  MIDDLE
 */

  div#Inhalt {
    margin: 0 22% 0 15%;
    padding: 0 1em;
    line-height: 145%;
/*    font-size: 0.9em; */
  /* border: 1px dashed silver; */
  }
  * html div#Inhalt {
  *     height: 1em;  /* Workaround gegen den 3-Pixel-Bug des Internet Explorer bis Version 6 */
  }
  div#Inhalt h2 {
    font-size: 1.33em;
  }
  div#Inhalt p {
/*    font-size: 1em; */
    margin: 1em 1em 1em 0;
/*    text-indent:2em; */
  }




/*
 *  Navigation list
 */

  ul#Navigation {
    font-size: 1.0em;
    float: left; 
    margin: 0 0 1.2em; 
    padding: 0;
   
  }
  ul#Navigation li {
    list-style: none;
    margin: 0; padding: 0.2em;
  }

  ul#Navigation a {
    padding: 0.2em;
    font-weight: bold;
  }



/*
 *  Standard for source code
 */

  div#code {
  background-color: #ffcc99;
  color: #663300;
  white-space: pre;
  font-family: courier;
  font-size: 0.8em;
  margin-bottom: 1em;
  line-height: 120%;
  /*

  font-family: courier;
  font-size: 0.8em;
  margin-bottom: 1em;


     font-family: arial;
     font-size: 0.8em;


    */ 
    
    }
    
    pre#code {
    background-color: #ffcc99;
    color: #663300; 
    font-size: 0.8em;
    font-family:Fixedsys,Courier,monospace; 
    padding:10px;
    line-height: 100%;
  }