<STYLE type="text/css">
  HTML {  margin-right: "10%"; margin-left: "7%" }
  BODY { 
         background: #FFFFFF;
         font-family: serif;
	 font-size: large;
       }
  H1, H2, H3 {font-family: Verdana, Helvetica, sans-serif;}
  H1{font-size: 10;}
  H2 { color: orange; text-decoration: underline; font-size: 8;}
  SUP {font-size: x-small; color: #666666;}
  DIV.endnote P {text-indent: -1em; color: #333333;}
  .link {text-decoration: underline;}

  H2.ssection { color: red; }
  H2.stitle { color: red; }
  H2.sexamples { color: green;}
  H2 { color: red; }
  PRE.sexample { color: blue; }

  I.sgenerated { font-size: small; color: green;}

  B.sarg { color: red; }
</STYLE>
