body {
	color: #444;
	background-color: #ffffff;
	width: 40em;
	margin-left: 4em;
}
h1 {
	color: #333;
	font-weight: bold;
	font-size: 2.0em;
	margin: 0.5em 0em;
}
h2 {
	color: #333;
	font-weight: bold;
	font-size: 1.4em;
	border-bottom: 1px solid #ccc;
	padding: 0em;
	margin: 1.1em 0px;
	clear: both;
}
h3 {
	color: #333;
	font-weight: bold;
	font-size: 1.1em;
	margin: 1em 0em 0.7em 0em;
	clear: both;
}
a:link {
	color: #58d;
	text-decoration: none;
}
a:visited {
	color: #58d;
	text-decoration: none;
}
a:hover {
	color: #58d;
	text-decoration: underline;
}
p {
	text-indent: 0.9em;
	margin: 0.25em 0em;
}
p.noi {
	text-indent: 0px;
	margin: 0.3em 0em;
}
p.clear {
	text-indent: 0.8em;
	margin: 0.3em 0em;
	clear: both;
}
div.c {
	border: 1px solid #ccc;
	padding: 1px;
	margin: 1em 0em;
}
pre.c {
	padding: 5px;
	background-color: #eee;
	margin: 0em;
}
div.footer {
	font-size: small;
}
div.i {
	margin: 0.5em 0em 0.5em 1em;
}
div.noi {
	margin: 0.5em 0em;
}
ol {
	margin: 1em 0em;
}
ul {
	margin: 1em 0em;
}
li {
	margin-left: -1em;
}
table.environment {
	margin: 1em 1em;
	border-collapse: collapse;
}
table.environment td {
	padding: 0.1em 1em;
	border: solid 1px #ccc
}
table.example {
	margin: 1em 1em;
	border-collapse: collapse;
}
table.example th {
	padding: 0.1em 1em 0.1em 0.5em;
	font: normal 100%;
	text-align: left;
	border: solid 1px #ccc;
}
table.example td {
	font-family: monospace;
	padding: 0.1em 1em;
	border: solid 1px #ccc
}
table.builtins {
	margin: 1em 0em;
	border-collapse: collapse;
}
table.builtins th {
	padding: 0.1em 0.5em;
	font: normal 100% monospace;
	text-align: left;
	white-space: pre;
	border: solid 1px #ccc;
}
table.builtins td {
	padding: 0.1em 0.5em;
	border: solid 1px #ccc
}
table.builtins th.dt {
	padding: 0.2em 0.5em 0em 0.5em;
	border-bottom: none;
}
table.builtins td.dd {
	padding: 0em 0.5em 0.1em 6em;
	border-top: none;
}
dl.chart {
	margin: 1em 0em 1em 1em;
}
dl.chart dt {
	margin: 0em;
	font-weight: bold;
}
dl.chart dd {
	text-indent: 0.9em;
	margin: 0.25em 0em 0.25em 2em;
}
img {
	margin: 1em 0px;
	padding: 2px;
	border: 1px solid #ccc
}
hr {
	border: none;
	margin-top: 2em;
	height: 4px;
	border-top: 1px solid #ccc;
	border-bottom: 1px solid #ccc;
}
code {
	white-space: pre;
}
