<!--
top { color:black; font-size:30px; font-weight:bold; }
seite { color:black; font-size:14px; }
normal { color:black; font-size:medium; }
angepasst { font-family:Helvetica; font-size:16px; }
a.menuitem { text-align:center; font-family:Helvetica; font-size:12px; color:#000000; text-transform: none; }
a.menuitem:visited { color:#000000; }
a.menuitem:hover { color:#0000ff; }
body { start_html(-target=>'rtop'); color:black; font-family:Helvetica; font-size:14px; }
-->