* {
	      font-family:sans-serif;
	      font-size: large;
	     }
           H1 {
	     text-align: center;
	     font-size: xx-large;
	     font-weight:bold;
	     }
	   H2 {
	     font-weight:bold;
	     font-size: x-large;
	     }
	   H3 {
	     font-weight:bold;
	     font-style:italic;
	     font-size: large;
	     }
	   H3.CENTER {
	     font-weight:bold;
	     font-style:italic;
	     font-size: large;
	     text-align: center;
	     }
	   html, body {
	     background: #ffffff;
	     color: #000;
	   }
	   a:link {
	         font-weight: bold;
	         color: #037;
		 }
	 a:visited {
            color: #636;
           }
	   span.math
	   { font-family: serif;
	   }
	   span.mathdisp
	   { font-family: serif;
	     font-size: xx-large;
	   }
	   span.mathdispit
	   { font-style: italic;
	     font-size: xx-large;
	     font-family: serif;
	   }
	   span.progname
	   {
	    font-weight:bold;
	    font-family:sans-serif;
	    font-size:larger;
	   }