/* Style für die Darstellung auf dem Drucker */ 
@page { 
  margin-top:1.5cm; 
  margin-bottom:2cm  
}
@page :left  { margin-left:2.5cm; margin-right:2cm  }
@page :right { margin-left:2cm; margin-right:2.5cm  }

body { background-color:#FFFFFF;
       font-family:serif; 
       font-size:14pt !important;
       color:#000000;
}

h1 { font-size:20pt; font-weight: bold; color:#000000;}
h2 { font-size:18pt; font-weight: bold; color:#000000;}
h3 { font-size:16pt; font-weight: bold; color:#000000;}
h4 { font-size:14pt; font-weight: bold; color:#000000;}
h5 { font-size:12pt; font-weight: bold; color:#000000;}
h6 { font-size:10pt; font-weight: bold; color:#000000;}

hr {color:#000000;}

a:link    { color:#000000 }
a:visited { color:#000000 }


#menubox {
  display:none
}

.hideforprinting { 
  display:none;
}


#MainTitle{
  font-size:8mm;
  font-weight:bold;
  border:2px solid black !important;
}

#textbox {
  margin-left:0pt;
} 

pre { 
  padding: 2ex;
  font-family: monospace;
  border: 0px !important;
}