body { font-family: sans-serif; max-width: 52em; }
h1 { background: #f0f0f0; margin-bottom: 0em; padding-top: 0.5em; padding-bottom: 0.5em; text-align: center; }
.toc { float: left; width: 10em; background: #f0f0f0; padding-right: 0.5em; padding-bottom: 2em; }
.content { max-width: 40em; padding-left: 0.5em; margin-left: 11em; }
.footer { border-top: 1px solid black; margin-top: 2em; font-size: 8pt; 
	text-align: center; margin-left: auto; margin-right: auto; width: 80%; }
div.toc ul li { list-style-type: none; margin-left: -0.5em; margin-bottom: 0.2em; letter-spacing: 0.2pt;}
li.selected { font-style: italic; }

dt { font-weight: bold; margin-top: 1em; }
dd { margin-left: 0em; }