p.code, code, pre, p.pre { background-color: #ececf1; }


a:hover { background-color: #ceced8; }

body
{
  font-family: Verdana, Arial, sans-serif;
  background: #e7edf7; 
  color: black; 
  font-size: 8pt;
  margin: 5 px;
  text-align: center;
}

ul, ol
{
	color: #014FBE;
}

ul li
{
	padding: 0em;
	list-style-position: outside;
	list-style-type: square;
}

span.li
{
  color: black;
}  

blockquote
{
margin: 1em 2.5em 1em 2.5em;
font-style: italic;
text-align: left;
}

h1, h2, h3, h4
{
  padding: 0em;
  margin: 1em 0em .25em 0em;
  text-align: left;
  font-weight: bold;
  font-family: Verdana, Arial, Helvetica, sans-serif;
}


h1 { font-size: 180%; }
h2 { font-size: 160%; }
h3 { font-size: 130%; }
h4 { font-size: 100%; }

table { font-size: 100%; }   

table.banner
{
  width: 600px;
  border-style: solid;
  border-width: 1px;  
}

table.info
{
  width: 600px;
  border-style: solid;
  border-width: 1px;   
  background-color: white;
  border-color: gray;
} 

thead.header
{                   
  font-weight: bold; 
  border-color: gray;
  border-style: solid;
  border-width: 1px;   
}                 

div.header
{                 
  font-weight: bold; 
  border-color: gray;
  border-style: solid;
  border-width: 1px;
  border-bottom: none;
  background-image: url(html/images/headerback.png);
  background-repeat: repeat-x;
  padding: 3px;
}
                                 
td.separator
{                       
  border-width: 1px;
  border-style: dashed;  
  border-color: silver;
  border-left: none;
  border-right: none;   
}

.gallery
{
  border-style: solid;
  border-width: 1px;
  border-color: gray;
}               

.hint
{       
  font-size: smaller;
  border-style: solid;
  border-width: 1px;
  border-color: gray;
  background-color: #ffffe0;
  padding-left: 5px;
  padding-right: 5px;
}               
  
.td.header
{
  border-style: solid;
  border-width: 1px;
  border-color: gray;
  background-color: #f0f8ff;
  background-image: url(html/images/headerback.png);
}
