/*    STYLE SHEET FOR WEB DISPLAY */




/*    next 2 lines make ALL type a bit smaller ?? [table 1em seems needed]
 body { font-size: 0.93em; }
table { font-size: 1em; }    */

body {
 /*  background-color: #E5F3F5;BusEco Light Blue */
/* was: background-color: #FFFFCC; /* light yellow */
/* only use colors listed at http://www.htmlref.com/reference/AppE/index.htm */
margin-left: 0px;
margin-right: 0px;
margin-top: 0px;
margin-bottom: 0px;
padding-left: 0px;
padding-right: 0px;
padding-top: 0px;
padding-bottom: 0px;
color: red;
font-family: Arial, Helvetica, sans-serif
}

sup, sub { line-height: 0} /* so subscripts do not mess up line spacing */

/*  FONT SETTING  */

 p, dt, dd, table, ul, ol, li {
font-family:  "Segoe UI", "Trebuchet MS", Arial, Helvetica, "Times New Roman", sans-serif ;/*  */
 font-size: 10pt;
}

 

 h1, h2, h3, h4, h5, h6 {
font-family:    "Segoe UI", "Trebuchet MS", Arial, Helvetica, "Times New Roman", sans-serif ;
 font-size: 10pt;
}

/*  GENERAL SETTINGS, ALL STYLES  */

p, h1, h2, h3, h4, h5, h6, dt, dd, pre,ul,ol,table {
margin-left: 30px;
margin-right: 0px;
margin-top: 7px;  
margin-bottom: 7px;
padding-left: 0px;
padding-right: 0px;
padding-top: 0px;
padding-bottom: 0px;
color: black;
line-height: 1.4; 
}
/*   text-align: justify;*/
/*   margin-top: 4px;margin-bottom: 4px; */
 


table{
padding-left: 10px;
margin-top: 1px;  
padding-right: 10px;
}

td, tr{
padding-left: 10px;
padding-right: 10px;
padding-top: 1px;
padding-bottom: 1px;
}

h1 { font-size: 150%; font-weight:bold; margin-top: 42px; margin-bottom: 21px }
h2 { font-size: 12pt; font-weight:bold; margin-top: 24px ; margin-bottom: 12px}
h3 { font-size: 11pt; font-weight:bold; margin-top: 18px ; margin-bottom: 9px}
h4 { font-weight:bold; margin-top: 12px ; margin-bottom: 6px} 
h5 { font-weight:bold; margin-top: 12px ; margin-bottom: 6px} 
h6 { font-weight:bold; margin-top: 12px ; margin-bottom: 6px} 

 /* h4.codetit { padding-left: 40px}was : text-align: center */

pre {font-family: Consolas,Courier New, monospace }  /* font-weight:bold; */
pre.tablocode {
font-size: 10pt;
margin-left: 50px;
margin-right: 0px;
margin-top: 1px;  
margin-bottom: 1px;
padding-left: 0px;
padding-right: 0px;
padding-top: 0px;
padding-bottom: 0px;
color: black;
line-height: 1.3;
font-weight:bold;
 }

.example {margin-left: 15px; padding-left:
margin-top: 17px;  
margin-bottom: 17px;
width: 40em;
 0px; background-color: #FFFFCC; border-left:  solid;}/* light yellow */

div.smalltab table tr >td { font-size:80%;}  /* too hard for IE */

.footref{ color: blue; }

.topicref{ color: green; font-size: 12px; font-weight:normal; }

ul,ol { padding-left: 20px; margin-top: 0px; }
/* below margin-left, padding-left, set to 24 because IE cut off numbers in ol lists: jmh Nov2007 */
ol {
margin-left: 24px;
padding-left: 24px;
}

li {margin-top: 5px; } 

div.centertext {text-align: center}
div.nonebefore {margin-top: 0px}
p.nonebefore {margin-top: 0px}

p.intable {padding-left: 0px; width:auto }
p.indent {margin-left: 80px;}

A.notlink { text-decoration: none;color: black }

dt { font-size: 110%; font-weight:bold; margin-top: 20px; width: 95%} 
dd {margin-left: 60px}

li.index { margin-top: 1px; }
/* li.index { margin-top: 0px; } caused foxit crash */

ul.toc {   list-style-type: none; }
ul.index {   list-style-type: none; }

p.menu { font-weight: bold;  font-style: italic;    }

img { margin-left: 24px; }

li.toc1 { font-size: 1.1em; font-weight: bold;   margin-bottom: 0.0em;}
li.toc2 { font-size: 1.0em; font-weight: normal; margin-bottom: 0.0em;}
li.toc3 { font-size: 0.9em; font-weight: normal; margin-bottom: 0.0em;}
li.toc4 { font-size: 0.7em; font-weight: normal; margin-bottom: 0.0em;}

/*  a { background-color: #E5F3F5;}   */
/*  background-color: #E5F3F5;BusEco Light Blue */
/* was: background-color: #FFFFCC; /* light yellow */

   p, ul, ol { max-width: 47em;}     
   table { max-width: 57em;}     

/* nb, if li was included above, IE could not number lists or show bullets in right place */


 



#header-wrap {
  position: fixed;
font-weight: bold; 
font-size: 10pt;
  top: 0;
  left: 50em;
  width: 10em;
  height: auto;
padding: 10px;
 text-align: left;
   background-color: yellow;   for debug    
}

/*  #container {
  width: 940px;
  margin: 0 auto;
  font-size: 1.4em; 
  overflow: auto;
  padding-top: 90px;
} */