/* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
.MATH    { font-family: "Century Schoolbook", serif; }
.MATH I  { font-family: "Century Schoolbook", serif; font-style: italic }
.BOLDMATH { font-family: "Century Schoolbook", serif; font-weight: bold }

/* implement both fixed-size and relative sizes */
SMALL.XTINY		{ font-size : xx-small }
SMALL.TINY		{ font-size : x-small  }
SMALL.SCRIPTSIZE	{ font-size : smaller  }
SMALL.FOOTNOTESIZE	{ font-size : small    }
SMALL.SMALL		{  }
BIG.LARGE		{  }
BIG.XLARGE		{ font-size : large    }
BIG.XXLARGE		{ font-size : x-large  }
BIG.HUGE		{ font-size : larger   }
BIG.XHUGE		{ font-size : xx-large }

/* heading styles */
H1		{  }
H2		{  }
H3		{  }
H4		{  }
H5		{  }

/* mathematics styles */
DIV.displaymath		{ }	/* math displays */
TD.eqno			{ }	/* equation-number cells */


/* document-specific styles come next */
DIV.Large		{   }
DIV.em		{   }
DIV.navigation		{   }
SPAN.bf		{   }
SPAN.sc		{   }
SPAN.textbf		{ font-weight: bold  }
SPAN.textsf		{ font-style: italic  }
SPAN.arabic		{   }
SPAN.textit		{ font-style: italic  }
#hue10079		{ color: #009900;  }
#hue10132		{ color: #009900;  }
#hue10207		{ color: #009900;  }
#hue10336		{ color: #009900;  }
#hue1048		{ color: #009900;  }
#hue105		{ color: #ff0000;  }
#hue1091		{ color: #009900;  }
#hue10919		{ color: #009900;  }
#hue11188		{ color: #009900;  }
#hue11336		{ color: #009900;  }
#hue11395		{ color: #009900;  }
#hue11418		{ color: #009900;  }
#hue11469		{ color: #009900;  }
#hue11622		{ color: #009900;  }
#hue12107		{ color: #009900;  }
#hue12229		{ color: #009900;  }
#hue12255		{ color: #009900;  }
#hue12294		{ color: #009900;  }
#hue12333		{ color: #009900;  }
#hue12483		{ color: #009900;  }
#hue12871		{ color: #009900;  }
#hue12885		{ color: #009900;  }
#hue12911		{ color: #009900;  }
#hue12920		{ color: #009900;  }
#hue12932		{ color: #009900;  }
#hue12972		{ color: #009900;  }
#hue13004		{ color: #009900;  }
#hue13033		{ color: #009900;  }
#hue13094		{ color: #009900;  }
#hue13108		{ color: #009900;  }
#hue13154		{ color: #009900;  }
#hue13326		{ color: #009900;  }
#hue13597		{ color: #009900;  }
#hue138		{ color: #009900;  }
#hue13825		{ color: #009900;  }
#hue13871		{ color: #009900;  }
#hue13939		{ color: #009900;  }
#hue14082		{ color: #009900;  }
#hue14102		{ color: #009900;  }
#hue1423		{ color: #009900;  }
#hue14516		{ color: #009900;  }
#hue15211		{ color: #009900;  }
#hue15374		{ color: #009900;  }
#hue15411		{ color: #009900;  }
#hue15444		{ color: #009900;  }
#hue15542		{ color: #009900;  }
#hue15882		{ color: #009900;  }
#hue16026		{ color: #009900;  }
#hue16107		{ color: #009900;  }
#hue16130		{ color: #009900;  }
#hue16178		{ color: #009900;  }
#hue16330		{ color: #009900;  }
#hue16522		{ color: #009900;  }
#hue17029		{ color: #009900;  }
#hue17372		{ color: #009900;  }
#hue17661		{ color: #009900;  }
#hue17761		{ color: #009900;  }
#hue17816		{ color: #009900;  }
#hue17904		{ color: #009900;  }
#hue17938		{ color: #009900;  }
#hue18467		{ color: #009900;  }
#hue19370		{ color: #009900;  }
#hue19450		{ color: #009900;  }
#hue19469		{ color: #009900;  }
#hue19482		{ color: #009900;  }
#hue19508		{ color: #009900;  }
#hue19538		{ color: #009900;  }
#hue19592		{ color: #009900;  }
#hue19902		{ color: #009900;  }
#hue19913		{ color: #009900;  }
#hue19933		{ color: #009900;  }
#hue19953		{ color: #009900;  }
#hue20071		{ color: #009900;  }
#hue20082		{ color: #009900;  }
#hue20133		{ color: #009900;  }
#hue20163		{ color: #009900;  }
#hue20210		{ color: #009900;  }
#hue20235		{ color: #009900;  }
#hue20254		{ color: #009900;  }
#hue20270		{ color: #009900;  }
#hue20279		{ color: #009900;  }
#hue20287		{ color: #009900;  }
#hue20295		{ color: #009900;  }
#hue20306		{ color: #009900;  }
#hue20313		{ color: #009900;  }
#hue20335		{ color: #009900;  }
#hue20367		{ color: #009900;  }
#hue20598		{ color: #009900;  }
#hue20781		{ color: #009900;  }
#hue20803		{ color: #009900;  }
#hue20824		{ color: #009900;  }
#hue20854		{ color: #009900;  }
#hue20887		{ color: #009900;  }
#hue20893		{ color: #009900;  }
#hue20908		{ color: #009900;  }
#hue20923		{ color: #009900;  }
#hue20933		{ color: #009900;  }
#hue20949		{ color: #009900;  }
#hue21001		{ color: #009900;  }
#hue21034		{ color: #009900;  }
#hue21050		{ color: #009900;  }
#hue21104		{ color: #009900;  }
#hue21110		{ color: #009900;  }
#hue21118		{ color: #009900;  }
#hue21134		{ color: #ff0000;  }
#hue2171		{ color: #009900;  }
#hue21804		{ color: #ff0000;  }
#hue23324		{ color: #ff0000;  }
#hue23726		{ color: #ff0000;  }
#hue24155		{ color: #ff0000;  }
#hue24650		{ color: #ff0000;  }
#hue24945		{ color: #ff0000;  }
#hue25199		{ color: #ff0000;  }
#hue25223		{ color: #ff0000;  }
#hue25339		{ color: #ff0000;  }
#hue25917		{ color: #ff0000;  }
#hue26147		{ color: #ff0000;  }
#hue26529		{ color: #ff0000;  }
#hue27169		{ color: #ff0000;  }
#hue27355		{ color: #ff0000;  }
#hue27367		{ color: #ff0000;  }
#hue27417		{ color: #ff0000;  }
#hue27450		{ color: #ff0000;  }
#hue27475		{ color: #ff0000;  }
#hue27487		{ color: #ff0000;  }
#hue27631		{ color: #ff0000;  }
#hue27634		{ color: #ff0000;  }
#hue27639		{ color: #ff0000;  }
#hue27678		{ color: #ff0000;  }
#hue27723		{ color: #ff0000;  }
#hue27726		{ color: #ff0000;  }
#hue27729		{ color: #ff0000;  }
#hue3107		{ color: #009900;  }
#hue381		{ color: #009900;  }
#hue3812		{ color: #009900;  }
#hue4003		{ color: #009900;  }
#hue4231		{ color: #009900;  }
#hue4420		{ color: #009900;  }
#hue4597		{ color: #009900;  }
#hue5585		{ color: #009900;  }
#hue600		{ color: #009900;  }
#hue6810		{ color: #009900;  }
#hue682		{ color: #009900;  }
#hue7010		{ color: #009900;  }
#hue7247		{ color: #009900;  }
#hue7284		{ color: #009900;  }
#hue7330		{ color: #009900;  }
#hue7386		{ color: #009900;  }
#hue7420		{ color: #009900;  }
#hue7731		{ color: #009900;  }
#hue80		{ color: #009900;  }
#hue8013		{ color: #009900;  }
#hue8241		{ color: #009900;  }
#hue8391		{ color: #009900;  }
#hue8419		{ color: #009900;  }
#hue8555		{ color: #009900;  }
#hue8596		{ color: #009900;  }
#hue867		{ color: #009900;  }
#hue8692		{ color: #009900;  }
#hue88		{ color: #ff0000;  }
#hue8885		{ color: #009900;  }
#hue89		{ color: #ff0000;  }
#hue9241		{ color: #009900;  }
#hue9684		{ color: #009900;  }
#hue9872		{ color: #009900;  }
#hue9990		{ color: #009900;  }