/* 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.quote		{   }
TABLE.align*		{  }
SPAN.sl		{   }
DIV.center		{   }
TABLE.align		{  }
DIV.navigation		{   }
TABLE.equation		{  }
SPAN.sc		{   }
SPAN.arabic		{   }
#txt1094		{ text-decoration: underline;  }
#txt1256		{ text-decoration: underline;  }
#txt1435		{ text-decoration: underline;  }
#txt1451		{ text-decoration: underline;  }
#txt1572		{ text-decoration: underline;  }
#txt161		{ text-decoration: underline;  }
#txt1689		{ text-decoration: underline;  }
#txt1729		{ text-decoration: underline;  }
#txt1828		{ text-decoration: underline;  }
#txt191		{ text-decoration: underline;  }
#txt1946		{ text-decoration: underline;  }
#txt1955		{ text-decoration: underline;  }
#txt197		{ text-decoration: underline;  }
#txt209		{ text-decoration: underline;  }
#txt217		{ text-decoration: underline;  }
#txt223		{ text-decoration: underline;  }
#txt24448		{ text-decoration: underline;  }
#txt24450		{ text-decoration: underline;  }
#txt24527		{ text-decoration: underline;  }
#txt24528		{ text-decoration: underline;  }
#txt24596		{ text-decoration: underline;  }
#txt24597		{ text-decoration: underline;  }
#txt24598		{ text-decoration: underline;  }
#txt24662		{ text-decoration: underline;  }
#txt249		{ text-decoration: underline;  }
#txt25294		{ text-decoration: underline;  }
#txt25296		{ text-decoration: underline;  }
#txt25304		{ text-decoration: underline;  }
#txt25307		{ text-decoration: underline;  }
#txt25312		{ text-decoration: underline;  }
#txt25314		{ text-decoration: underline;  }
#txt2546		{ text-decoration: underline;  }
#txt25494		{ text-decoration: underline;  }
#txt25498		{ text-decoration: underline;  }
#txt25501		{ text-decoration: underline;  }
#txt25749		{ text-decoration: underline;  }
#txt2575		{ text-decoration: underline;  }
#txt2603		{ text-decoration: underline;  }
#txt2628		{ text-decoration: underline;  }
#txt2665		{ text-decoration: underline;  }
#txt2688		{ text-decoration: underline;  }
#txt2699		{ text-decoration: underline;  }
#txt2747		{ text-decoration: underline;  }
#txt27506		{ text-decoration: underline;  }
#txt2767		{ text-decoration: underline;  }
#txt2772		{ text-decoration: underline;  }
#txt2778		{ text-decoration: underline;  }
#txt2779		{ text-decoration: underline;  }
#txt27890		{ text-decoration: underline;  }
#txt27910		{ text-decoration: underline;  }
#txt2830		{ text-decoration: underline;  }
#txt2833		{ text-decoration: underline;  }
#txt2845		{ text-decoration: underline;  }
#txt2848		{ text-decoration: underline;  }
#txt2852		{ text-decoration: underline;  }
#txt293		{ text-decoration: underline;  }
#txt3035		{ text-decoration: underline;  }
#txt3136		{ text-decoration: underline;  }
#txt3193		{ text-decoration: underline;  }
#txt3228		{ text-decoration: underline;  }
#txt3229		{ text-decoration: underline;  }
#txt3343		{ text-decoration: underline;  }
#txt348		{ text-decoration: underline;  }
#txt401		{ text-decoration: underline;  }
#txt430		{ text-decoration: underline;  }
#txt444		{ text-decoration: underline;  }
#txt509		{ text-decoration: underline;  }
#txt516		{ text-decoration: underline;  }
#txt534		{ text-decoration: underline;  }
#txt540		{ text-decoration: underline;  }
#txt557		{ text-decoration: underline;  }
#txt5658		{ text-decoration: underline;  }
#txt5659		{ text-decoration: underline;  }
#txt5660		{ text-decoration: underline;  }
#txt5661		{ text-decoration: underline;  }
#txt5662		{ text-decoration: underline;  }
#txt5663		{ text-decoration: underline;  }
#txt622		{ text-decoration: underline;  }
#txt658		{ text-decoration: underline;  }
#txt669		{ text-decoration: underline;  }
#txt679		{ text-decoration: underline;  }
#txt690		{ text-decoration: underline;  }
#txt735		{ text-decoration: underline;  }
#txt753		{ text-decoration: underline;  }
#txt771		{ text-decoration: underline;  }
#txt817		{ text-decoration: underline;  }
#txt845		{ text-decoration: underline;  }
#txt859		{ text-decoration: underline;  }