body, td, th { font-size: 12px; }
.menu a, .menu .t, .menu_r a, .menu_r .t { padding-top:3px; padding-bottom:0; }
* html .menu a, * html .menu .t, * html .menu_r a, * html .menu_r .t{ margin-bottom:2px; }
* html .kopf { padding-bottom:3px; }
* html .menu_r, * html .info { margin-right:-2px;}
* html XXX.menu_r a { width:150px; }
* html XX.kopf { padding-right:3px; }