@charset "UTF-8";
@media all
{
}

@media screen, projection
{
  body {
    font: normal normal normal 86%/1.1em "DejaVu Sans","Trebuchet MS", Helvetica, Arial, sans-serif;
    color: #000;
  }
  h1,h2,h3,h4,h5,h6 {
    font: normal normal bold 1.0em/1.0em Arial, Helvetica, sans-serif;
  }

  h1 { font-size: 175%; }
  h2 { font-size: 160%; }
  h3 { font-size: 140%; }
  h4 { font-size: 125%; }
  h5 { font-size: 116.67%; }
  h6 { font-size: 116.67%; }

  #topnav { text-align: right; }  /* LTR */

  #topnav {
    position:absolute;
    top: 10px;
    right: 10px; /* LTR */
  }
blockquote, dir, menu {
  font-family: inherit;
  margin: 0.66em 0; /*1.33em 0;*/
}
p.notiz {
    font-size           : 0.75em;
    font-style          : oblique;
    margin              : 0.5em 0;    /* oben/unten 0.5, links/rechts 0 */
}
blockquote {
    margin-left         : 5em;
    margin-right        : 5em;
    font-style          : oblique;
    font-size           : 0.90em;
}
pre {
    padding-top         : 1.0em;
    padding-bottom      : 0;/*0.5em;*/
    padding-left        : 1.0em;
    padding-right       : 1.0em;
    overflow            : auto;
    font-size: 10pt;
}
pre, code, a.codelink { /* Sourcecode */
    font-family         : "Andale Mono", courier, monospace;
    color               : #003366;
    border              : dashed;
    border-width        : thin;
    border-color        : darkgrey;
    background-color    : #F8F8F8;
}
.quote {
  border-left: 2px solid #8cacbb;
  padding-left: 3px;
}

/* code blocks by indention */
pre.pre {
  font-size: 120%;
  padding: 0.5em;
  border: 1px dashed #8cacbb;
  color: Black;
  background-color: #f7f9fa;
  overflow: auto;
}

/* code blocks by code tag */
pre.code {
  font-size: 120%;
  padding: 0.5em;
  border: 1px dashed #8cacbb;
  color: Black;
  background-color: #f7f9fa;
  overflow: auto;
}

.bezeichner {
  color: #003366;
}
p.quelletitel {
  font-size: 76%;
  font-style: oblique;
  text-align: right;
}


.importantsource, .imps {
    font-weight:bold;
    color: #FF6699;
}
a.codelink {    /* Fuer links innerhalb von code oder pre Bereichen */
    color               : #CC0000;
}
tt {
    color               : #0000C0;
    font-size           : 1.2em;
}
cite {  /* Namen von Websites oder Produkten */
    font-family         : "Courier New", Courier, monospace;
    font-style          : oblique
}
var { /* Variablen- und Funktions-Bezeichner, Klassennamen */
    color               : #330033;
    font-family         : "Courier New", Courier, monospace;
}
kbd { /* Befehle wie "make install" oder Dateinamen */
    color               : #003300;
    font-weight         : 600;
}
samp { /* Beispiel-Code oder Bildschirmausgaben */
    color               : #330000;
}
i.cmt { /* kommentar-Formatierung */
    color               : ##669966;
}
.mail {
    color               : #0000CC;
    font-weight         : bold;
}
#header h1 {
  /*height:1.3em;*/
  padding-top:10px;
  font-size:2.0em;
  font-weight: normal;
  font-family: 'Arial Black', Verdana, sans-serif;
}

}

@media print
{
@page a4-hoch { size: 21cm 29.7cm }
/* (de) Abschalten evlt. vorhandener Hintergrundgrafiken ... */
abbr[title]:after, acronym[title]:after {
   content: '(' attr(title) ')'
}

/* (de) Sichtbare Auszeichnung der URLs von Links */
a[href]:after {
   content:" <URL: "attr(href)">";
   color:#444;
   background:inherit;
   font-style:italic;
}
/* (de) .print-Klasse sichtbar schalten */
 .print { position: static; left: 0; }

@page { orphans: 3; }
@page { widows:2; }
/* (de) Vermeidung von Seitenumbrüchen direkt nach einer Überschrift.
   Gecko-Engines / CSS 2.1: */
h1,h2,h3,h4,h5,h6 { page-break-after:avoid; }
#footer { display: none;}
  body {
    font: normal normal normal 8pt/1.1em Arial, "Trebuchet MS", Helvetica,"DejaVu Sans", sans-serif;
    color: #000;
  }
  h1 { font-size: 14pt; }
  h2 { font-size: 12pt; }
  h3 { font-size: 10pt; }
  h4 { font-size: 10pt; }
  h5 { font-size: 10pt; }
  h6 { font-size: 10pt; }
  #header h1 {
    font-size:16pt;
    font-family: 'Arial Black', Verdana, sans-serif;
  }

}