/* $Id: style.css,v 1.7 2005/03/27 22:34:56 szumi Exp $ */
body
{
	padding: 10;
	margin: 10;
	font: 12px/130% Verdana, monospace;
	text-align: left;
	background: #fff;
}

h1
{
	text-align: center;
	font-weight: bold;
	font-size: 165%;
	border-bottom: silver 1px solid;
	padding-bottom: 12px;
	padding-top: 12px;
	line-height: 2em;
	background-color: #fee600;
}
h2
{
	text-align: left;
	font-weight: bold;
	font-size: 140%;
	padding-top: 1em;
	padding-bottom: 1em;
}
h3, h4 {
	text-align: left;
	font-weight: normal;
	font-size: 120%;
	font-weight: bold;
	padding-top: 18px;
	padding-bottom: 6px;
}

p
{
	padding-left: 0px;
}
p.clsRef 
{
	font-weight: bold;
	font-size: 110%;
	font-family: Verdana, Serif;
	text-align: left;
	padding-top: 25px;
	padding-bottom: 0;
	text-decoration: underline;
}

.highlighted
{
   background-color: #ffff00;
}

.errorf
{
   background-color: #ff0000;
}

span.header1
{
	padding-left: 0;
	font-weight: bold;
	font-size: 150%;
}
span.header2 {
	padding-left: 25;
	font-weight: bold;
	font-size: 120%;
}
span.header3 {
	padding-left: 50;
	font-size: 110%;
}
span.header4 {
	padding-left: 75;
	font-size: 90%;
}
div.clsRef 
{
	padding-left: 15px;
	font-size: 90%;
}

A
{
	text-decoration: none;
}
A:hover
{
	text-decoration: underline;
}
PRE
{
	background:#EEEEEE;
	margin-top:1em; margin-bottom:1em; margin-left:0px;
	padding:5pt;
	white-space: normal;         /* Internet Explorer 5.5+ */
	word-wrap: break-word;       /* Internet Explorer 5.5+ */
}

PRE.clsCode, CODE.clsText { font-size:110%; font-family:'courier new',courier,serif; }

PRE.clsCCCode { font-size:120%; font-family:'courier new',courier,serif;background:none }

PRE.clsSyntax { font-size:100%; font-family:verdana,arial,helvetica,sans-serif; }

Table.clsBody
{
	font-size: 50%;
	background: #eeeeee;
	border: #a9a9a9;
}

TR.clsHeader
{
	font-weight: bold;
	background: #ff66cc;
	color: white;
}

p.interline
{
	line-height: 200%;
}

dl.interline
{
 line-height: 200%;
}


span.version
{
	border-top: black 1px solid;
	padding-top: 5px;
}

p.footer
{
	padding-left: 0px;
	font-size: 80%;
	margin-top: 70px;
	font-family: 'Arial';
}