/* 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		{   }
DIV.scriptsize		{   }
DIV.footnotesize		{   }
DIV.small		{   }
DIV.Huge		{   }
PRE.preform		{   }
SPAN.textit		{ font-style: italic  }
SPAN.arabic		{   }
SPAN.textbf		{ font-weight: bold  }
SPAN.roman		{   }
#txt106		{ text-decoration: underline;  }
#txt1094		{ text-decoration: underline;  }
#txt1097		{ text-decoration: underline;  }
#txt1098		{ text-decoration: underline;  }
#txt1099		{ text-decoration: underline;  }
#txt1100		{ text-decoration: underline;  }
#txt1101		{ text-decoration: underline;  }
#txt1102		{ text-decoration: underline;  }
#txt1103		{ text-decoration: underline;  }
#txt1106		{ text-decoration: underline;  }
#txt1107		{ text-decoration: underline;  }
#txt1108		{ text-decoration: underline;  }
#txt1111		{ text-decoration: underline;  }
#txt1112		{ text-decoration: underline;  }
#txt1113		{ text-decoration: underline;  }
#txt1114		{ text-decoration: underline;  }
#txt1119		{ text-decoration: underline;  }
#txt113		{ text-decoration: underline;  }
#txt1134		{ text-decoration: underline;  }
#txt1135		{ text-decoration: underline;  }
#txt114		{ text-decoration: underline;  }
#txt115		{ text-decoration: underline;  }
#txt116		{ text-decoration: underline;  }
#txt1166		{ text-decoration: underline;  }
#txt1167		{ text-decoration: underline;  }
#txt1168		{ text-decoration: underline;  }
#txt1169		{ text-decoration: underline;  }
#txt1170		{ text-decoration: underline;  }
#txt1171		{ text-decoration: underline;  }
#txt122		{ text-decoration: underline;  }
#txt123		{ text-decoration: underline;  }
#txt124		{ text-decoration: underline;  }
#txt125		{ text-decoration: underline;  }
#txt131		{ text-decoration: underline;  }
#txt132		{ text-decoration: underline;  }
#txt135		{ text-decoration: underline;  }
#txt136		{ text-decoration: underline;  }
#txt140		{ text-decoration: underline;  }
#txt142		{ text-decoration: underline;  }
#txt146		{ text-decoration: underline;  }
#txt147		{ text-decoration: underline;  }
#txt158		{ text-decoration: underline;  }
#txt160		{ text-decoration: underline;  }
#txt161		{ text-decoration: underline;  }
#txt1663		{ text-decoration: underline;  }
#txt1664		{ text-decoration: underline;  }
#txt1667		{ text-decoration: underline;  }
#txt1668		{ text-decoration: underline;  }
#txt1727		{ text-decoration: underline;  }
#txt1746		{ text-decoration: underline;  }
#txt1751		{ text-decoration: underline;  }
#txt1788		{ text-decoration: underline;  }
#txt1789		{ text-decoration: underline;  }
#txt1790		{ text-decoration: underline;  }
#txt1814		{ text-decoration: underline;  }
#txt1815		{ text-decoration: underline;  }
#txt1816		{ text-decoration: underline;  }
#txt1817		{ text-decoration: underline;  }
#txt1818		{ text-decoration: underline;  }
#txt1830		{ text-decoration: underline;  }
#txt184		{ text-decoration: underline;  }
#txt1858		{ text-decoration: underline;  }
#txt187		{ text-decoration: underline;  }
#txt192		{ text-decoration: underline;  }
#txt193		{ text-decoration: underline;  }
#txt205		{ text-decoration: underline;  }
#txt206		{ text-decoration: underline;  }
#txt207		{ text-decoration: underline;  }
#txt208		{ text-decoration: underline;  }
#txt209		{ text-decoration: underline;  }
#txt224		{ text-decoration: underline;  }
#txt225		{ text-decoration: underline;  }
#txt227		{ text-decoration: underline;  }
#txt228		{ text-decoration: underline;  }
#txt240		{ text-decoration: underline;  }
#txt241		{ text-decoration: underline;  }
#txt253		{ text-decoration: underline;  }
#txt256		{ text-decoration: underline;  }
#txt257		{ text-decoration: underline;  }
#txt2609		{ text-decoration: underline;  }
#txt261		{ text-decoration: underline;  }
#txt2613		{ text-decoration: underline;  }
#txt2644		{ text-decoration: underline;  }
#txt2669		{ text-decoration: underline;  }
#txt2670		{ text-decoration: underline;  }
#txt2671		{ text-decoration: underline;  }
#txt2672		{ text-decoration: underline;  }
#txt273		{ text-decoration: underline;  }
#txt2805		{ text-decoration: underline;  }
#txt2809		{ text-decoration: underline;  }
#txt2810		{ text-decoration: underline;  }
#txt2811		{ text-decoration: underline;  }
#txt2830		{ text-decoration: underline;  }
#txt310		{ text-decoration: underline;  }
#txt311		{ text-decoration: underline;  }
#txt314		{ text-decoration: underline;  }
#txt315		{ text-decoration: underline;  }
#txt316		{ text-decoration: underline;  }
#txt325		{ text-decoration: underline;  }
#txt3275		{ text-decoration: underline;  }
#txt338		{ text-decoration: underline;  }
#txt339		{ text-decoration: underline;  }
#txt349		{ text-decoration: underline;  }
#txt373		{ text-decoration: underline;  }
#txt374		{ text-decoration: underline;  }
#txt394		{ text-decoration: underline;  }
#txt398		{ text-decoration: underline;  }
#txt4147		{ text-decoration: underline;  }
#txt415		{ text-decoration: underline;  }
#txt4151		{ text-decoration: underline;  }
#txt416		{ text-decoration: underline;  }
#txt4163		{ text-decoration: underline;  }
#txt4164		{ text-decoration: underline;  }
#txt417		{ text-decoration: underline;  }
#txt4205		{ text-decoration: underline;  }
#txt422		{ text-decoration: underline;  }
#txt428		{ text-decoration: underline;  }
#txt429		{ text-decoration: underline;  }
#txt430		{ text-decoration: underline;  }
#txt431		{ text-decoration: underline;  }
#txt437		{ text-decoration: underline;  }
#txt438		{ text-decoration: underline;  }
#txt4397		{ text-decoration: underline;  }
#txt4398		{ text-decoration: underline;  }
#txt4399		{ text-decoration: underline;  }
#txt4400		{ text-decoration: underline;  }
#txt4403		{ text-decoration: underline;  }
#txt4404		{ text-decoration: underline;  }
#txt4405		{ text-decoration: underline;  }
#txt4517		{ text-decoration: underline;  }
#txt4523		{ text-decoration: underline;  }
#txt4562		{ text-decoration: underline;  }
#txt4566		{ text-decoration: underline;  }
#txt467		{ text-decoration: underline;  }
#txt471		{ text-decoration: underline;  }
#txt472		{ text-decoration: underline;  }
#txt473		{ text-decoration: underline;  }
#txt5280		{ text-decoration: underline;  }
#txt5322		{ text-decoration: underline;  }
#txt5323		{ text-decoration: underline;  }
#txt5324		{ text-decoration: underline;  }
#txt5327		{ text-decoration: underline;  }
#txt5328		{ text-decoration: underline;  }
#txt5343		{ text-decoration: underline;  }
#txt539		{ text-decoration: underline;  }
#txt5463		{ text-decoration: underline;  }
#txt5536		{ text-decoration: underline;  }
#txt6232		{ text-decoration: underline;  }
#txt6233		{ text-decoration: underline;  }
#txt6235		{ text-decoration: underline;  }
#txt6267		{ text-decoration: underline;  }
#txt6712		{ text-decoration: underline;  }
#txt75		{ text-decoration: underline;  }
#txt7576		{ text-decoration: underline;  }
#txt76		{ text-decoration: underline;  }
#txt77		{ text-decoration: underline;  }
#txt818		{ text-decoration: underline;  }
#txt819		{ text-decoration: underline;  }
#txt8191		{ text-decoration: underline;  }
#txt8192		{ text-decoration: underline;  }
#txt8193		{ text-decoration: underline;  }
#txt8194		{ text-decoration: underline;  }
#txt821		{ text-decoration: underline;  }
#txt8214		{ text-decoration: underline;  }
#txt822		{ text-decoration: underline;  }
#txt823		{ text-decoration: underline;  }
#txt824		{ text-decoration: underline;  }
#txt8244		{ text-decoration: underline;  }
#txt8245		{ text-decoration: underline;  }
#txt8246		{ text-decoration: underline;  }
#txt8298		{ text-decoration: underline;  }
#txt8299		{ text-decoration: underline;  }
#txt8307		{ text-decoration: underline;  }
#txt831		{ text-decoration: underline;  }
#txt832		{ text-decoration: underline;  }
#txt8324		{ text-decoration: underline;  }
#txt8327		{ text-decoration: underline;  }
#txt8328		{ text-decoration: underline;  }
#txt833		{ text-decoration: underline;  }
#txt8356		{ text-decoration: underline;  }
#txt844		{ text-decoration: underline;  }
#txt845		{ text-decoration: underline;  }
#txt846		{ text-decoration: underline;  }
#txt8478		{ text-decoration: underline;  }
#txt8479		{ text-decoration: underline;  }
#txt8480		{ text-decoration: underline;  }
#txt8494		{ text-decoration: underline;  }
#txt8495		{ text-decoration: underline;  }
#txt8516		{ text-decoration: underline;  }
#txt8543		{ text-decoration: underline;  }
#txt8544		{ text-decoration: underline;  }
#txt856		{ text-decoration: underline;  }
#txt8583		{ text-decoration: underline;  }
#txt8585		{ text-decoration: underline;  }
#txt8586		{ text-decoration: underline;  }
#txt8587		{ text-decoration: underline;  }
#txt8597		{ text-decoration: underline;  }
#txt8599		{ text-decoration: underline;  }
#txt8600		{ text-decoration: underline;  }
#txt899		{ text-decoration: underline;  }
#txt900		{ text-decoration: underline;  }
#txt906		{ text-decoration: underline;  }
#txt923		{ text-decoration: underline;  }
#txt924		{ text-decoration: underline;  }
#txt9289		{ text-decoration: underline;  }
#txt9297		{ text-decoration: underline;  }
#txt940		{ text-decoration: underline;  }
#txt9402		{ text-decoration: underline;  }
#txt9403		{ text-decoration: underline;  }
#txt941		{ text-decoration: underline;  }
#txt942		{ text-decoration: underline;  }
#txt943		{ text-decoration: underline;  }
#txt944		{ text-decoration: underline;  }
#txt9498		{ text-decoration: underline;  }
#txt9499		{ text-decoration: underline;  }