html, frameset {
	background-image: none;
	background-position: 0px 0px;
	background-color: #ddddff;
}


body {
	margin-top: 0;
	margin-left: 0;
	margin-right: 0;
}

body.contents {
	font-size: 10pt;
	font-weight: bold;
	background-color: #eeeeff;
}

body.index {
	font-size: 10pt;
	font-weight: bold;
	background-color: #eeeeff;
}

table.dagm {
	font-size: 80%;
	border: 1px solid grey;
}