body{
	font-family: Garamond;
}

div#main {
    padding-top: 20px;
    padding-left: 20px;
    width: 900px;
    text-align: center;
}

div#content {
    padding-top: 10px;
    width: 600px;
    text-align: left;
    line-height: 1.3em;
	float: left;
}

div#subtoc {
	width: 150px; 
	float: left; 
	padding-top: 10px; 
	text-align: left;
}

div#footer {
    padding-top: 30px;
    text-align: center;
    color: gray;
    font-size: small;
	clear: both;
}

a {
    text-decoration: none;
}

a:visited {
    color: blue;
}

a.toc {
    font-variant: small-caps;
    padding-right: 1em;
    text-decoration: none;
}

a.toc-here, a.toc-here:visited {
    font-variant: small-caps;
    padding-right: 1em;
    color: #B40000;
    text-decoration: none;
}

li {
    padding-bottom: 1em;
}