a
{
	text-decoration: none;
}
a:hover
{
	text-decoration: underline;
}
body
{
	color: #202020;
	margin-left: 30px;
	margin-right: 30px;
	line-height: 1.4em;
	font-size: 90%;
}
table
{
	line-height: 1.2em;
	font-size: 100%;
}
td.p1
{
	line-height: 0.5em;
}
td.p {
	border-width: 1 1 1 1;
	border-style: solid;
	border-color: #555555;
	background-color: #fcfcfc;
	padding-left: 1em;
	line-height: 1.3em;
	padding-top: 2px;
}
td.h4 {
	border-width: 1 2 2 1;
	border-style: solid;
	border-color: #888888;
	background-color: #f8f8f8;
	margin-top: 5px;
	padding-top: 4px;
	padding-left: 15px;
	padding-right: 15px;
	padding-bottom: 2px;
	color: #666666;
	line-height: 1.3em;
	font-weight: bold;	
	font-size: 110%;
}
td.s2
{
	font-size: xx-small;
}
li
{
	line-height: 1.4em;
}
h1
{
	border-width: 1 2 2 1;
	border-style: solid;
	border-color: #888888;
	background-color: #f8f8f8;
	padding-top: 10px;
	padding-left: 15px;
	padding-right: 15px;
	padding-bottom: 10px;
	color: #666666;
	line-height: 1.0em;
}
h2
{
	border-width: 1 2 2 1;
	border-style: solid;
	border-color: #888888;
	background-color: #f8f8f8;
	padding-top: 10px;
	padding-left: 15px;
	padding-right: 15px;
	padding-bottom: 10px;
	color: #666666;
}
h4
{
	border-width: 1 2 2 1;
	border-style: solid;
	border-color: #888888;
	background-color: #f8f8f8;
	padding-top: 2px;
	padding-left: 15px;
	padding-right: 15px;
	padding-bottom: 2px;
	color: #666666;
	line-height: 1.3em;
}
h5
{
	font-size: 100%;
	padding-left: 1em;
}
div.foot
{
	border-width: 1 2 2 1;
	border-style: solid;
	border-color: #888888;
	background-color: #f8f8f8;
	padding-top: 2px;
	padding-left: 15px;
	padding-right: 15px;
	padding-bottom: 2px;
	text-color: #888888;
}
pre.code
{
	border-width: 1 1 1 1;
	border-style: solid;
	border-color: #888888;
	margin-left: 2em;
	margin-right: 2em;
	padding-top: 10px;
	padding-left: 15px;
	padding-right: 15px;
	padding-bottom: 10px;
	line-height: 1.1em;
}
pre.code2
{
	border-width: 1 1 1 1;
	border-style: solid;
	border-color: #888888;
	margin-left: 0em;
	margin-right: 2em;
	padding-top: 10px;
	padding-left: 15px;
	padding-right: 15px;
	padding-bottom: 10px;
	line-height: 1.1em;
}
p
{
	padding-left: 1em;
	padding-right: 1em;
	text-indent: 1em;
}
div
{
	padding-left: 1em;
}
div
{
	padding-left: 2em;
}
div.m5
{
	padding-left: 5em;
	padding-right: 5em;
}