body {
	margin-left: 3%;
	margin-right: 3%;
	margin-top: 5%;
	font-family: Arial;
}

.boldedlist { margin-bottom: 1em }

code { font-size: large; font-weight: bold }

.menu {
	float: left;
	padding-right: 10px;
	text-align: right;
	width: 20%;
}

.menu li {
	list-style: none;
	font-size: small;
}

.menu h1 { font-size: small }
.menu h2 { font-size: small }
.menu p { font-size: small; margin-bottom: 0em; }
.menu ol { margin-top: 0em; }

.content {
	margin-left: 23%;
	text-align: left;
}


.footer {
	border-top: 1px solid #778;
	margin-top: 1em;
	text-align: left;
}