/* 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.Large		{   }
DIV.navigation		{   }
DIV.center		{   }
#txt100		{ text-decoration: underline;  }
#txt102		{ text-decoration: underline;  }
#txt105		{ text-decoration: underline;  }
#txt107		{ text-decoration: underline;  }
#txt109		{ text-decoration: underline;  }
#txt111		{ text-decoration: underline;  }
#txt113		{ text-decoration: underline;  }
#txt115		{ text-decoration: underline;  }
#txt118		{ text-decoration: underline;  }
#txt119		{ text-decoration: underline;  }
#txt120		{ text-decoration: underline;  }
#txt121		{ text-decoration: underline;  }
#txt122		{ text-decoration: underline;  }
#txt123		{ text-decoration: underline;  }
#txt128		{ text-decoration: underline;  }
#txt129		{ text-decoration: underline;  }
#txt136		{ text-decoration: underline;  }
#txt137		{ text-decoration: underline;  }
#txt139		{ text-decoration: underline;  }
#txt140		{ text-decoration: underline;  }
#txt141		{ text-decoration: underline;  }
#txt142		{ text-decoration: underline;  }
#txt143		{ text-decoration: underline;  }
#txt144		{ text-decoration: underline;  }
#txt148		{ text-decoration: underline;  }
#txt149		{ text-decoration: underline;  }
#txt151		{ text-decoration: underline;  }
#txt152		{ text-decoration: underline;  }
#txt153		{ text-decoration: underline;  }
#txt155		{ text-decoration: underline;  }
#txt156		{ text-decoration: underline;  }
#txt159		{ text-decoration: underline;  }
#txt16		{ text-decoration: underline;  }
#txt160		{ text-decoration: underline;  }
#txt161		{ text-decoration: underline;  }
#txt162		{ text-decoration: underline;  }
#txt163		{ text-decoration: underline;  }
#txt165		{ text-decoration: underline;  }
#txt169		{ text-decoration: underline;  }
#txt170		{ text-decoration: underline;  }
#txt174		{ text-decoration: underline;  }
#txt175		{ text-decoration: underline;  }
#txt179		{ text-decoration: underline;  }
#txt183		{ text-decoration: underline;  }
#txt189		{ text-decoration: underline;  }
#txt190		{ text-decoration: underline;  }
#txt191		{ text-decoration: underline;  }
#txt194		{ text-decoration: underline;  }
#txt197		{ text-decoration: underline;  }
#txt20		{ text-decoration: underline;  }
#txt200		{ text-decoration: underline;  }
#txt201		{ text-decoration: underline;  }
#txt204		{ text-decoration: underline;  }
#txt212		{ text-decoration: underline;  }
#txt215		{ text-decoration: underline;  }
#txt216		{ text-decoration: underline;  }
#txt22		{ text-decoration: underline;  }
#txt220		{ text-decoration: underline;  }
#txt229		{ text-decoration: underline;  }
#txt23		{ text-decoration: underline;  }
#txt230		{ text-decoration: underline;  }
#txt231		{ text-decoration: underline;  }
#txt233		{ text-decoration: underline;  }
#txt236		{ text-decoration: underline;  }
#txt238		{ text-decoration: underline;  }
#txt24		{ text-decoration: underline;  }
#txt240		{ text-decoration: underline;  }
#txt244		{ text-decoration: underline;  }
#txt246		{ text-decoration: underline;  }
#txt25		{ text-decoration: underline;  }
#txt251		{ text-decoration: underline;  }
#txt257		{ text-decoration: underline;  }
#txt259		{ text-decoration: underline;  }
#txt260		{ text-decoration: underline;  }
#txt262		{ text-decoration: underline;  }
#txt263		{ text-decoration: underline;  }
#txt269		{ text-decoration: underline;  }
#txt270		{ text-decoration: underline;  }
#txt273		{ text-decoration: underline;  }
#txt274		{ text-decoration: underline;  }
#txt276		{ text-decoration: underline;  }
#txt277		{ text-decoration: underline;  }
#txt282		{ text-decoration: underline;  }
#txt287		{ text-decoration: underline;  }
#txt29		{ text-decoration: underline;  }
#txt291		{ text-decoration: underline;  }
#txt298		{ text-decoration: underline;  }
#txt30		{ text-decoration: underline;  }
#txt301		{ text-decoration: underline;  }
#txt302		{ text-decoration: underline;  }
#txt303		{ text-decoration: underline;  }
#txt304		{ text-decoration: underline;  }
#txt305		{ text-decoration: underline;  }
#txt306		{ text-decoration: underline;  }
#txt307		{ text-decoration: underline;  }
#txt308		{ text-decoration: underline;  }
#txt312		{ text-decoration: underline;  }
#txt313		{ text-decoration: underline;  }
#txt314		{ text-decoration: underline;  }
#txt316		{ text-decoration: underline;  }
#txt317		{ text-decoration: underline;  }
#txt318		{ text-decoration: underline;  }
#txt319		{ text-decoration: underline;  }
#txt323		{ text-decoration: underline;  }
#txt326		{ text-decoration: underline;  }
#txt327		{ text-decoration: underline;  }
#txt328		{ text-decoration: underline;  }
#txt329		{ text-decoration: underline;  }
#txt33		{ text-decoration: underline;  }
#txt330		{ text-decoration: underline;  }
#txt331		{ text-decoration: underline;  }
#txt36		{ text-decoration: underline;  }
#txt38		{ text-decoration: underline;  }
#txt39		{ text-decoration: underline;  }
#txt41		{ text-decoration: underline;  }
#txt43		{ text-decoration: underline;  }
#txt47		{ text-decoration: underline;  }
#txt49		{ text-decoration: underline;  }
#txt50		{ text-decoration: underline;  }
#txt52		{ text-decoration: underline;  }
#txt54		{ text-decoration: underline;  }
#txt55		{ text-decoration: underline;  }
#txt57		{ text-decoration: underline;  }
#txt59		{ text-decoration: underline;  }
#txt63		{ text-decoration: underline;  }
#txt65		{ text-decoration: underline;  }
#txt68		{ text-decoration: underline;  }
#txt71		{ text-decoration: underline;  }
#txt74		{ text-decoration: underline;  }
#txt76		{ text-decoration: underline;  }
#txt78		{ text-decoration: underline;  }
#txt80		{ text-decoration: underline;  }
#txt82		{ text-decoration: underline;  }
#txt84		{ text-decoration: underline;  }
#txt88		{ text-decoration: underline;  }
#txt89		{ text-decoration: underline;  }
#txt91		{ text-decoration: underline;  }
#txt93		{ text-decoration: underline;  }
#txt94		{ text-decoration: underline;  }
#txt96		{ text-decoration: underline;  }
#txt97		{ text-decoration: underline;  }