/* Generated by CaScadeS, a stylesheet editor for Mozilla Composer */

  body { margin: 0em 10.5em 0pt 0pt;
    padding: 0em 1em 1em;
    font-family: Helvetica,Arial,sans-serif;
    font-style: normal;
    font-variant: normal;
    font-weight: normal;
    font-size: 100.01%;
    line-height: normal;
    font-size-adjust: none;
    font-stretch: normal;
    color: black;
    background-color: rgb(190, 205, 255);
    }

  #rot { color: rgb(255, 0, 0);
    }
  #grau { color: #808080;
    }

  ul#Navigation { border-left: 1px solid white;
    margin: 0pt 0pt 1em 1em;
    padding: 0em 0em 0em;
    position: fixed;
    right: 0pt;
    top: 0pt;
    float: right;
    height: 100%;
    width: 13em;
    background-color: rgb(153, 153, 255);
    font-family: Helvetica,Arial,sans-serif;
    font-style: normal;
    font-variant: normal;
    font-weight: normal;
    font-size: 80%;
    line-height: normal;
    font-size-adjust: none;
    font-stretch: normal;
    overflow:auto;
    }

  ul#Navigation li { margin: 0.4em;
    padding: 0pt;
    list-style-type: none;
    list-style-image: none;
    list-style-position: outside;
    }

  ul#Navigation a, ul#Navigation span, ul#Navigation h2 { border-style: solid;
    border-color: white black black white;
    border-width: 1px;
    padding: 0.2em;
    display: block;
    text-decoration: none;
    color: black;
    background-color: rgb(200, 200, 255);
    }

  ul#Navigation a:hover, ul#Navigation a:active, ul#Navigation a:focus, ul#Navigation span { border-color: black white white black;
    color: white;
    background-color: gray;
    }

  ul#Navigation h2 { border: 0pt none ;
    margin: 10px 0pt 0pt;
    font-size: 1em;
    color: black;
    background-color: rgb(153, 153, 255);
    }

  div#ueberschrift { border-style: none solid solid;
    border-color: -moz-use-text-color white white;
    border-width: 0pt 1px 1px;
    padding: 0.1px;
    text-align: center;
    width: 100%;
    background-color: rgb(153, 153, 255);
    }

  img#logo { margin: 1.5em 1.5em 0 1.5em;
    padding: 0pt;
    /*position: fixed;*/
    top: 0pt;
    right: 0pt;
    width: 6em;
    height: 6em;
    }

  hr { clear: both;
    }

  table#aufgaben td, table#aufgaben tr, table#liste td, table#liste tr, table#links td, table#links tr { border: 1px inset rgb(190, 205, 255);
    padding: 1px 4px;
    text-align: left;
    }
    table th{
	    padding:8px
    }
    table#vortrage td, table#vortrage tr{
	    padding 2px;
    }
  #liste, #aufgaben { border: 1px inset rgb(190, 205, 255);
    padding: 2px;
    margin-left: auto;
    margin-right: auto;
    }
    #vortrage{
	    padding: 2px;
	    border: 1px solid;
	    width:60%
    }
     #links { border: 1px inset rgb(190, 205, 255);
	     padding: 2px;
	     float:left;
/*	     width: 33%;*/
    }

  div#code{
    font-family: courier,monospace;
    }
	  
    table#code th{
    font-family: Helvetica,Arial,sans-serif;
	    padding:8px
    }
  table#code td, table#code tr { border: 2px inset rgb(190, 205, 255);
    padding: 10px;
    font-family: courier,monospace;
    }
   table#skripte{
	   border:1px solid black;  
	   border-spacing: 20px 15px;
   }
   table#skripte th{
	   text-align:left
   }
  #code { margin-left: 2em;
    }

  #snapshot { padding: 2em;
    }

  @media print {
  #ueberschrift, #Navigation, #logo { display: none;
    }
  body { margin: 0pt;
    padding: 0pt;
    }
}