body
{
	font-family: Tahoma, Verdana, Arial, sans-serif;
	color: #025;
	margin: 0;
	background: #000;
	font-size: smaller;
}

div#document
{
	margin: 10px;
	padding: 10px;
	background: #fff;
	border: solid 9px #036;
}

img
{
	border: none;
}

a
{
	color: #369;
}

a:hover
{
	text-decoration: none;
}

ul
{
	margin: 0 0 10px 0;
	list-style-type: square;
}

ul ul
{
	list-style-type: circle;
}

.head
{
	background-color: #ccc;
}

.row2
{
	background-color: #eee;
}

div#links
{
	margin-top: 10px;
	margin-bottom: 10px;
	text-align: center;
}

table
{
	font-size: 8pt;
	border: 0px none;
	width: 100%; 
	border-spacing: 0px 0px;
	border-collapse: collapse;
}

table.source
{
	border: 0px none;
	width: 100%; 
	border-spacing: 0px 0px;
	border-collapse: collapse;
}

td
{
	padding-left: 4px;
	padding-right: 4px;
	padding-top: 1px;
	padding-bottom: 1px;
}

td.min
{
	width: 1px;
}

li.mono
{
	font-family: 'Courier New', Courier, monospace; 
	font-size: 12px;
	font-weight: normal;
}

h1
{
	margin: 0 -10px 0 0;
	padding: 0 0 5px 0;
	border-bottom: solid 1px #000;
}

div#content
{
	padding: 10px 10px 0 10px;
	margin: 10px 0 0 0;
	border: solid 1px #ddd;
	padding-top: 10px;
	padding-bottom: 6px;
	min-height: 200px;
}

h2
{
	margin: -10px -10px 10px -10px;
	padding: 5px 0 5px 10px;
	font-size: 15pt;
	border-bottom: solid 1px #ddd;
	font-weight: normal;
	background: #eee;
}

div.normal
{
	font-family: courier;
	color: #000000;
	font-size: 10pt;
	border: 0px none;
	width: 100%; 
	border-spacing: 0px 0px;
	border-collapse: collapse;
	background-color: #ffffff;
}

div.added
{
	font-family: courier;
	color: #000000;
	font-size: 10pt;
	border: 0px none;
	width: 100%; 
	border-spacing: 0px 0px;
	border-collapse: collapse;
	background-color: #ddffdd;
}

div.removed
{
	font-family: courier;
	color: #000000;
	font-size: 10pt;
	border: 0px none;
	width: 100%; 
	border-spacing: 0px 0px;
	border-collapse: collapse;
	background-color: #ffdddd;
}