BODY	{Background-repeat:no-repeat;
	 bgcolor= "#CCCCFF ";
	 text= "#0000FF ";
	 link= "#000000 ";
	 vlink= "#FF0000 ";
	 alink= "#808080 " }
   H1 {color: red}
   tt {font-size: 16pt}