body {
	background-color: #FFFFFF;
}

table.different {
	float: left;
}

p,pre {
	clear: left;
}

h1 {
	color: #000033;
	font-size: 150%;
	font-family: "Arial Black", sans-serif;
	font-weight: bold;
	padding: 3px;
	border-color: #0099CC;
	border-style: solid;
	border-width: 0 0 2px 10px;
}

h2 {
	font-size: 120%;
}

h3 {
	font-size: 100%;
	font-weight: bold;
}

.reference {
	margin-left: 10%;
}

.code {
	font-family: monospace;
}

pre {
	padding: 0.2em 0.2em 0.2em 0.5em;
	border-style: solid;
	border-width: 1px;
	border-Color: #666666;
	background-color: #EEEEEE;
	font-size: 100%;
}

.navi {
	margin-left: 0;
}

.filename {
	font-family: monospace;
	font-weight: bold;
}