body, table
{
	font-family:"Arial,sans-serif";
	font-size:"9pt";
}

h1
{
	color:"#0000ff";
}

a:hover
{
	text-decoration:"none";
	color:"#ff0000";
}

.mono
{
	font-family:"Courier New,courier,monospace";
	font-size:"10pt";
}

.blau

.rot