a:link    {text-decoration: none; font-weight: bold; color: rgb(0,0,0)}
a:visited {text-decoration: none; font-weight: bold; color: rgb(0,0,0)}
a:active  {text-decoration: none; color: rgb(0,0,0)}
a:hover   {text-decoration: none; color: rgb(156,0,15)}

a.tooltip:hover
{
	text-decoration: none; 
	color: rgb(156,0,15);
	background: rgb(0,0,0);
}

a.tooltip span 
	{	display:none; 
		padding:2px 3px; 
		margin-left:8px; 
		width:30pt;
		font-size:8pt;
		line-height: 10pt;
	        font-family: verdana, helvetica, fixed, sans-serif;

}

a.tooltip:hover span
	{	display: inline; 
		position: absolute; 
		text-align: left;
		background: rgb(253,255,255); 
		border: 1px solid #cccccc; 
		color: rgb(156,16,15);
		font-size: 8pt;
		line-height: 8pt;
	        font-family: verdana, helvetica, fixed, sans-serif;
}




body {
  font-family: fixed, monospace;
  position: absolute;
  color: #E1EEF9;
  background-color: #000000; 
}


body.test
      { background-color: rgb(253,255,255);
        color: #E1EEF9;
        font-family: verdana, helvetica, sans-serif;
        font-size: 10pt;
        margin-left: 20%;
        margin-right: 20%;
	text-align: justify;
	line-height: 17pt 
}
	
p.test
      { background-color: rgb(253,255,255);
        text-align: left;
        color: rgb(0,0,0);
        font-size: 10pt;
        line-height: 17pt }

h1, h2, h3
      { font-family: verdana, helvetica, sans-serif; 
        font-weight: normal;
        color: rgb(0,0,0); 
        text-align: left;
				line-height: 17pt
} 
.high
{ 
	background-color: #E1EEF9;
	color: #FFFFFF;
}

font.fun
{
	color: #E1EEF9;
	font-size: 10pt;
}

table.test
      { background-color: rgb(253,255,255);
        text-align: left;
        color: rgb(0,0,0);
        font-size: 10pt;
        line-height: 10pt; }

table{
  border-collapse: collapse;
  color: rgb(0,0,0);
  table-layout: fixed;
  padding: 0;
  border: 0;
  margin: 0;
}


td.wait{
color: #0000ff;
background-color: #0000ff;
}

div.sequence{
        font-family: verdana, helvetica,fixed, sans-serif;
        font-size: 10pt;
	background-color: rgb(64,64,64) ; 
}

.style2 {color: #1D429B}
.style3 {font-size: 9pt}
.style5 {color: #FF0000}
.style6 {
	font-size: 12px;
	font-style: italic;
}