body {
	font-size: 12px;
	line-height: 1.4;
	margin: 0;
	padding-bottom: 1em;
}

h1 {
	margin: 0;
	padding: 0;
}

div#header {
	text-align: center;
}

div#manual {
	background-color: #eee;
	margin-top: 0;
	margin-bottom: 0;
	border-top: #ccc solid 2px;
	border-bottom: #000 solid 1px;
}

ul#toc {
	list-style-type: upper-roman;
}

ul#toc ul {
	margin-bottom: 1em;
}

ul#toc li a {
	color: black;
	font-weight: bold;
	text-decoration: none;
}

ul#toc ul li a {
	color: blue;
	font-weight: normal;
	text-decoration: underline;
}

ul#toc h2 {
	margin-top: 1em;
}

pre.text {
	background: #ddf;
	border: solid #99c 2px;
	margin: 1em 2em 1em 2em;
	padding: 1em 0 1em 0;
}

pre.code {
	background: #eee;
	border: solid #999 2px;
	margin: 1em 2em 1em 2em;
	padding: 1em 0 1em 0;
}

div.syntax {
	margin-bottom: 1em;
}

div.xreflist, div.ereflist {
	background-color: #efe;
	border: solid #9c9 2px;
	margin: 1em 2em 1em 2em;
	padding: 0.5em;
}

div.xreflist a, div.ereflist a {
	text-decoration: none;
}

div.xreflist span, div.ereflist span {
	font-weight: bold;
}

div.xreflist ul, div.ereflist ul {
	display: block;
	margin: 0;
}

div.xreflist li, div.ereflist li {
	display: inline;
	padding-right: 1em;
}

div#sidebar {
	float: left;
	line-height: 1.5;
	width: 200px;
	padding-left: 0.5em;
}

div#sidebar h1 {
	border-bottom: solid #ccc 1px;
	font-size: 18px;
	margin: 0 0 6px 4px;
}

div#sidebar a {
	text-decoration: none;
}

div#sidebar h1 a, div#sidebar h2 a {
	color: black;
}

div#sidebar h1 a:hover, div#sidebar h2 a:hover {
	color: red;
}

div#sidebar h2 {
	border-bottom: solid #ccc 1px;
	font-size: 14px;
	margin: 0 0 6px 6px;
}

div#sidebar ul {
	font-size: 11px;
	margin: 0 0 0 2em;
	padding: 0;
	list-style-type: circle;
}

div#contents {
	background-color: #f8f8f8;
	border-left: #ccc dashed 1px;
	margin-left: 220px;
	padding: 0em 2em 2em 2em;
}