BODY {
	margin: 0px;
	background: #909090;
}

div.header {
	width: 100%;
	margin: 0px;
	padding: 0px;
	padding-bottom: 5px;
	padding-top: 20px;
	border-bottom: 3px solid black;
}
div.header span.title {
	margin-left: 5px;
	font-size: 150%;
	font-weight: bold;
	display: block;
}

div.header span.subtitle {
	margin-left: 5px;
	font-size: 100%;
	font-style: italic;
	display: block;
}

div.upnav {
	float: right;
	margin-right: 20px;
	margin-top: 20px;
}

div.upnav A {
	color: black;
	text-decoration: none;
	font-weight: bold;
	border: 2px solid black;
	background: white;
	padding-left: 0px;
	padding-right: 0px;
}
div.listbox {
	padding: 10px;
	border: 2px solid black
	margin: 5px;
	background: #e0e0e0;
}
div.content {
	padding-left: 15px;
	padding-right: 15px;
	padding-bottom: 30px;
	padding-top: 5px;
	margin: 5px;
	background: #e8e8f0;
}



H1, H2, H3, H4, H5, H6 {
	color: #404000;
	font-family: serif;
	letter-spacing: -1px;
}

H1 {
	font-size: 250%;
}

H2 {
	font-size: 200%;
}

H3 {
	font-size: 150%;
}

div.trailer {
	width: 100%;
	margin: 0px;
	padding: 0px;
	padding-top: 5px;
	padding-bottom: 20px;
	border-top: 3px solid black;
}

div.trailer A {
	color: black;
	text-decoration: none;
	font-weight: bold;
	border: 2px solid black;
	background: white;
	padding-left: 5px;
	padding-right: 5px;
}

pre {
	margin-left: 15px;
	margin-right: 15px;
	border: 1px solid black;
	background: #b0b0b0;
	padding: 5px;
}

A.res {
	font-weight: bold;
}

img.illustration {
	display: block;
	border: 1px solid black;
	margin: 20px;
	margin-left: auto;
	margin-right: auto;
}

a.b {
	font-weight: bold;
}