/** Default styles **/
body {
	background: #f4f9f9;
	color: #000000;
	font-family: verdana, helvetica, sans-serif;
	font-size: 12px;
	line-height: 1.4em;
	margin: 0;
	padding: 0
}
img {
	border: 0px;
	margin: 0;
	padding: 0
}
h1 {
	color: #0c0c8f;
	font-size: 22px;
	font-weight: normal;
	margin: 0;
	padding: 0 0 0.7em 0
}
h2 {
	color: #0c0c8f;
	font-size: 16px;
	font-weight: bold;
	margin: 0;
	padding: 0 0 0.7em 0
}
h3 {
	color: #060648;
	font-size: 12px;
	font-weight: bold;
	margin: 0;
	padding: 0 0 0.7em 0
}
h4 {
	color: #0c0c8f;
	font-size: 12px;
	font-weight: bold;
	margin: 0;
	padding: 0
}
p {
	margin: 1.05em 0 0 0
}
code {
	color: #0c6f0c;
	line-height: 1.2em
}
ul {
	list-style-type: circle;
	margin: 0.7em 0 0 2.1em;
	padding: 0
}
li {
	margin: 0px 0px 0.7em 0px;
	padding: 0
}
a, a:link, a:visited, a:active {
	color: #8f0c0c;
	font-weight: normal;
	text-decoration: underline
}
a:hover	{
	color: #5d0000;
	text-decoration: none
}
hr {
	border-bottom: 1px solid #bfbfbf;
	border-left: none;
	border-right: none;
	border-top: none;
	height: 1px;
	margin: 1.0em 0 0.7em 0;
	padding: 0
}
table {
	margin: 1.0em 0 0.7em 0;
	border-collapse: collapse
}
th {
	background: #f6f6f6;
	border: 1px solid #6f6f6f;
	color: #404040;
	padding: 0.2em 0.4em;
	text-align: left
}
td {
	border: 1px solid #6f6f6f;
	padding: 0.2em 0.4em;
	text-align: left
}

/** Styles for min-width and simulation thereof in IE. **/
div.width {
	width:100%;
	min-width:780px
}
* html div.minwidth {
	padding-left:780px
}
* html div.container {
	margin-left:-780px;
	position:relative
}
/*\*/
* html div.minwidth, * html div.container, * html div.outerframe, * html div.layout  {
	height:1px;
}
/**/

/** Template styles **/
div.outerframe {
	background: #ffffff;
	border-bottom: 1px solid #6f6f6f;
	border-left: 1px solid #bfbfbf;
	border-right: 1px solid #6f6f6f;
	border-top: 1px solid #bfbfbf;
	margin: 20px
}
div.head {
	background-image: url('../_images_/logo.png');
	background-position: top left;
	background-repeat: no-repeat;
	height: 43px;
	margin: 15px 20px 0 20px
}
div.foot {
	border-top: 1px solid #bfbfbf;
	font-size: 9px;
	height: 4em;
	margin: 15px 10px 0 10px;
	min-height: 35px;
	padding: 0
}
div.footleft {
	float: left;
	margin: 10px 0 0 10px;
	padding: 0	
}
div.footright {
	float: right;
	margin: 10px 10px 0 0;
	padding: 0
}
div.content {
	font-size: 12px;
	margin: 0px 20px 0px 20px;
	padding: 10px 0 20px 0;
	text-align: justify
}

/** TOC styles **/
div.toc {
	background: #f6f6f6;
	border-bottom: 1px solid #6f6f6f;
	border-left: 1px solid #bfbfbf;
	float: right;
	margin: 0 0 10px 20px;
	padding: 0 1px 1px 1px;
	position: relative;
	text-align: left;
	top: 0px
}
ul.toc {
	list-style-type: none;
	margin: 0;
	padding: 0
}
li.toc {
	display: inline;
	margin: 0;
	padding: 0
}
div.tocitem {
	font-weight: bold;
	margin: 0;
	padding: 0.4em 0.7em
}
div.tocitemsel {
	background: #d6d6d6;
	color: #000000;
	font-size: 11px;
	font-weight: bold;
	margin: 0;
	padding: 0.4em 0.7em
}
a.tocitem, a:link.tocitem, a:visited.tocitem, a:active.tocitem {
	background: none;
	display: block;
	font-size: 11px;
	font-weight: bold;
	margin: 0;
	padding: 0.4em 0.7em;
	text-decoration: none;
	vertical-align: bottom
}
a:hover.tocitem {
	background: #d6d6d6;
	color: #8f0c0c;
	display: block;
	font-size: 11px;
	font-weight: bold;
	margin: 0;
	padding: 0.4em 0.7em;
	text-decoration: none;
	vertical-align: bottom
}
a.tocnull, a:link.tocnull, a:visited.tocnull, a:hover.tocnull, a:active.tocnull {
	display: block;
	margin: 0;
	padding: 0 0 1px 0;
}

/** Other styles **/
ul.sublist {
	list-style-type: none
}
ul.subsublist {
	margin-left: 2.1em
}
b.light {
	color: #404040
}
td.mid {
	text-align: center
}
td.empty {
	border: none;
}
div.pageleft {
	float: left;
	margin: 0;
	padding: 0
}
div.pageright {
	float: right;
	margin: 0;
	padding: 0
}
div.javalogo {
	background-image: url('../_images_/java.png');
	background-position: top right;
	background-repeat: no-repeat;
	float: right;
	height: 49px;
	margin: 10px 0px;
	width: 39px
}
