/* 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.scriptsize		{   }
DIV.footnotesize		{   }
DIV.small		{   }
DIV.center		{   }
DIV.navigation		{   }
SPAN.textbf		{ font-weight: bold  }
SPAN.arabic		{   }
SPAN.textit		{ font-style: italic  }
#txt14		{ text-decoration: underline;  }
#txt141		{ text-decoration: underline;  }
#txt143		{ text-decoration: underline;  }
#txt154		{ text-decoration: underline;  }
#txt168		{ text-decoration: underline;  }
#txt17		{ text-decoration: underline;  }
#txt172		{ text-decoration: underline;  }
#txt179		{ text-decoration: underline;  }
#txt18		{ text-decoration: underline;  }
#txt183		{ text-decoration: underline;  }
#txt186		{ text-decoration: underline;  }
#txt187		{ text-decoration: underline;  }
#txt202		{ text-decoration: underline;  }
#txt203		{ text-decoration: underline;  }
#txt204		{ text-decoration: underline;  }
#txt205		{ text-decoration: underline;  }
#txt206		{ text-decoration: underline;  }
#txt207		{ text-decoration: underline;  }
#txt208		{ text-decoration: underline;  }
#txt219		{ text-decoration: underline;  }
#txt220		{ text-decoration: underline;  }
#txt25		{ text-decoration: underline;  }
#txt259		{ text-decoration: underline;  }
#txt260		{ text-decoration: underline;  }
#txt261		{ text-decoration: underline;  }
#txt276		{ text-decoration: underline;  }
#txt279		{ text-decoration: underline;  }
#txt293		{ text-decoration: underline;  }
#txt294		{ text-decoration: underline;  }
#txt295		{ text-decoration: underline;  }
#txt296		{ text-decoration: underline;  }
#txt316		{ text-decoration: underline;  }
#txt317		{ text-decoration: underline;  }
#txt318		{ text-decoration: underline;  }
#txt371		{ text-decoration: underline;  }
#txt38		{ text-decoration: underline;  }
#txt383		{ text-decoration: underline;  }
#txt39		{ text-decoration: underline;  }
#txt391		{ text-decoration: underline;  }
#txt392		{ text-decoration: underline;  }
#txt40		{ text-decoration: underline;  }
#txt419		{ text-decoration: underline;  }
#txt433		{ text-decoration: underline;  }
#txt434		{ text-decoration: underline;  }
#txt435		{ text-decoration: underline;  }
#txt443		{ text-decoration: underline;  }
#txt66		{ text-decoration: underline;  }
#txt67		{ text-decoration: underline;  }
#txt69		{ text-decoration: underline;  }
#txt86		{ text-decoration: underline;  }