.Title
{
	background-color: #fff5f0;
	padding: 0.5em;
	margin: 0px;
}

.Subtitle
{
	background-color: #fff5f0;
	padding: 0.5em;
	margin-top: 0px;
	margin-bottom: 1em;
}

.Commentary
{
	padding-left: 4em;
	font-family: Times, 'Times New Roman', serif;
}

.Text
{
	padding-left: 4em;
	font-family: Times, 'Times New Roman', serif;
}
.ExampleText
{
	padding-left: 4em;
	font-family: Times, 'Times New Roman', serif;
}
pre.Commentary { font-family: Courier, 'Courier New',monospace; }

.Section
{
	font-family: Helvetica, Arial, sans-serif;
	font-size: 1.5em;
	color: #660000;
	border-top: 2px solid black;
	padding: 0.5em;
	margin: 0px;
}

.Section a { color: #660000; }

.Subsection
{
	font-family: Times, 'Times New Roman', serif;
	color: #000000;
	font-size: 1.2em;
	border-top: 1px solid black;
	padding: 0.5em;
}

.Subsubsection
{
	font-family: Times, 'Times New Roman', serif;
	color: #000000;
	font-size: 1.1em;
	padding: 0.5em;
}

.Miscellaneous
{
	font-family: Helvetica, Arial, sans-serif;
	color: #990099;
	border-top: 2px solid black;
}

.Miscellaneous a { color: #990099; }
H3 a, H3 a:link, H3 a:visited, H4 a, H4 a:link, H4 a:visited { text-decoration: none; }
H3 a:hover, H4 a:hover { text-decoration: underline; }

.Input
{
	font-weight: bold;
	background-color: #ffeedd;
	color: #000000;
	border: 1px solid #660000;
	margin: 0px 2em 0px 3em;
	padding: 0.5em;
}

/* hack to prevent IE/Win ugliness */
html>body pre.Input { margin: -1px 2em 0px 3em; }

span.Input
{
	font-weight: bold;
	background-color: transparent;
	color: #000000;
	border: none;
	margin: 0px;
	padding: 0px;
}

.Output
{
	border-left: 4px solid #009999;
	margin: 0px 2em 0px 3em;
	padding: 0.5em;
	font-family: Courier, 'Courier New',monospace;
	white-space:pre;
}

span.Output
{
	font-family: Courier, 'Courier New',monospace;
	border: none;
	margin: 0px;
	padding: 0px;
}
.Print
{
	margin: 0px 2em 0px 3em;
	padding: 0.5em;
	font-family: Courier, 'Courier New',monospace;
	white-space:pre;
}
.Message
{
	color: #0000ff;
	margin: 0px 2em 0px 3em;
	padding: 0.5em;
}

.CellLabel
{
	color: #0000ff;
	font-size: smaller;
	font-family: Helvetica, Arial, sans-serif;
}

.footer
{
	font-family: Helvetica, Arial, sans-serif;
	font-size: 0.8em;
	text-align: center;
}