/* 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 */
TABLE.align*		{  }
DIV.center		{   }
TABLE.equation		{  }
SPAN.itshape		{   }
DIV.navigation		{   }
PRE.preform		{   }
DIV.quote		{   }
TABLE.subequations		{  }
SPAN.upshape		{   }
SPAN.arabic		{   }
SPAN.textbf		{ font-weight: bold  }
#hue109		{ color: #0000ff;  }
#hue140		{ color: #ffa500;  }
#hue162		{ color: #0000ff;  }
#hue297		{ color: #0000ff;  }
#hue313		{ color: #0000ff;  }
#hue315		{ color: #0000ff;  }
#hue331		{ color: #0000ff;  }
#hue345		{ color: #ffa500;  }
#hue405		{ color: #ff0000;  }
#hue443		{ color: #0000ff;  }
#hue446		{ color: #0000ff;  }
#hue447		{ color: #0000ff;  }
#hue448		{ color: #0000ff;  }
#hue449		{ color: #0000ff;  }
#hue451		{ color: #0000ff;  }
#hue452		{ color: #0000ff;  }
#hue453		{ color: #0000ff;  }
#hue454		{ color: #0000ff;  }
#hue455		{ color: #0000ff;  }
#hue456		{ color: #0000ff;  }
#hue457		{ color: #0000ff;  }
#hue458		{ color: #0000ff;  }
#hue459		{ color: #0000ff;  }
#hue460		{ color: #0000ff;  }
#hue461		{ color: #0000ff;  }
#hue462		{ color: #0000ff;  }
#hue463		{ color: #0000ff;  }
#hue464		{ color: #0000ff;  }
#hue465		{ color: #0000ff;  }
#hue466		{ color: #0000ff;  }
#hue467		{ color: #0000ff;  }
#hue468		{ color: #0000ff;  }
#hue481		{ color: #0000ff;  }
#txt471		{ text-decoration: underline;  }
#txt80		{ text-decoration: underline;  }