/* doc style section*/
p
{
	padding: .5em 0;		/* specifically define this for Opera's sake,
				   and also for better consistency across 
				   all platforms  */
}
.nospace { padding: 0;}
h2
{
	font: 1.6em/115% "Trebuchet MS", helvetica, geneva, verdana, arial, sans-serif;
}
h5
{
	font: 1.3em/110% "Trebuchet MS", helvetica, geneva, verdana, arial, sans-serif;
}
h6
{
	font-size: 110%;
	line-height:20%;
	margin: 1em 0;
}

div#doc {
	margin: 20px 0 0 0; /* 0px 20px 20px 20px*/
	padding: 0px;
	border: 0px solid #ccc;
	background: #234;
	}
#doc-main img {
  float: right;
  margin: 10px 0px 0px 20px;
  padding:5px;
  border: 1px solid #336699;
  }
#doc-main {
	margin: 0 0 0 0;
	padding: 20px 20px 60px 20px;
	border: 0px solid #ccc;
	background: #fff;
	}
/*#doc p	{
	font-size: 1.1em;
	line-height: 1.5em;
	text-align: left;
	margin-top: 10px;
	margin-bottom: 1em;
	}*/
div.floater {
	width: 30%;
	margin: 15px 0 30px 10px;
	padding: 10px;
	border: 1px solid #B0BDEC;
	background-color: #D5DFF5;
	font-size: 90%;
	clear: right;
}
/* put in separate sheet for nn4.*/
div.floater {
	float: right;
}
/* doc navigation style.*/
#doc-nav {
	padding: 0px 0 0 0px;
	font: normal normal normal 10pt/12pt Verdana, Lucida, Geneva, Helvetica, Arial, sans-serif;
	color: #fff;
	}
#doc-nav ul {
	margin: 0;
	padding: 0;
	border: none;
	list-style-type: none;		
}
#doc-nav li {
		margin: -2px;
		}
#doc-nav li a:link {
		display: block;
		color: #789;
		text-decoration: none;
		width: 100%;
		}
#doc-nav li a:visited {
		color: #678;
		background-color: transparent;
		}

#doc-nav li a:hover {
		color: #006;
		background-color: transparent;
		text-decoration: underline;
		}

h4 {
  	font:200%/1.3em Times New Roman, Georgia, Serif; /* did have Times New Roman */
	font-weight: bold;
	color: #369;
	text-align: left;
	vertical-align: middle;
	margin-top: 0px;
	padding-top: 14px;
	margin-bottom: 0;
	padding-bottom: 0;
	/*font-size: 14px;*/
	/*line-height: 22px;*/
	border-bottom: 1px solid #527BBD;
}
.image-left {
  float: left;
  margin: 10px 140px 10px 0px;
  }