/* 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		{   }
DIV.center		{   }
SPAN.it		{   }
SPAN.arabic		{   }
#txt237		{ text-decoration: underline;  }
#txt254		{ text-decoration: underline;  }
#txt365		{ text-decoration: underline;  }
#txt478		{ text-decoration: underline;  }
#txt5099		{ text-decoration: underline;  }
#txt5102		{ text-decoration: underline;  }
#txt5103		{ text-decoration: underline;  }
#txt5104		{ text-decoration: underline;  }
#txt5105		{ text-decoration: underline;  }
#txt5106		{ text-decoration: underline;  }
#txt5145		{ text-decoration: underline;  }
#txt5256		{ text-decoration: underline;  }
#txt5257		{ text-decoration: underline;  }
#txt5298		{ text-decoration: underline;  }
#txt5322		{ text-decoration: underline;  }
#txt5380		{ text-decoration: underline;  }
#txt5383		{ text-decoration: underline;  }
#txt5385		{ text-decoration: underline;  }
#txt5414		{ text-decoration: underline;  }
#txt5415		{ text-decoration: underline;  }
#txt5424		{ text-decoration: underline;  }
#txt5432		{ text-decoration: underline;  }
#txt5438		{ text-decoration: underline;  }
#txt5444		{ text-decoration: underline;  }
#txt5469		{ text-decoration: underline;  }
#txt5493		{ text-decoration: underline;  }
#txt5503		{ text-decoration: underline;  }
#txt5528		{ text-decoration: underline;  }
#txt5529		{ text-decoration: underline;  }
#txt5552		{ text-decoration: underline;  }
#txt5573		{ text-decoration: underline;  }
#txt5574		{ text-decoration: underline;  }
#txt5575		{ text-decoration: underline;  }
#txt5578		{ text-decoration: underline;  }
#txt5579		{ text-decoration: underline;  }
#txt5582		{ text-decoration: underline;  }
#txt5584		{ text-decoration: underline;  }
#txt5585		{ text-decoration: underline;  }
#txt5586		{ text-decoration: underline;  }
#txt5587		{ text-decoration: underline;  }
#txt5588		{ text-decoration: underline;  }
#txt5589		{ text-decoration: underline;  }
#txt5590		{ text-decoration: underline;  }
#txt5591		{ text-decoration: underline;  }
#txt5592		{ text-decoration: underline;  }
#txt5593		{ text-decoration: underline;  }
#txt5594		{ text-decoration: underline;  }
#txt5616		{ text-decoration: underline;  }
#txt5620		{ text-decoration: underline;  }
#txt5626		{ text-decoration: underline;  }
#txt581		{ text-decoration: underline;  }
#txt6439		{ text-decoration: underline;  }
#txt6450		{ text-decoration: underline;  }
#txt6461		{ text-decoration: underline;  }
#txt6462		{ text-decoration: underline;  }
#txt6479		{ text-decoration: underline;  }
#txt6483		{ text-decoration: underline;  }
#txt6493		{ text-decoration: underline;  }
#txt6523		{ text-decoration: underline;  }
#txt6530		{ text-decoration: underline;  }
#txt6535		{ text-decoration: underline;  }
#txt6567		{ text-decoration: underline;  }
#txt6568		{ text-decoration: underline;  }
#txt6569		{ text-decoration: underline;  }
#txt6570		{ text-decoration: underline;  }
#txt6571		{ text-decoration: underline;  }
#txt6572		{ text-decoration: underline;  }
#txt6573		{ text-decoration: underline;  }
#txt6574		{ text-decoration: underline;  }
#txt6576		{ text-decoration: underline;  }
#txt666		{ text-decoration: underline;  }
#txt6684		{ text-decoration: underline;  }
#txt6712		{ text-decoration: underline;  }
#txt6718		{ text-decoration: underline;  }
#txt6729		{ text-decoration: underline;  }
#txt6804		{ text-decoration: underline;  }
#txt6806		{ text-decoration: underline;  }
#txt6820		{ text-decoration: underline;  }
#txt6857		{ text-decoration: underline;  }
#txt6897		{ text-decoration: underline;  }
#txt6902		{ text-decoration: underline;  }
#txt6971		{ text-decoration: underline;  }
#txt6980		{ text-decoration: underline;  }
#txt7002		{ text-decoration: underline;  }
#txt7019		{ text-decoration: underline;  }
#txt7022		{ text-decoration: underline;  }
#txt7062		{ text-decoration: underline;  }
#txt7155		{ text-decoration: underline;  }
#txt7249		{ text-decoration: underline;  }
#txt7264		{ text-decoration: underline;  }
#txt7272		{ text-decoration: underline;  }
#txt7297		{ text-decoration: underline;  }
#txt7332		{ text-decoration: underline;  }
#txt7360		{ text-decoration: underline;  }
#txt7403		{ text-decoration: underline;  }
#txt7461		{ text-decoration: underline;  }
#txt7467		{ text-decoration: underline;  }
#txt7485		{ text-decoration: underline;  }
#txt7492		{ text-decoration: underline;  }
#txt7509		{ text-decoration: underline;  }
#txt7532		{ text-decoration: underline;  }
#txt7585		{ text-decoration: underline;  }
#txt7658		{ text-decoration: underline;  }
#txt7659		{ text-decoration: underline;  }
#txt7683		{ text-decoration: underline;  }
#txt7725		{ text-decoration: underline;  }
#txt7732		{ text-decoration: underline;  }
#txt7733		{ text-decoration: underline;  }
#txt7734		{ text-decoration: underline;  }
#txt7747		{ text-decoration: underline;  }
#txt7771		{ text-decoration: underline;  }
#txt7796		{ text-decoration: underline;  }
#txt7801		{ text-decoration: underline;  }
#txt7821		{ text-decoration: underline;  }
#txt7826		{ text-decoration: underline;  }
#txt7846		{ text-decoration: underline;  }
#txt7891		{ text-decoration: underline;  }
#txt7892		{ text-decoration: underline;  }
#txt7894		{ text-decoration: underline;  }
#txt7896		{ text-decoration: underline;  }
#txt7907		{ text-decoration: underline;  }
#txt7908		{ text-decoration: underline;  }
#txt7909		{ text-decoration: underline;  }
#txt7910		{ text-decoration: underline;  }
#txt7911		{ text-decoration: underline;  }
#txt7913		{ text-decoration: underline;  }
#txt7914		{ text-decoration: underline;  }
#txt7915		{ text-decoration: underline;  }
#txt7916		{ text-decoration: underline;  }
#txt7929		{ text-decoration: underline;  }
#txt7930		{ text-decoration: underline;  }
#txt7959		{ text-decoration: underline;  }
#txt7961		{ text-decoration: underline;  }
#txt7966		{ text-decoration: underline;  }
#txt7967		{ text-decoration: underline;  }
#txt7973		{ text-decoration: underline;  }
#txt7990		{ text-decoration: underline;  }
#txt7993		{ text-decoration: underline;  }
#txt8072		{ text-decoration: underline;  }
#txt8087		{ text-decoration: underline;  }
#txt900		{ text-decoration: underline;  }