#main {
	position: absolute;
	top: 0px;
	left: 20px;
	margin-top: 20px;
	margin-left: 0px;
	width: 700px;
        font-family: sans-serif;
}

h1 {
	border-bottom: solid 2px green;
	border-left: solid 10px green;
	padding: 0px 0px 0px 10px;
	font-size: huge;
}

h2 {
	border-bottom: solid 2px green;
	border-left: solid 8px green;
	padding: 0px 0px 0px 10px;
	font-size: x-large;
}

h3 {
	border-bottom: solid 2px green;
	border-left: solid 7px green;
	padding: 0px 0px 0px 10px;
	font-size: large;
}

p {
	margin-left: 16px;
	margin-right: 16px;
}

dl {
	font-size: small;
	padding-left: 30px;
	padding-right: 30px;
}

dt {
	font-size: small;
	padding-left: 16px;
}

pre {
    border: 1px solid gray;
    padding: 0.5em;
    margin: 2em;
}

.right {
	text-align: right;
	padding-right: 16px;
}