body {
	margin: 0;
	padding: 0;
	font-family: sans-serif;
	font-size: 10pt;
	background: url(../img/line.png) white;
	background-repeat: repeat-x;
}

div.title {
	font-size: 1.5em;
	margin-bottom: 2em;
}

div.sidenote {
	float: right;
	background: #ff9;
	border: 1px #8a4 solid;
	text-align: justify;
	width: 16em;
	padding: 1em;
	margin: 0 1em 1em 2em;
}

a {
	color: #080;
	text-decoration: none;
}

a:hover {
	text-decoration: underline;
}

a:visited {
	color: #460;
}

div.heading {
	font-size: larger;
	font-weight: bold;
	margin-bottom: 0.5em;
	margin-top: 1em;
}

div.subtitle {
	font-weight: bold;
}

div.content {
	margin: 1em 1em 0 1em;
	
}

div.code {
	margin: 1.4em;
	color: gray;
	font-family: monospace;
}

div.footer {
	margin: 7em 1em 1em 1em;
	text-align: center;
	color: gray;
	clear: both;
}