/* 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		{   }
SPAN.textbf		{ font-weight: bold  }
SPAN.arabic		{   }
SPAN.textit		{ font-style: italic  }
#txt122		{ text-decoration: underline;  }
#txt123		{ text-decoration: underline;  }
#txt124		{ text-decoration: underline;  }
#txt125		{ text-decoration: underline;  }
#txt126		{ text-decoration: underline;  }
#txt127		{ text-decoration: underline;  }
#txt128		{ text-decoration: underline;  }
#txt138		{ text-decoration: underline;  }
#txt139		{ text-decoration: underline;  }
#txt143		{ text-decoration: underline;  }
#txt15		{ text-decoration: underline;  }
#txt153		{ text-decoration: underline;  }
#txt156		{ text-decoration: underline;  }
#txt157		{ text-decoration: underline;  }
#txt158		{ text-decoration: underline;  }
#txt16		{ text-decoration: underline;  }
#txt160		{ text-decoration: underline;  }
#txt166		{ text-decoration: underline;  }
#txt167		{ text-decoration: underline;  }
#txt168		{ text-decoration: underline;  }
#txt17		{ text-decoration: underline;  }
#txt176		{ text-decoration: underline;  }
#txt178		{ text-decoration: underline;  }
#txt179		{ text-decoration: underline;  }
#txt18		{ text-decoration: underline;  }
#txt183		{ text-decoration: underline;  }
#txt184		{ text-decoration: underline;  }
#txt186		{ text-decoration: underline;  }
#txt187		{ text-decoration: underline;  }
#txt188		{ text-decoration: underline;  }
#txt195		{ text-decoration: underline;  }
#txt199		{ text-decoration: underline;  }
#txt200		{ text-decoration: underline;  }
#txt201		{ text-decoration: underline;  }
#txt204		{ text-decoration: underline;  }
#txt205		{ text-decoration: underline;  }
#txt206		{ text-decoration: underline;  }
#txt207		{ text-decoration: underline;  }
#txt208		{ text-decoration: underline;  }
#txt212		{ text-decoration: underline;  }
#txt213		{ text-decoration: underline;  }
#txt219		{ text-decoration: underline;  }
#txt22		{ text-decoration: underline;  }
#txt220		{ text-decoration: underline;  }
#txt23		{ text-decoration: underline;  }
#txt241		{ text-decoration: underline;  }
#txt25		{ text-decoration: underline;  }
#txt26		{ text-decoration: underline;  }
#txt265		{ text-decoration: underline;  }
#txt266		{ text-decoration: underline;  }
#txt267		{ text-decoration: underline;  }
#txt268		{ text-decoration: underline;  }
#txt27		{ text-decoration: underline;  }
#txt273		{ text-decoration: underline;  }
#txt274		{ text-decoration: underline;  }
#txt289		{ text-decoration: underline;  }
#txt290		{ text-decoration: underline;  }
#txt291		{ text-decoration: underline;  }
#txt292		{ text-decoration: underline;  }
#txt293		{ text-decoration: underline;  }
#txt294		{ text-decoration: underline;  }
#txt295		{ text-decoration: underline;  }
#txt308		{ text-decoration: underline;  }
#txt31		{ text-decoration: underline;  }
#txt328		{ text-decoration: underline;  }
#txt33		{ text-decoration: underline;  }
#txt331		{ text-decoration: underline;  }
#txt332		{ text-decoration: underline;  }
#txt333		{ text-decoration: underline;  }
#txt334		{ text-decoration: underline;  }
#txt336		{ text-decoration: underline;  }
#txt337		{ text-decoration: underline;  }
#txt341		{ text-decoration: underline;  }
#txt342		{ text-decoration: underline;  }
#txt343		{ text-decoration: underline;  }
#txt344		{ text-decoration: underline;  }
#txt345		{ text-decoration: underline;  }
#txt349		{ text-decoration: underline;  }
#txt35		{ text-decoration: underline;  }
#txt350		{ text-decoration: underline;  }
#txt351		{ text-decoration: underline;  }
#txt352		{ text-decoration: underline;  }
#txt353		{ text-decoration: underline;  }
#txt375		{ text-decoration: underline;  }
#txt385		{ text-decoration: underline;  }
#txt386		{ text-decoration: underline;  }
#txt40		{ text-decoration: underline;  }
#txt400		{ text-decoration: underline;  }
#txt403		{ text-decoration: underline;  }
#txt41		{ text-decoration: underline;  }
#txt420		{ text-decoration: underline;  }
#txt43		{ text-decoration: underline;  }
#txt44		{ text-decoration: underline;  }
#txt440		{ text-decoration: underline;  }
#txt441		{ text-decoration: underline;  }
#txt45		{ text-decoration: underline;  }
#txt46		{ text-decoration: underline;  }
#txt465		{ text-decoration: underline;  }
#txt466		{ text-decoration: underline;  }
#txt472		{ text-decoration: underline;  }
#txt473		{ text-decoration: underline;  }
#txt474		{ text-decoration: underline;  }
#txt490		{ text-decoration: underline;  }
#txt493		{ text-decoration: underline;  }
#txt494		{ text-decoration: underline;  }
#txt496		{ text-decoration: underline;  }
#txt497		{ text-decoration: underline;  }
#txt498		{ text-decoration: underline;  }
#txt501		{ text-decoration: underline;  }
#txt527		{ text-decoration: underline;  }
#txt529		{ text-decoration: underline;  }
#txt530		{ text-decoration: underline;  }
#txt531		{ text-decoration: underline;  }
#txt61		{ text-decoration: underline;  }
#txt62		{ text-decoration: underline;  }
#txt73		{ text-decoration: underline;  }