html, body {
	padding: 0;
	margin: 0;
	background-color: #60a0f0;
}
* {
	font-size: 1em;
	font-family: "Lucida Sans Unicode", Verdana, Arial, sans-serif;
}
#main {
	margin: 2em 13em 2em 13em;
	font-size: 0.8em;
	background-color: #fff;
	padding: 2em;
	border-top: 1px solid #d0e0ff;
	border-left: 1px solid #d0e0ff;
	border-bottom: 1px solid #004090;
	border-right: 1px solid #004090;
}
h1 {
	text-align: center;
	color: #004090;
	font-size: 2.3ex;
	font-variant: small-caps;
	margin: 0.5em 0 0.5em 0;
	padding: 0;
}
h2 {
	margin: 0.5em 0 0.5em 0;
	padding: 0;
	color: #004090;
	font-size: 2ex;
}
code, a code, code a {
	font-family: "Courier New", Courier, monospace;
}
pre {
	width: 100%;
	overflow: auto;
	background-color: #eef4ff;
	border: 1px solid #d0e0ff;
}
ol ul {
	list-style-type: square;
}
a {
	color: #004090;
	text-decoration: none;
	border-bottom: 1px solid #d0e0ff;
}
a:hover {
	color: #60a0f0;
	border-bottom: 0;
}
a:visited {
	border-bottom: 0;
}