TD.sidemenu{
	background: #00b;
	color: white;
}

DIV.sidetitle{
	background: #006;
	color: white;
	text-align: center;
	font-weight: 700;
	padding: 0.3em 0 0.3em 0;
}

DIV.sidemenu{
	font-size:0.8em;
}

TD.sidemenu A{
	color: white;
}

TD.sidemenu A:link{
	text-decoration: none;
}

TD.sidemenu A:visited{
	text-decoration: none;
}

TD.sidemenu A:hover{
	text-decoration: underline;
}

A.footer{
	color: white;
}

A.footer:link{
	text-decoration: none;
}

A.footer:visited{
	text-decoration: none;
}

A.footer:hover{
	text-decoration: underline;
}
body{
  color:black;
  background:#E0E0E0;
}

h1{
  color:$000080; width: 20.0em;
  font-family: helvetica;
  font-size: 14pt;
  background:#80FF40;
}

h2 { background-color: #E0CACA;
  border-color: #C04000; width: 100%;
  border-style: solid;
  border-left: none;
  border-right: none;
  border-top-width: 0.0em;
  border-bottom-width: 0.1em;
  padding: 0.1em;
  font: bold 1.2em; 
 }

hx2{
  color: black;
  font-family: helvetica;
  font-size: 18pt; 
  font-wieght: bold;
  background:#70BAFF;
  width:100%;
  padding-top:0.2em;
  padding-bottom:0.2em;
  border:#4040C0;
}
h3{
  color:white; width: 2.2em;
  font-family: helvetica;
  font-size: 13pt;
  background:#007000;
}

h4{
  color:white; width: 3.6em;
  font-family: helvetica;
  font-size: 13pt;
  background:#007000;
}

h5{
  color:white; width: 18.6em;
  font-family: helvetica;
  font-size: 13pt;
  background:#00A000;
}

big{
  background:#CCCC30;
  font: bold 1.1em; 
}

tttable{ 
  background:#DDDDDD;
  border:2;
}
em.red{
  color:red;
  background-image:none;
  background-color:transparent;
  font-weight: normal;
  font-style: normal;
}
p.box { float: right; width: 9em; background-color: #FFADAD;
  padding: 0.5em; margin: 0 0 0.5em 0.5em;
  border: 1px solid #000000;
  padding-top: 0.0em; padding-bottom: 0.0em; font-size: 90%; 
  font: bold; 
  }

strong.toi { 
 color:white; width: 2.2em;
  font-family: helvetica;
  font-size: 13pt;
  background:#00A000; }

strong.title { 
 color:white; width: 18.6em;
  font-family: helvetica;
  font-size: 13pt;
  background:#00A000; }

strong.toiPM { 
 color:white; width: 10.6em;
  font-family: helvetica;
  font-size: 13pt;
  background:#00A000; }

strong.ANS { 
 color:white; 
  font-family: helvetica;
  font-size: 13pt;
  background:#9D7060; }

strong.ty {  background-color: #E0CACA;
  border-color: #C04000; 
  border-style: dashed;
  border-left: none;
  border-right: none;
  border-top-width: 0.0em;
  border-bottom-width: 0.1em;
  padding: 0.1em;
  font: bold 1.1em; 
 }
strong.BG {  background-color: #FFC0C0;
  color:#0040FF;
  font: bold;
 }
#tx{ 
  color: #000080;
  font-weight: bold;
  margin-left: 5pt;
  font-size: 11pt;
}
pre.prog{color: black;
 background-color: #CCFFFF; /* aqua; */
  width: 80%;
  font-weight: bold;
  margin-left: 5pt;
  font-size: 12pt;
  padding: 5pt;
}
pre.progn{color: black;
/* background-color: #CCFFFF;  aqua; */
  width: 80%;
  font-weight: bold;
  margin-left: 5pt;
  font-size: 12pt;
  padding: 5pt;
}

.src_show {
  border: 0px solid silver;
}

/* IE FIX */
.src_show {
  overflow-x: auto;
  overflow-y: hidden;
  padding-bottom: expression(this.scrollWidth > this.offsetWidth ? 15 : 0);
}

/* potential overrides for other styles */
.src_show pre {
 margin-top: 1px;
 margin-bottom: 1px;
 margin-left: 2pt;
 line-height: 20px !important;
}

.src_show td.code {
 background-color: #CCFFFF; /* aqua; */
 font-weight: bold;
 margin-left: 2pt;
 font-size: 12pt;
}
.src_show td.line_numbers {
 margin-top: 1px;
 margin-bottom: 1px;
 margin-left: 8pt;
 line-height: 20px !important;
 background-color: #def !important;
 color: #408070 !important;
 text-align: right !important;
 margin-left: 0pt;
 font-weight: bold;
 font-size: 16px !important;
}