/* zum Ausdrucken: */
body {
font-family:arial,sans-serif;
font-size:10pt;
}

#jump, #seite, #wiese {
display:none;
}
a {
text-decoration:none;
color:#000;
font-style: italic;
}
pre, .code {
font-family: monospace;
color: #324B6E;
}
h1, h4 {
font-family:verdana,sans-serif;
color:#ccc;
}