@import "/toc.css";

html {
	width: 100%;
	height: 100%;
}

body {
	color: #000000;
	background-color: #eeeeee;
	width: 100%;
	height: 100%;
	font-family: sans-serif;
}

a:link {
	color: #006699;
	text-decoration: none;
}

a:visited {
	color: #003366;
	text-decoration: none;
}

a:hover, a:focus {
	text-decoration: underline;
}
div#content {
	position: absolute;
	left: 25%;
	margin: 0;
	padding-left: 1em;
	width: 70%
}

div#footer {
	font-size: smaller;
}

pre.code {
	padding: 3px;
	font-size: smaller;
}