/* 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-shape: 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 */
H2.TOC		{   }
DIV.scriptsize		{   }
TABLE.equation		{  }
DIV.center		{   }
DIV.footnotesize		{   }
SPAN.textit		{ font-style: italic  }
SPAN.arabic		{   }
SPAN.textbf		{ font-weight: bold  }
#hue1013		{ color: #ff0000;  }
#hue1109		{ color: #ff0000;  }
#hue1182		{ color: #ff0000;  }
#hue119		{ color: #ff0000;  }
#hue1220		{ color: #ff0000;  }
#hue1263		{ color: #ff0000;  }
#hue1344		{ color: #ff0000;  }
#hue157		{ color: #ff0000;  }
#hue1713		{ color: #ff0000;  }
#hue1762		{ color: #ff0000;  }
#hue1764		{ color: #ff0000;  }
#hue220		{ color: #000000;  }
#hue222		{ color: #000000;  }
#hue224		{ color: #000000;  }
#hue226		{ color: #000000;  }
#hue228		{ color: #000000;  }
#hue2339		{ color: #ff0000;  }
#hue237		{ color: #000000;  }
#hue239		{ color: #000000;  }
#hue241		{ color: #000000;  }
#hue243		{ color: #000000;  }
#hue247		{ color: #000000;  }
#hue249		{ color: #000000;  }
#hue251		{ color: #000000;  }
#hue253		{ color: #000000;  }
#hue255		{ color: #000000;  }
#hue257		{ color: #000000;  }
#hue259		{ color: #000000;  }
#hue261		{ color: #000000;  }
#hue263		{ color: #000000;  }
#hue265		{ color: #000000;  }
#hue267		{ color: #000000;  }
#hue269		{ color: #000000;  }
#hue271		{ color: #000000;  }
#hue273		{ color: #000000;  }
#hue2737		{ color: #ff0000;  }
#hue275		{ color: #000000;  }
#hue277		{ color: #000000;  }
#hue279		{ color: #000000;  }
#hue281		{ color: #000000;  }
#hue283		{ color: #000000;  }
#hue285		{ color: #000000;  }
#hue287		{ color: #000000;  }
#hue289		{ color: #000000;  }
#hue297		{ color: #000000;  }
#hue299		{ color: #000000;  }
#hue301		{ color: #000000;  }
#hue303		{ color: #000000;  }
#hue305		{ color: #000000;  }
#hue307		{ color: #000000;  }
#hue309		{ color: #000000;  }
#hue311		{ color: #000000;  }
#hue313		{ color: #000000;  }
#hue3149		{ color: #ff0000;  }
#hue315		{ color: #000000;  }
#hue317		{ color: #000000;  }
#hue319		{ color: #000000;  }
#hue323		{ color: #000000;  }
#hue327		{ color: #000000;  }
#hue329		{ color: #000000;  }
#hue3295		{ color: #ff0000;  }
#hue331		{ color: #000000;  }
#hue333		{ color: #000000;  }
#hue335		{ color: #000000;  }
#hue337		{ color: #000000;  }
#hue339		{ color: #000000;  }
#hue3404		{ color: #ff0000;  }
#hue341		{ color: #000000;  }
#hue343		{ color: #000000;  }
#hue345		{ color: #000000;  }
#hue347		{ color: #000000;  }
#hue3487		{ color: #000000;  }
#hue3488		{ color: #000000;  }
#hue349		{ color: #000000;  }
#hue351		{ color: #000000;  }
#hue353		{ color: #000000;  }
#hue355		{ color: #000000;  }
#hue357		{ color: #000000;  }
#hue359		{ color: #000000;  }
#hue3596		{ color: #000000;  }
#hue3597		{ color: #000000;  }
#hue3598		{ color: #000000;  }
#hue3599		{ color: #000000;  }
#hue361		{ color: #000000;  }
#hue363		{ color: #000000;  }
#hue379		{ color: #000000;  }
#hue381		{ color: #000000;  }
#hue383		{ color: #000000;  }
#hue385		{ color: #000000;  }
#hue387		{ color: #000000;  }
#hue389		{ color: #000000;  }
#hue391		{ color: #000000;  }
#hue393		{ color: #000000;  }
#hue395		{ color: #000000;  }
#hue397		{ color: #000000;  }
#hue4009		{ color: #000000;  }
#hue4014		{ color: #000000;  }
#hue437		{ color: #ff0000;  }
#hue439		{ color: #000000;  }
#hue481		{ color: #000000;  }
#hue483		{ color: #000000;  }
#hue712		{ color: #ff0000;  }
#hue743		{ color: #ff0000;  }
#hue774		{ color: #ff0000;  }
#hue825		{ color: #ff0000;  }
#hue841		{ color: #ff0000;  }