body {
	 font-family : Verdana, sans-serif;
	 background : white; 
} 

p {
   font-family : Verdana, sans-serif;
   font-size : 10pt;
   margin : 15px;
}    

h1 {
   font-family : Verdana, sans-serif; 
   background : #bb0000; 
   color : white; 
   font-size : 16pt; 
   padding : 5px;
} 

h2 {
   font-family : Verdana, sans-serif; 
   text-align : center; 
   font-size : 14pt; 
} 

h3 {
   font-family : Verdana, sans-serif;
   text-align : left;
   font-size : 10pt;
   font-weight : bold;
   margin-left : 15px;
}   

td {
   font-family : Verdana, sans-serif; 
   font-size : 10pt;
   padding : 5px; 
} 

ul {
   font-family : Verdana, sans-serif;
   font-size : 10pt;
} 

a.navcell {
		  background : #339933; 
		  color : white; 
		  font-weight : bold; 
		  font-family : Verdana, sans-serif; 
		  font-size : 10pt; 
		  text-decoration : none; 
} 

a.navcell:link , a.navcell:visited {
			   background : #339933; 
			   color : white; 
} 

a.navcell:hover {
				background : #bb0000; 
} 

.action {
		font-weight : bold;
} 

.subaction {
        font-weight : normal;
}
.label {
	   color : #bb0000; 
} 

.expression {
			background : #ffff00; 
			color : black; 
			font-weight : bold; 
} 

.tool {
     color : #bb0000;    
}

.comment {
		 font-style : italic; 
} 

.function {
		  font-style : oblique;
}		  

.entry_label {
			 font-style : oblique;
}

.entry_value {
			 font-style : oblique;
}			 			 