body
{
	background: white;
	padding: 8px;
	margin: 0px;
}

p
{
	font-family: 'times new roman', serif;
	line-height: 18px;
}

sub
{
	font-size: 8pt;
	vertical-align: -30%;
}

a
{
	color: #A00000;
	text-decoration: none;
}

a:hover
{
	text-decoration: underline;
}

img
{
	border: 0px;
}

img#terathon
{
	width: 160px;
	height: 82px;
}

img#c4engine
{
	width: 142px;
	height: 112px;
}

a.link
{
	font-family: arial;
	font-size: 11pt;
	font-weight: bold;
	text-decoration: none;
	color: #440000;
}

div.link
{
	padding-top: 12px;
}

div.component
{
	background-color: #A04040;
	text-align: right;
	font-family: tahoma, arial;
	font-size: 12pt;
	font-weight: bold;
	line-height: normal;
	padding: 2px 6px 3px 0px;
}

div.document
{
	background-color: #EEEEEE;
	border: solid 1px #404040;
	padding: 8px 16px 16px 16px;
	margin-top: 16px;
}

td
{
	text-align: left;
}

td.links
{
	vertical-align: top;
	padding: 0px 4px 4px 0px;
	text-align: center;
	width: 120px;
}

td.content
{
	padding: 0px 16px 0px 16px;
	vertical-align: top;
}

td.ads
{
	vertical-align: top;
}

code
{
	font-family: 'courier new', monospace;
	font-size: 10pt;
}

h1
{
	font-family: tahoma, arial;
	font-size: 18pt;
	font-weight: bold;
	margin-top: 8px;
}

h2
{
	font-family: tahoma, arial;
	font-size: 13pt;
	font-weight: bold;
}

pre
{
	font-family: 'courier new', monospace;
	font-size: 10pt;
	line-height: 15px;
	border: solid 1px #808080;
	background-color: white;
	padding: 8px;
}

div.footer
{
	color: #888;
	font-size: 9pt;
	margin-top: 24px;
	border-top: solid 1px #888;
	text-align: right;
}

div.equation
{
	line-height: 28px;
	margin-left: 32px;
}

td.lbracket
{
	border-left: solid 1px black;
	border-top: solid 1px black;
	border-bottom: solid 1px black;
}

td.rbracket
{
	border-right: solid 1px black;
	border-top: solid 1px black;
	border-bottom: solid 1px black;
}

td.matrix
{
	padding: 0px 6px 2px 6px;
	vertical-align: middle;
	text-align: center;
}
