
body {
	margin-left: 25pt;
	color: black;
	background: white;
	font-family: "FreeSans", "Liberation Sans", "Nimbus Sans L",
		"Nimbus Sans", "Arial", sans-serif;
}

:link, :visited {
	color: #269;
	text-decoration: none;
}

ins {
	color: #449;
	text-decoration: none;
	font-style: italic;
}

del {
	color: #faf;
	text-decoration: none;
}

del:before {
	content: "(";
}

del:after {
	content: ")";
}

cite, dfn {
	color: #636;
}

var {
	font-style: italic;
	font-family: serif;
}

dt {
	font-weight: 500;
}

ul, ol {
	margin-left: 5pt;
	padding-left: 10pt;
}

ul {
	list-style-type: circle;
}

p, li, dd {
	max-width: 66ex;
}

p {
	margin-top: 0.5em;
	margin-bottom: 0.5em;
}

blockquote {
	margin-left: 0;
	padding-left: 10pt;
	border-left: double #777;
	max-width: 50ex;
}

samp, kbd, code, pre {
	border: thin dotted #679;
}

pre {
	padding: 3pt;
}

h1, h2, h3, h4, h5, h6 {
	color: #246;
	font-family: "Century Schoolbook L", "Century Schoolbook",
		"New Century Schoolbook", serif;
}

h1 {
	font-size: larger;
}

h2, h3, h4, h5, h6 {
	font-size: inherit;
}

h1, h2 {
	font-weight: bold;
}

h3, h4, h5, h6 {
	font-weight: normal;
}

body > h1, body > h2, body > h3, body > table, body > pre, body > hr,
body > p > table, body > p > pre, body > p > hr {
	margin-left: -20pt;
}

hr {
	border: thin solid #679;
}

div.marginpar {
	float: right;
	width: 13em;
	padding: 10pt;
	font-size: smaller;
}

div.marginpar hr, div.marginpar pre, div.marginpar table {
	margin-left: -10pt;
}

div.admonition {
	margin: 10pt;
	border: thick solid #679;
	padding: 20pt;
	background-color: #def;
}

@media handheld {
	body { margin-left: 5pt; }
	h1, h2, h3, table, pre, hr { margin-left: 0; }
}

