html * { 
	-ms-text-size-adjust: none;
	-webkit-text-size-adjust: none;
	-moz-text-size-adjust: none;
	text-size-adjust: none;
	max-height: 100000px; 
}

body, input, textarea, select  { 
	font-family: Roboto, Arial, Helvetica, sans-serif;
	font-size:14px; 
	text-rendering: optimizeLegibility;
	-webkit-font-smoothing: subpixel-antialiased;
	-moz-osx-font-smoothing: grayscale;	
}

body         { padding:12px; height:100vh;}
.small       { font-size: 90% }
.left	     { text-align: Left }
.right	     { text-align: Right }
.rightsmall  { font-size: 90%; text-align: Right }
.centersmall { font-size: 90%; text-align: Center }
.center      { text-align: Center }
.warning     { color: #FF0000; }
.title       { font-family: Roboto, Arial, Helvetica, sans-serif; font-size: 100%; color: #000080; font-weight: bold; margin-top: 12px; }

.fphead      { color: #000080; font-weight: bold }
p            { text-align: left; margin-top: 6px; margin-bottom: 0 }
p.foot       { font-size: 80%; text-align: Center; margin-bottom: 0 }
ol           { font-size: 100%; text-align: Left; margin-top: 6px }
li           { font-size: 100%; text-align: Left; margin-top: 6px }


.remark      { margin-left:30px; font-size: 90% }

h1           { font-size: 120%; color: #000080; margin-top: 0px; margin-bottom: 18px}
h2           { font-size: 100%; color: #000080; font-weight: bold }
h3           { font-size: 100%; color: #000080 }
h2.ISO       { font-size: 100%; color: #000080; font-weight: bold; margin-top:12px; margin-bottom:6px;  }
.sourceh     { font-size: 100%; color: #000080; font-weight: bold; margin-top: 8px; margin-bottom: 2px; }

a:visited    { color: #0000FF }
a:link       { color: #0000FF }
a:hover      { color: #FF0000 }

a.fp:visited    { color: #000080 }
a.fp:link       { color: #000080 }
a.fp:hover      { color: #FF0000 }

#header { padding: 0px 0px 0px 0px; margin-top:-18px; font-size:64px; letter-spacing:-4px;}
#header a { color:#111188; text-decoration:none; }

#topmenu {background-color: #555555; width:100%; margin-top:6px;margin-bottom:24px;} 
#topmenu a { display:inline-block; padding: 6px 12px 8px 12px; color: #FFFFFF; text-decoration: none; font-weight: bold; border-right:1px solid #888888; }
#topmenu a:hover   { color: #FFFFFF; text-decoration: underline; font-weight: bold }
.tmenu0      { background-color: #111111; }
.tmenu1	     { background-color: #555555; }

#leftmenu { background-color: #AAAAAA; float:left }
#leftmenu div { display:block; padding: 2px 12px; border-bottom:1px solid #888888; }
#leftmenu a { color: black; text-decoration: none; }
#leftmenu .menu1 { background-color: #C0C0C0;}
#leftmenu .menu1 a { color:blue; }
#leftmenu #dropdown { display: none; }
#leftmenu #dropdownmenu { display:block; padding: 0; border-bottom:0 }

#main { padding-left :24px; background-color: #FFFFFF; line-height:140%}

table        { }
td, th       { text-align:left; vertical-align: top}
.navb1       { background-color: #C0C0C0; }
.navb2       { background-color: #C0C0C0; }

#footer {
	clear:both;
	margin-top:24px;
	height:24px;
}

.colright    { background-color: #EEEEEE; }
table.source { background-color: #F7EBC6; margin-top:12px; margin-bottom:12px; }
td.source    { background-color: #F7EBC6; }
td.count     { background-color: #F7EBC6; }



hr { border: none; border-top: 1px solid gray; color: #FFFFFF; background-color: #FFFFFF; height: 1px; width:100%}

.code        { font-family: Courier, "Courier New"; padding:3px; margin-left:24px; margin-top:12px; margin-bottom:12px; background: #F7EBC6; }
PRE.LIST     { background: #F7EBC6; border: 1px solid #AAAAE6; padding: 6px; }
PRE.SNIP     { background: #F7EBC6; padding: 6px; }
PRE.CONSOLE  { color: #CCCCCC; background: #000000; font-family: "Courier New, Courier"; padding: 6px; }