body {
	font-size:12px;
         /*font-weight:120%;*/
	font-family:verdana, arial, helvetica, sans-serif;
	color:#222;
	background-color:white;
	margin:0;
	padding:0;
	}
p {margin:0 0 1em;}
#content {
	padding:38px 15px 0px 114px;

	/*background-image:url(/graphics/bg_leaf.gif);
	background-repeat:no-repeat;
	background-position:top right;*/
	}
#content p {line-height:1.8; /* ~20px */}
#content blockquote p {line-height:1.5;}
/* Browsers that understand the CSS child selector get the good typography. */
#content p+p {margin-top:-1em; text-indent:2.7em;}

a {
	color:#008b8b;
	text-decoration:none;
	/*font-weight:300;*/
	}
a:link {
	color:#09c;
}
a:visited {color:#07a;}
a:hover {background-color:#eee;}

h1 {
	color:#111;
	font-size:12px; /* Not a relative value, since this is the site logotype */
	line-height:12px; /* Ditto */
	font-weight:800;
	font-family:verdana, arial, helvetica, sans-serif; /* Again, it's the logotype, so we want this control. */
	margin:0;
	padding:0;
	}
h2 {
	color:#aaa;
	font-size:2.18em; /* ~24px */
	font-weight:800;
	margin:0 0 .83em; /* margin-bottom: ~20px */
	}
h3 {
	color:#333;
	font-size:1em;
	font-weight:700;
	margin:1.63em 0 .27em; /* ~18px 0 ~3px */
	}
h4 {
	color:#999;
	font-size:1.27em; /* ~14px */
	font-weight:800;
	margin:.43em 0 .214em; /* ~6px 0 ~3px */
	}
h5 {
	color:#999;
	font-size:1em;
	font-style:italic;
	font-weight:800;
	margin:1.8em 0 .27em; /* ~20px 0 ~3px */
	}

blockquote {
	margin:1em 2.7em 1.36em; /* 11px ~30px ~15px */
	color:#666;
	line-height:1.5;
	}

img {border-width:0;}
img.thumb {margin:10px 1px;}

#google {
	position: fixed;
	/*position:absolute;/*relative;*/
	width:150px;
	top:70px; /*20px;*/
	right:10%;/*520px;*/

/*	float:left;*/
	width:150px;
	margin-top:38px;
	border-right: #ffffff 3px solid; padding-right: 10px;
	padding:0 10px 40px;
	/*background-image:url(vertical_grey.gif);
	background-repeat:repeat-y;*/
	border-style:none; /*dashed;/*solid;*/
	border-color:blue;
	border-width:1px 1px 1px 1px;
	}
#google h2 {
	color:#aaa;
	font-size:1.27em; /* ~14px */
	font-weight:800;
	margin:.86em 0 .214em; /* ~12px 0 ~3px */
	}
#google p {
	font-size:.9em;
	line-height:1.5;
	margin:0 0 2em;
	}
#google ul {margin:0 0 0 1em; padding:0;}
#google li {list-style-type:none; margin:0; padding:0; text-indent:-1em; padding-top: 3px;}

div#Menux a {
    /*		border-right: #eee 3px solid; padding-right: 10px;*/
    /*display: block;*/
		/*padding-left: 10px;*/
		border-left-width: 0px;
    background: #eee; border-bottom-width: 0px;
    /*padding-bottom: 1px;*/
		margin: 0px 0px 2px; color: #625b55;
    /*padding-top: 5px;*/
		text-align: left; text-decoration: none; }

div#Menu a:hover {
    /*border-right: blue 3px solid;/*dashed;*/
		background:#f9eec8;
		color: #FF0000;
}


/* Please forgive me.
   The extra DIV (Main) is needed to overcome a shortcoming of Opera5/Win.
   The prefered way to set the width of the content would be to pad the
   content of #Content using
   "#Content>* {padding-left:114px; padding-right:15px;}" */

