@charset "iso-8859-1";

.sed_only_screen {
    display: none !important;
}

.sed_only_print {
    display: block !important; /* TODO: eigentlich ist es ja nicht immer block */
}

#header, #mbar, td.leftcol, p.info, #footer, div.designer {
    display: none !important;
}