body
{
	background-color: #fff;
	font: 90% Merriweather, serif;
	line-height: 1;
	margin: 0 32px;
}

ul.nobullets
{
	list-style-type: none;
}

h1#textreplace
{
	padding-top: 132px; /* height of the replacement image */
	height: 0px;
	overflow: hidden;
	background-image: url("logo.gif");
	background-repeat: no-repeat;
}

h1
{
	font-size: 2.0em;
	line-height: 1.5em;
	font-weight: 900;
}

h2
{
	font-size: 1.7em;
	line-height: 1.5em;
	font-weight: 900;
}

hr
{
	border: 1px solid #ccc;
}

#maincontent
{
	font-family: Merriweather, serif;
	max-width: 800px;
	text-align: justify;
	margin-left: auto;
	margin-right: auto;
	font-size: 1.4em;
	line-height: 1.5em;
	color: #333;
	text-align: justify;
	border-top: 20px solid #333;
	border-bottom: 20px solid #333;
}

#mainnav
{
	margin-top: 10px;
	padding: 5px;
	background: #f9f9f9;
	border-top: 1px solid #ccc;
	border-bottom: 1px solid #ccc;
}

#mainnav ul
{
	margin: 0 auto;
	text-align: center;
}

#mainnav li
{
	display: inline;
	margin-right: 20px;
	font-size: 1em;
	text-transform: uppercase;
}

#mainnav li:last-child
{
	margin-right: 0;
}

#mainnav a:link,
#mainnav a:visited
{
	text-decoration: none;
	color: #999;
}

#mainnav a:hover,
#mainnav a:active
{
	text-decoration: underline;
	color: #2e301c;
}

#diagramtext
{
	font-size: 0.8em;
	line-height: 1.5em;
	margin: 16px 0px 16px 0px;
	padding: 8px 24px 8px 24px;
	background-color: #ffeebb;
	border-radius: 12px;
	-webkit-border-radius: 12px;
	-moz-border-radius: 12px;
}

.cell
{
	margin: 0px;
	padding-right: 8px; /* called "padding-width" in the code */
	padding-left: 1px;
	padding-top: 0px;
	padding-bottom: 0px;
	border-right: 0px;
	border-left: 0px;
	border-top: 0px;
	border-bottom: 1px;
	min-width: 32px; /* called "minimum-width" in the code */
	font: 11px verdana, arial, helvetica, sans-serif;
}

.nonterminated
{
	color: #000000;
	background: #ffffff;
	border-right: 2px solid #ffffff;
	border-left: 0px;
	border-top: 0px;
	border-bottom: 1px solid #ffffff;
}

.block0
{
	color: #000000;
	background: #ff9f9f;
	border-right: 2px solid #bf5f5f;
	border-left: 0px;
	border-top: 0px;
	border-bottom: 1px solid #df7f7f;
}

.block1
{
	color: #000000;
	background: #9fff9f;
	border-right: 2px solid #5fbf5f;
	border-left: 0px;
	border-top: 0px;
	border-bottom: 1px solid #7fdf7f;
}

.block2
{
	color: #000000;
	background: #9f9fff;
	border-right: 2px solid #5f5fbf;
	border-left: 0px;
	border-top: 0px;
	border-bottom: 1px solid #7f7fdf;
}

.block3
{
	color: #000000;
	background: #ff9fff;
	border-right: 2px solid #bf5fbf;
	border-left: 0px;
	border-top: 0px;
	border-bottom: 1px solid #df7fdf;
}

.block4
{
	color: #000000;
	background: #9fffff;
	border-right: 2px solid #5fbfbf;
	border-left: 0px;
	border-top: 0px;
	border-bottom: 1px solid #7fdfdf;
}

.block5
{
	color: #000000;
	background: #ffff9f;
	border-right: 2px solid #bfbf5f;
	border-left: 0px;
	border-top: 0px;
	border-bottom: 1px solid #dfdf7f;
}

.tablecontainer
{
	margin: 0px;
	padding: 0px;
	border: 0px;
	font: 11px verdana, arial, helvetica, sans-serif;
}

.comment_date
{
	font: 11px verdana, arial, helvetica, sans-serif;
	font-style: italic;
}

.comment_name
{
	font: 11px verdana, arial, helvetica, sans-serif;
	font-weight: bold;
}

.comment_content
{
	font: 11px verdana, arial, helvetica, sans-serif;
	white-space: pre-wrap;
	white-space: -moz-pre-wrap;
	white-space: -pre-wrap;
	white-space: -o-pre-wrap;
	word-wrap: break-word;
}

.shell
{
	font-family: monospace;
}