body {
	background: white;
	margin: 0px;
}

.header, .footer {
	font-family: "Verdana", "Tahoma", "Arial", "Geneva";
	font-size: 8pt;
	background-color: #c21128;
	color: white;
	padding: 2px;
}

.header {
	font-weight: bold;
}

.content, td {
	font-family: "Verdana", "Tahoma", "Arial", "Geneva";
	font-size: 10pt;
	margin: 10px;
	min-height: 800px;
}

.example, .syntax {
	margin: 0;
}

.function_index, .dir_index {
	margin-left: 30;
}

dl.input, dl.output, dl.return {
	margin: 0;
}

table {
	background-color: white;
}

tr {
	background-color: #eeeeee;
}

pre {
	font-family: "Courier";
}

h1 {
	font-size: 18pt;
}

h2 {
	font-size: 14pt;
}