h1, h2, h3, h4, h5, p, li { font-family: "Lucida Sans", "Lucida Sans Unicode", Lucida, Helvetica, Arial, sans-serif; margin: 0.4em 0; }
h1 { font-size: 160%; }
h2 { font-size: 140%; }
h2.untertitel { font-size: 1em; margin-top: -0.8em; font-weight: normal; letter-spacing: 0.2em; }
h3 { font-size: 120%; }
h4 { font-size: 110%; }
h5 { font-size: 1em; color: #666; }
body > p, body > table { margin-left: 1em; margin-right: 1em; }
code { font-family: Consolas, monospace; color: #900; }
:lang(de) { quotes:"\201E" "\201C" "\201A" "\2018"; }
table { border: 0 none; }
table.funktion td, table.funktion th { border: 0 none; padding: 0; margin: 0; }
table.funktion td {  vertical-align: top; }
table.funktion td.pfeil { text-align: center; }
span[title] { border-bottom: 1px dotted #000; }