h1.headline {
	background-color: #C20606;
	color:#FFFFFF;
	font-size:10px;
	padding-left:3px;
	padding-right:3px;
	padding-bottom:2px;
}
.red {
	color: #cc0000;
}

.tinytextform {
	font-family : Verdana, Arial, Helvetica;
	font-size: 10px;
	color: #000000;
	border: 0;
}

.div_debug {
        /* transparency for the masses (crossnav) */
        font-family: "Courier New";
        font-size: 11px;
        background-color: #00ccff;
        color: #000000;
        filter: alpha(opacity=90);
        -moz-opacity: 0.9;
}

.copyright {
	font-family : Verdana, Arial, Helvetica;
	font-size: 9px;
	color: #888888;
}