/* 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.navigation		{   }
SPAN.textit		{ font-style: italic  }
SPAN.arabic		{   }
SPAN.textbf		{ font-weight: bold  }
SPAN.textsf		{ font-style: italic  }
#hue102		{ color: #000000;  }
#hue104		{ color: #0000ff;  }
#hue142		{ color: #000000;  }
#hue156		{ color: #000000;  }
#hue160		{ color: #000000;  }
#hue162		{ color: #000000;  }
#hue166		{ color: #000000;  }
#hue168		{ color: #000000;  }
#hue172		{ color: #000000;  }
#hue174		{ color: #000000;  }
#hue178		{ color: #000000;  }
#hue231		{ color: #ff0000;  }
#hue25		{ color: #0000ff;  }
#hue28		{ color: #000000;  }
#hue286		{ color: #ff0000;  }
#hue301		{ color: #000000;  }
#hue305		{ color: #000000;  }
#hue316		{ color: #000000;  }
#hue318		{ color: #ff0000;  }
#hue319		{ color: #ff0000;  }
#hue320		{ color: #ff0000;  }
#hue322		{ color: #000000;  }
#hue323		{ color: #000000;  }
#hue324		{ color: #000000;  }
#hue327		{ color: #ff0000;  }
#hue331		{ color: #ff0000;  }
#hue333		{ color: #000000;  }
#hue334		{ color: #000000;  }
#hue335		{ color: #000000;  }
#hue342		{ color: #ff0000;  }
#hue344		{ color: #ff0000;  }
#hue345		{ color: #ff0000;  }
#hue36		{ color: #000000;  }
#hue38		{ color: #000000;  }
#hue40		{ color: #000000;  }
#hue52		{ color: #000000;  }
#hue56		{ color: #000000;  }
#hue60		{ color: #000000;  }
#hue65		{ color: #0000ff;  }
#hue67		{ color: #000000;  }
#hue71		{ color: #000000;  }
#hue75		{ color: #000000;  }
#hue79		{ color: #000000;  }
