/* 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 */
PRE.preform		{   }
DIV.footnotesize		{   }
DIV.center		{   }
DIV.navigation		{   }
SPAN.textbf		{ font-weight: bold  }
SPAN.arabic		{   }
SPAN.textit		{ font-style: italic  }
#txt110		{ text-decoration: underline;  }
#txt122		{ text-decoration: underline;  }
#txt123		{ text-decoration: underline;  }
#txt138		{ text-decoration: underline;  }
#txt141		{ text-decoration: underline;  }
#txt144		{ text-decoration: underline;  }
#txt145		{ text-decoration: underline;  }
#txt147		{ text-decoration: underline;  }
#txt163		{ text-decoration: underline;  }
#txt164		{ text-decoration: underline;  }
#txt166		{ text-decoration: underline;  }
#txt167		{ text-decoration: underline;  }
#txt168		{ text-decoration: underline;  }
#txt179		{ text-decoration: underline;  }
#txt180		{ text-decoration: underline;  }
#txt181		{ text-decoration: underline;  }
#txt183		{ text-decoration: underline;  }
#txt185		{ text-decoration: underline;  }
#txt193		{ text-decoration: underline;  }
#txt194		{ text-decoration: underline;  }
#txt218		{ text-decoration: underline;  }
#txt220		{ text-decoration: underline;  }
#txt221		{ text-decoration: underline;  }
#txt222		{ text-decoration: underline;  }
#txt228		{ text-decoration: underline;  }
#txt229		{ text-decoration: underline;  }
#txt230		{ text-decoration: underline;  }
#txt232		{ text-decoration: underline;  }
#txt233		{ text-decoration: underline;  }
#txt236		{ text-decoration: underline;  }
#txt237		{ text-decoration: underline;  }
#txt238		{ text-decoration: underline;  }
#txt255		{ text-decoration: underline;  }
#txt256		{ text-decoration: underline;  }
#txt257		{ text-decoration: underline;  }
#txt258		{ text-decoration: underline;  }
#txt259		{ text-decoration: underline;  }
#txt263		{ text-decoration: underline;  }
#txt264		{ text-decoration: underline;  }
#txt266		{ text-decoration: underline;  }
#txt267		{ text-decoration: underline;  }
#txt272		{ text-decoration: underline;  }
#txt287		{ text-decoration: underline;  }
#txt289		{ text-decoration: underline;  }
#txt290		{ text-decoration: underline;  }
#txt346		{ text-decoration: underline;  }
#txt347		{ text-decoration: underline;  }
#txt348		{ text-decoration: underline;  }
#txt368		{ text-decoration: underline;  }
#txt369		{ text-decoration: underline;  }
#txt373		{ text-decoration: underline;  }
#txt375		{ text-decoration: underline;  }
#txt378		{ text-decoration: underline;  }
#txt386		{ text-decoration: underline;  }
#txt387		{ text-decoration: underline;  }
#txt390		{ text-decoration: underline;  }
#txt73		{ text-decoration: underline;  }
#txt80		{ text-decoration: underline;  }
#txt83		{ text-decoration: underline;  }
#txt84		{ text-decoration: underline;  }
#txt87		{ text-decoration: underline;  }
#txt89		{ text-decoration: underline;  }
#txt90		{ text-decoration: underline;  }