#Main {
	clear:left;
	float:left;
	width:70%;
	}


div#Content li {
	padding-bottom:10px;
}
#Header {
	width:100%;
	width:auto;
	margin-top:40px;
	padding-bottom:10px;
	height:32px;
	border-color:blue;
	border-style:dashed;/*solid;*/
	border-width:1px 0;
	background-image:url(/graphics/header_right.gif);
	background-repeat:no-repeat;
	background-position:center right;
	voice-family: "\"}\"";
  	voice-family:inherit;
	height:30px;
	}
#Header_ori {
	/*position: fixed;*/
	width:100%;
	margin-top:40px;
	padding-bottom:10px;
	height:32px;
	border-color:blue;
	border-style:dashed;/*solid;*/
	border-width:1px 0;
	background-image:url(/graphics/header_right.gif);
	background-repeat:no-repeat;
	background-position:center right;
	voice-family: "\"}\"";
  	voice-family:inherit;
		height:30px;
	}
#header a {
	color: blue;
}
/* I've heard this called the "be nice to Opera 5" rule. Basically, it feeds correct
length values to user agents that exibit the parsing error exploited above yet get
the CSS box model right and understand the CSS2 parent-child selector. */
body>#Header {height:30px;}

#headerLogo {
	float:left;
	height:13px;
	/*background-image:url(/graphics/header_left.gif);*/
	background-position:top left;
	background-repeat:no-repeat;
	padding:17px 0 0 14px;
	margin-bottom: 5px;
	}
#headerLogo_ori {
	float:left;
	height:13px;
	/*background-image:url(/graphics/header_left.gif);*/
	background-position:top left;
	background-repeat:no-repeat;
	padding:17px 0 0 14px;
	margin-bottom: 5px;
	}

#headerOverlap {
	position:absolute;
	top:78px;
	left:69%;
	width:93px;
	height:76px;
	background-image:url(/graphics/header_leaf.gif);
	background-position:center left;
	background-repeat:no-repeat;
	}

#Copyright {
	clear:both;
	padding:50px 0px 100px 0px;
	text-align:center;
	font-weight:800;
	color:#999;
	}
#copyrightText {
	position:relative;
	left:-1.5em;
	}

#logNav {margin:3em 0 4em; text-align:center;}

.h1 {
 margin-top:10px; margin-bottom:10px;
 font-family: verdana,arial,sans-serif;
 font-size: 18pt;
 text-align: left;
 color: #000099;
}

.h2 {
 margin-top:10px; margin-bottom:10px;
 font-family: verdana,arial,sans-serif;
 font-size: 14pt;
 text-align: left;
 color: #000099;
 }

 .h3 {
 margin-top:10px; margin-bottom:10px;
 text-align: left;
 font:bold 12px/14px verdana, arial, helvetica, sans-serif;
 /*color: #000099;*/
	color:#333;
 }
.h4 {
 margin-top:3em;
 margin-bottom:2em;
 font-family: sans-serif;
 font-size: 11pt;
 text-align: left;
 color: #0000FF;
 }

footer {
  background: #FFFFFF;
  color : #000099;
  font-family : Arial, Tahoma, Verdana, Helvetica, sans-serif;
  font-size: 10px;
  padding : 2px;
  margin: 2px;
  border-color : #48D1CC;
  border-style : dashed;/*none ;/*groove;*/
  border-width : 1px;/* the border property in longhand*/

  }
	
.checkvalidness
{
 visibility: hidden;
 background-color: green;
}

#google {
  position: fixed;
  top: 8px;
  right: 8px;
}

#content
{
float: left;
}	
#toc1
{
  margin-bottom: 1.5 em;
  border-color : #888888;
  border-style : none ;/*groove;*/
  border-width : 1px;/* the border property in longhand*/
}
.source
{
  font-family: courier;
	margin-bottom: 1em;
}