@import "../style.css";

div.toc {
	position: relative;	/* for IE 5 */
	position: absolute;	/* for IE 6 (doesn't do fixed) */
	position: fixed;	/* for good browsers */
	float: left;		/* for position: absolute */
	top: 0px; left: 0px;
	/*vertical-align: top; only to inline and table-cell elements*/
	width: 25%;
	height: 100%;	/* IE 6 doesn't do percent height */
	height: 100em;
	margin: 0;
	padding-top: 3em;
	border-right: #AAF solid;
	}

.toc ul { margin: 0;
	padding: 1em;
}
.toc li { margin: 0;
	padding-top: 1.5em;
}
div.content { padding: 0; margin: 0;
/*	clear: right;*/
	}

div.content { margin-left: 25%/*padding-right: 6em*/ }
div.content > div { margin-left: 1ex; padding-left: 1ex; }
div.content > form { margin-left: 1ex; }
div.content > p { margin-left: 1ex; }
div.content > dl > dt { margin-left: 1ex; }
div.content > dl h3 { margin-left: 1ex; }
div.content > ul { margin-left: 1ex; }

div.content > table { margin-left: 1ex; }
div.content table { margin-top: 1em; margin-bottom: 0;
	        color: black; background: white; }
div.content > h2, h3, h4 { margin-left: 1ex; }

