BODY {
	margin: 10px;
	padding: 0px;
}

DIV.heading, DIV.heading P, DIV.heading UL, DIV.heading LI {
	margin: 0px;
	padding: 0px;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: small;
}

#logo {
	float: left;  
	margin: 0px;
	margin-right: 5px;
	margin-bottom: 3px; 	
	padding: 0px;
}

#genmenu {
	float: right; 
	background-color: #369;
	padding: 3px;
	padding-top: 1px;
	margin-right: 0px;
	font-size: x-small;
	text-align: right;
}

#genmenu A {
	color: #fff;
}

#searchbar {
	margin: 0pt;
	padding: 0pt;
	margin-left: 265px; 
	min-height: 62px;
	border-top: 1px solid #336699;
	border-left: 1px solid #336699; 
	border-right: 1px solid #336699; 
	text-align: center;
}

#searchbar FORM {
	margin: 0pt;
	padding: 0pt;
	padding-top: 1ex; 
	text-align: center;
	clear: right;
}

#navbar, #footer {
 	background-color: #336699;
	padding: 3px;
	clear: both;
	font-size: x-small;
	color: #fff; 
	font-family: sans-serif;
}

#navbar A, #footer A, #navbar P {
	color: #fff;
	font-size: x-small;
}

#footer {
	text-align: center;
	clear: both;
}

#footer P {
	margin: 0em; padding: 0em;
}

#lastmodified {
	float: right;
	background-color: #336699;
}

#translationlink {
	margin-left: 4%;
	margin-right: 25%;
	text-align: center;
	color: #993333;
	font-family: sans-serif;
	font-size: small;	
	margin-top: 0pt;
	padding: 0pt;
	margin-bottom: 1ex;
}

A:link {color: #369}
A:visited {color: #69C}
A:active {color: #C00}

DIV.content {
	font-family: Georgia, "Times New Roman", Times, serif;
}

DIV.content P, DIV.content UL, DIV.content TABLE, DIV.content PRE,
DIV.content BLOCKQUOTE, DIV.content OL {
	margin-left: 4%;
	margin-right: 25%; 
	margin-top: 0em;
	margin-bottom: 1em;
}

DIV.content UL UL {
	margin-right: 0em;
}

DIV.content BLOCKQUOTE {
	margin-left: 8%;
}

DIV.content H1, DIV.content H2, DIV.content H3, 
DIV.content H4, DIV.content H5, DIV.content H6  {
        color: #993333;
        font-family: Verdana, Arial, Helvetica, sans-serif;
}

DIV.content H1      {
        text-align: center;
	margin-bottom: 1ex;
	margin-left: 4%;
	margin-right: 25%; 
}

DIV.content H2 {
	margin-bottom: 1ex;
	margin-left: 0%;
	margin-right: 25%; 
}

DIV.content H3, DIV.content H4 {
	margin-left: 4%;
        margin-bottom: 0%;
	margin-right: 25%; 
}


DIV.linkbar {
	margin: 0px;
	margin-bottom: 0.5em;
	padding: 0em;
	float: right;
	clear: right;
	width: 20%; 
	background-color: #eef;
}

DIV.linkbar H2 {
/*	text-align: center; */
	margin: 0pt;
	margin-bottom: 1em;
	padding: 0pt;
	font-size: small;
/*	background-color: #336699;
	color: #FFFFFF;*/
	color: #933;
}

DIV.linkbar UL {
	padding-left: 1em;
	padding-right: 1em;
	margin: 0pt;
	margin-bottom: 1em;
	font-size: smaller;
	font-family: sans-serif;
	list-style-type: square;
	color: #933;
}

DIV.linkbar UL LI {
	margin-left: 0.5em;
        margin-bottom: 3px;
}

BLOCKQUOTE.abstract {
	margin-left: 4%;
	margin-right: 25%;
	margin-top: 1ex;
	padding-left: 0.5em;
	padding-right: 0.5em;
        background-color: #FFFFDD;
	font-family: sans-serif;
}

BLOCKQUOTE.abstract P, BLOCKQUOTE.example P {
	margin-left: 0em;
	margin-right: 0em;
	margin-bottom: 1em;
}

BLOCKQUOTE.example {
	margin-left: 8%;
	margin-right: 30%;
	margin-top: 1ex;
	padding-left: 0.5em;
	padding-right: 0.5em;
        background-color: #FFFFCC;
}

TABLE.informaltable {
	border-collapse: collapse;
	border-spacing: 0em;
	border-top: 5px solid #336699;
	border-bottom: 5px solid #336699;
}

TABLE.informaltable THEAD TR {
	border-bottom: 3px solid #336699;
}

TABLE.informaltable TBODY TR {
	border-bottom: 2px solid #336699;
	border-top: 2px solid #336699;
}

TABLE.informaltable TD, TABLE.informaltable TH {
	vertical-align: top;
	text-align: left;
	margin-top: 0.5em;
	margin-bottom: 0.5em;
}

TABLE.informaltable TD P, TABLE.informaltable TH P {
	margin-left: 0px;
	margin-right: 0px;
}

SUP, SUB {
	font-size: x-small;
}

DIV.informalfigure {
	margin-left: 4%;
	margin-right: 25%;
}

DIV.floatingfigure {
	margin-left: 2%;
	margin-right: 25%;
	float: right;
}

BLOCKQUOTE DIV.floatingfigure {
	margin-top: 1ex;
	margin-left: 2%;
	margin-right: 0%; 
	float: right;
}

P.summary {
margin-right: 1em; margin-left: 0em; border-left: 0.5em solid #369;
padding-left: 0.5em; }

SPAN.error {
	color: #990000;
}

#footer SPAN.url {
	display: none;
}