body
{
	background-color: #e0e0e0;
	font-family: sans-serif;
	font-size: 12pt;
}

#menu
{
	background-color: #f0f0f0;
	border: 1px solid #8090f0;
	float: left;
	width: 12em;
	padding: 2px;
	font-size: 10pt;
}

#menu #title
{
	background-color: #d0d8f0;
	color: #000000;
	font-size: 10pt;
	padding: 2px;
}

#menu #level
{
	padding-left: 8px;
}

#menu a { text-decoration: none; }
#menu a:link { color: #0000d0; }
#menu a:visited { color: #9000d0; }
#menu a:hover { text-decoration: underline; }

#main
{
	border: 1px solid #c0c0c0;
	background-color: #ffffff;
	padding: 6px;
	margin-left: 11em;
}

h1
{
	font-size: 20pt;
	padding: 0px;
}

div.code
{
	border: 1px solid #808080;
	background-color: #e8e8e8;
	width: 80%;
	font-family: courier, monospace;
	font-size: 12pt;
	margin-left: 30px;
}

div.tab
{
	margin-left: 30px;
}

code
{
	font-family: courier, monospace;
	font-size: 12pt;
}

.fig
{
	text-align: center;
	margin-top: 2em;
	margin-bottom: 2em;
	font-weight: bold;
}

.math
{
	text-align: center;
	font-weight: bold;
	font-size: 14pt;
}

table.plain
{
	border-collapse: collapse;
	border: 1px solid black;
	margin: 1em;
}

table.plain th
{
	padding: 2px 6px;
}

table.plain td
{
	border: 1px solid black;
	padding: 2px 6px;
}

#desc
{
	margin-left: 2em;
	margin-bottom: 1em;
}