@import url(../style.css);

/* This is a CSS (Cascading StyleSheets) style file for the HTML documents
 */
html, body, div, p, li { margin: 0; padding: 0; }
div.toc {
	position: fixed;	/* for good browsers */
	top: 0px; left: 0px;
		/*vertical-align: top; only to inline and table-cell elements*/
	width: 24ex;
	height: 100%;	/* IE 6 doesn't do percent height */
	height: 100em;
	padding-top: 3em;
	border-right: #AAF solid;
	background-color: #FEF;
}
h1, h2, h3, h4 { text-align: left; }
h1 { margin-bottom: 1.5em; }
h2 { margin-top: 0.5em; }

hr { border: #AAF thin solid; }
.toc ul { padding-left: 1em; list-style: none; }
.toc li { list-style: none; margin-bottom: 0.5em;}
.toc h2 { font-size: large; margin: 0.5ex; }

div.content { 
	margin-left: 24ex;
	padding-left: 0.5ex;
	padding-right: 0.25ex;
}

pre { color: navy; margin-left: 4ex; }
code { color: navy; }
div.display { margin-left: 4ex; }

.centered { text-align: center; }
.centered table { margin: auto; }
.centered caption { margin: auto; }

@media screen and (max-width: 480px) {
	.toc ul { padding-left: 0.25ex; }
	h1 { margin-bottom: 0.5em; }
	div.toc {
		width: 30%;
	}
	div.content { 
		margin-left: 31%;
		padding-left: 0.25ex;
	}
}