/* ===================== */
/* = Table of Contents = */
/* ===================== */

#toc #content {
	font-size: 14px;
}

#toc #content ol {
	list-style-type: none;
	margin: 0;
}

#toc #content ol > li > a {
	color: #000;
	text-decoration: none;
}
#toc #content ol > li > a:hover {
	color: #FFF;
	background-color: #000;
}

#toc #content > ol > li + li { /* add space between top-level list items */
	margin-top: 1.5em;
}

#toc #content > ol > li { /* target first level headings */
	font-size: 150%;
	font-weight: bold;
	text-align: right;
}
#toc #content > ol > li > ol > li { /* target second level headings */
	font-size: 70%;
	font-weight: normal;
	text-align: left;
}
#toc #content > ol > li > ol > li > ol > li { /* target third level headings */
	font-size: 80%;
}

#toc #content ol > li {
	display: block;
	position: relative;
	margin: 3px 0 3px 0;
	width: 45px;
	overflow: visible;
}
#toc #content ol > li > a {
	display: block;
	position: absolute;
	left: 60px;
	top: 0;
	width: auto;
	white-space: nowrap;
}

#toc #content > ol { /* target first level headings */
	padding: 0;
}
#toc #content > ol > li > ol { /* target second level headings */
	padding: 0 0 0 60px;
}
#toc #content > ol > li > ol > li > ol { /* target third level headings */
	padding: 0 0 0 60px;
}

/* ============================ */
/* = End of Table of Contents = */
/* ============================ */

#chapter #content { /* IE workaround */
	width: 700px;
}
html>body#chapter #content {
	width: auto;
	max-width: 700px;
}

#chapter pre {
	background-color: #f0f0f0;
	border: 1px solid #cccbba;
	padding: 10px 10px 10px 20px;
}