<!--
body{ margin: 0em 10px 0em 10px; padding: 0; }

a:link    { text-decoration: underline; }
a:visited { text-decoration: underline; }
a:hover   { text-decoration: underline; color: #ff6347; background-color: #fdf5e6; }
a:active  { text-decoration: underline; color: #ff0000; background-color: #fdf5e6; }

span.pen1 { background-color: #cc3333; padding: 0.1em 0px; }
span.pen2 { background-color: #ffff66; padding: 0em 0px; }

div.cover    { width: 970px; margin-left:auto; margin-right:auto; border:1px solid #d7d88d; }

div.title    { float: left; width: 200px; height: 70px; background-color: #fffff0; }

div.intro    { margin-left: 200px; height: 70px; background-color: #d7d88d; }
div.intro h1 { margin: 0px 0px 0.5em 80px; padding: 25px 0px 0px 0px; font-size: 160%; font-family: Verdana,Arial,sans-serif; color: #000000; text-shadow: 1px 2px 1px white; }

div.navi     { clear: both;  background-color: #556b2f; font-size: 90%; color: yellow; padding: 3px 8px; font-family: Verdana,sans-serif; }
div.navi a   { color: white; }

div.menu
{
	float: left;
	width: 160px;
	padding: 8px;
	margin-right: 0.3em;
	border-right: dashed 1px #556b2f;
	background-color: #f5f5dc;
}
div.menu h3  { margin: 10px 0px 0px 0px; font-size: 100%; font-family: Verdana,Arial,sans-serif; background-color: #d7d88d; border-left: #556b2f solid 10px; color: #000000; padding: 2px 5px; text-align: left; }
div.menu h4  { margin: 5px 0.5em 0em 1em; font-size: 90%; font-family: Verdana,Arial,sans-serif; text-align: left; }
div.menu ol  { margin: 5px 0.5em 0.5em 2.2em; padding: 0; line-height: 1.4; font-size: 95%; text-align: left; }
div.menu ul  { margin: 5px 0.5em 0.5em 25px; padding: 0; line-height: 1.4; font-size: 95%; text-align: left; }
div.menu p   { margin: 0em 0em 0em 1em; line-height: 1.2; font-size: 80%; text-align: left; text-indent: 0em; }

div.menu2     { float: right; width: 180px; padding: 8px; margin-right: 0em; border-left: dashed 1px #556b2f; background-color: #f5f5dc; }
div.menu2 h3  { margin: 10px 0px 0px 0px; font-size: 100%; font-family: Verdana,Arial,sans-serif; background-color: #d7d88d; border-left: #556b2f solid 10px; color: #000000; padding: 2px 5px; text-align: left; }
div.menu2 h4  { margin: 5px 0.5em 0em 1em; font-size: 90%; font-family: Verdana,Arial,sans-serif; text-align: left; }
div.menu2 ol  { margin: 5px 0.5em 0.5em 2.2em; padding: 0; line-height: 1.4; font-size: 95%; text-align: left; }
div.menu2 p   { margin: 0em 0em 0em 1em; line-height: 1.2; font-size: 80%; text-align: left; text-indent: 0em; }

div.headpr    { background-color: #e7e8e2; }

div.main
{
	padding: 10px 10px 10px 15px;
	margin-left: 176px;
	margin-right: 196px;
	background-color: #ffffff;
}
div.main a.deco1
{
	border: outset #eee8aa 3px;
	background-color: #fff8dc;
	color: #000000;
	padding: 0.1em;
	display: block;
	width: 8em;
}
div.main a.deco2
{
	border: outset #dcdcdc 3px;
	background-color: #f8f8ff;
	color: #000000;
	padding: 0.1em;
	display: block;
	width: 8em;
}
div.main h2
{
	margin: 0.5em 10px 0.5em 5px;
	padding-left: 0.5em;
	font-size: 110%;
	font-family: Verdana,Arial,sans-serif;
	border-color: #556b2f;
	border-style: solid;
	border-width: 0px 0px 1px 10px;
}
div.main h3.deco
{
	margin: 1em 10px 0.5em 5px;
	padding-left: 0.5em;
	font-size: 105%;
	font-family: Verdana,Arial,sans-serif;
	border-left: #d7d88d solid 10px;
}
div.main h3
{
	margin: 1em 10px 0.5em 25px;
	padding-left: 0em;
	font-size: 105%;
	font-family: Verdana,Arial,sans-serif;
	border-color: #556b2f;
}
div.main h4
{
	margin: 0.5em;
	padding-left: 0em;
	font-size: 95%;
	font-family: Verdana,Arial,sans-serif;
	border-color: #556b2f;
}
div.main p
{
	margin: 0.5em 10px 0.5em 20px;
	line-height: 1.2;
	font-size: 100%;
	text-indent: 1em;
	ruby-align: distribute-space;
}
div.main p.stopfloat
{
	margin: 0.5em 0px 0.5em 0px;
	line-height: 1.2;
	font-size: 100%;
	text-indent: 1em;
	ruby-align: distribute-space;
	clear: both;
}
div.main p.annotation
{
	margin: 1em 15px 0.5em 0px;
	line-height: 1.2;
	font-size: 95%;
	color:#000000;
	text-align:right;
	text-indent: 1em;
	ruby-align: distribute-space;
}
div.main p.dot
{
	margin: 0.5em 10px 0.5em 5px;
	font-size: 90%;
	text-indent: 0em;
	border: 1px dotted #6b8e23;
	padding: 5px 5px;
}

div.main blockquote
{
	margin: 0.5em 10px 0.5em 15px;
	line-height: 1.2;
	font-size: 100%;
	text-indent: 1em;
	ruby-align: distribute-space;
	font-style: normal;
}
div.main ol
{
	margin: 0.5em 0em 0.5em 50px;
	padding: 0;
	line-height: 1.4;
	font-size: 100%;
	text-align: left;
}
div.main ul
{
	margin: 0.5em 0em 0.5em 50px;
	padding: 0;
	line-height: 1.4;
	font-size: 100%;
	text-align: left;
}
div.main ul.nomark1
{
	margin: 0.5em 0em 0.5em 50px;
	padding: 0;
	list-style-type: none;
	line-height: 1.4;
	font-size: 100%;
	text-align: left;
}
div.main ul.nomark2
{
	margin: 0.5em 0em 0.5em 25px;
	padding: 0;
	list-style-type: none;
	line-height: 1.4;
	font-size: 100%;
	text-align: left;
}

div.main dl
{
	margin: 0.5em 0em 0.5em 45px;
	line-height: 1.4;
	font-size: 100%;
	text-align: left;
}
div.main hr
{
	margin: 3px 10px 2px 10px;
	color: #ffffff;
}
div.main table
{
	width: 550px;
	margin: 10px 10px; 
	table-layout: fixed;
	text-align: center;
	font-size: 95%;
	font-family: Verdana,Arial,sans-serif;
}
div.main table td
{
	text-align: center;
	font-size: 95%;
	font-family: Verdana,Arial,sans-serif;
}
div.main table p
{
	margin: 0.5em 0px 0.5em 0px;
	font-size: 95%;
	font-family: Verdana,Arial,sans-serif;
	text-indent: 0em;
}
div.main table ul
{
	margin: 0.5em 0em 0.5em 3em;
	padding: 0;
	text-align: left;
	font-size: 95%;
	font-family: Verdana,Arial,sans-serif;
}
div.main table.spec
{
	width: 500px;
	margin: 5px 25px 10px 40px; 
	table-layout: fixed;
	text-align: left;
	font-size: 90%;
	font-family: Verdana,Arial,sans-serif;
	border: solid 2px #d7d88d;
	border-collapse: collapse;
}
div.main table.spec th
{
	border-bottom: solid 2px #d7d88d;
	border-right: dashed 1px #d7d88d;
	padding: 0.3em;
}
div.main table.spec td
{
	text-align: left;
	border-bottom: solid 1px #d7d88d;
	border-right: dashed 1px #d7d88d;
	padding: 0.3em 0.4em;
}

div.footer   { clear: both; background-color: #d7d88d; color: #000000; padding: 3px; }
div.footer p.returnlink   { text-align: center; margin: 0px 0px 0.5em 0px; }
div.footer p.returnlink a { font-size: 90%; }
div.footer p.copyright    { margin: 0px; font-size: 90%; font-family: Verdana,Arial,sans-serif; text-align: right; }

p.level0 { margin-left: 0em; margin-right: 0em; text-indent:1em; }
p.level1 { margin-left: 1em; margin-right: 0em; text-indent:1em; }
p.dot    { text-indent: 0em; border: 1px dotted #6b8e23; padding: 5px 5px; }

img.imgright { float: right; margin: 5px 10px 12px 12px; }
img.imgleft  { float: left;  margin: 5px 12px 12px 10px; }
img.imgcent  { margin: 5px 0px 10px 0px; }
.clcontr     { clear: right; }
.clcontl     { clear: left; }

-->