font.FIG 	{ font-size: 10pt; color: gray }
A:VISITED 	{ color : #354844 }
A:ACTIVE  	{ color : #808080 }
A 		{ color : #2000B0 }
BODY 		{ Background-color : #B0D0F0;
       		  color : black }
H1		{ color : black }
H2		{ color : black }
H3		{ color : black }
H4		{ color : black }

font.DEFAULT1  	{ color: black }
font.VARIABLE	{ color: black }
font.ERROR	{ color: red }
font.VARDEF	{ color: blue }
font.FUNDEF	{ color: red }
font.FUNCAL	{ color: blue }
font.FUNPAR	{ }
font.NATFUN	{ color: #A01070 }
font.TABDEF	{ color: green }
font.COMMENT	{ color: gray }
font.NUMBER 	{ color: magenta }
font.FLOAT	{ color: magenta }
font.TEXT	{ color: magenta }
font.SOURCECODE	{ color : black }
font.OUTPUT	{ color : brown }
TD.SOURCE 	{ background-color : white }
TD.HEADER	{ background-color : navy; 
		  color : white;
		  font-weight : bold; }
