

body {
	background : rgb(85%,100%,100%);
	padding : 2pt 6pt 2pt 6pt;
	margin : 0pt;
  font-size : 10pt;
	}
.help:hover {
  color : blue;
	}
h1 {
	font-size : 14pt;
	font-weight : bold;
	margin : 0pt 0pt 6pt 0pt;
	}
h2 {
	font-size : 12pt;
	font-weight : bold;
	margin : 6pt 0pt 6pt 0pt;
	border-top : solid thin;
	}
h3 {
	font-size : 11pt;
	font-weight : bold;
	font-style : normal;
	margin : 18pt 0pt 3pt 0pt;
	}
.ctrlcont {
	position : relative;
	}
.atright {
	position : absolute;
	right : 0pt;
	}
div.docblock {
	margin : 0pt 0pt 24pt 0pt;
	display : none;
	}
p {
	margin-top : 0;
	margin-bottom : 3pt;
	text-indent : 6pt;
	text-align : justify;
	}
p.noindent {
	text-indent : 0pt;
	}
p.alignleft {
	text-indent : 0pt;
	text-align : left;
	}
dt.ctrldescr {
	position : relative;
	font-size : 12pt;
	margin-top : 12pt;
	}
dd.ctrldescr {
	margin-left : 18pt;
	}
dd.ctrldescr p {
	text-indent : 0pt;
	}
a:link, a:visited, span.linkpreview {
  color : blue;
	}
a:link:hover, a:visited:hover, span.linkpreview:hover {
  color : #0066ff;
	}

.playctr {
	width : 16pt;
	text-align : center;
	font-family : monospace;
	font-weight : normal;
	font-size : 8pt;
	}
.playstopbut {
	width : 60pt;
	font-family : monospace;
	font-weight : normal;
	font-size : 8pt;
	}
.switchbut {
	width : 87.5pt;
	font-family : sans-sherif;
	font-weight : normal;
	font-size : 8pt;
	}
.openinfowinbut {
  width : 116px;
	margin : 0pt;
	padding : 0pt;
	font-size : 9pt;
	}
.urltext {
	font-family : monospace;
	font-size : 90%;
	}

a.expcol {
	vertical-align : 1pt;
	margin : 0pt 6pt 0pt 0pt;
	text-decoration : none;
	}
a.expcol img {
	border : none;
	}

input.preview, input.hideE, input.hideS, input.hideTP, input.hideTM, input.hideIW, input.hideIP {
	font-size : 9pt;
	margin : 0pt;
	padding : 0pt;
	text-align : center;
	}

	
/*
p.toclink {
	font-size : 9pt;
	font-weight : bold;
	font-family : monospace;
	padding : 0pt;
	margin : 0pt 0pt 6pt 0pt;
	text-indent : 0pt;
	text-align : right;
	}

span.toclink {
	background : white;
	}
*/


#tocmenu {
	position : absolute;
	right : 6pt;
	margin : 0pt;
	padding : 6pt 0pt 0pt 0pt;
	border : none;
	width : 100pt;
	z-index : 100;
  font-size : 10pt;
	}
div#tocmenu h1 {
	font-size : 9pt;
	text-align : right;
	margin : 0pt 0pt 0pt 0pt;
	padding : 0pt 0pt 3pt 0pt;
	}
ul#toc {
	position : relative;
	top : -3pt;
	visibility : hidden;
	border : solid thin;
	background-color : white;
	padding : 3pt 0pt 3pt 3pt;
	margin : 0pt;
	width : 100%;
	list-style-position : inside;
	}
ul#toc li {
	list-style-type : disc;
	padding : 0pt 1pt 0pt 2pt;
	margin-left : 0pt;
	}
ul#toc li:hover {
	list-style-type : circle;
	background : silver;
	font-weight : bold;
	color : blue;
	}

h3.errors {
	font-size : 10pt;
	font-weight : normal;
	font-style : normal;
	margin : 6pt 0pt 3pt 0pt;
	}
dl.errors {
	margin-top : 0pt;
	}
dl.errors dt {
	margin-top : 3pt;
	}
dl.errors dd {
	font-size : 9pt;
	text-align : justify;
	}

