/* 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.quote		{   }
SPAN.textit		{ font-style: italic  }
SPAN.arabic		{   }
SPAN.textbf		{ font-weight: bold  }
#txt1001		{ text-decoration: underline;  }
#txt1002		{ text-decoration: underline;  }
#txt1003		{ text-decoration: underline;  }
#txt1004		{ text-decoration: underline;  }
#txt1009		{ text-decoration: underline;  }
#txt1010		{ text-decoration: underline;  }
#txt1013		{ text-decoration: underline;  }
#txt1014		{ text-decoration: underline;  }
#txt1015		{ text-decoration: underline;  }
#txt1018		{ text-decoration: underline;  }
#txt1019		{ text-decoration: underline;  }
#txt1021		{ text-decoration: underline;  }
#txt1022		{ text-decoration: underline;  }
#txt1023		{ text-decoration: underline;  }
#txt1026		{ text-decoration: underline;  }
#txt1027		{ text-decoration: underline;  }
#txt1031		{ text-decoration: underline;  }
#txt1032		{ text-decoration: underline;  }
#txt1035		{ text-decoration: underline;  }
#txt1038		{ text-decoration: underline;  }
#txt1039		{ text-decoration: underline;  }
#txt1040		{ text-decoration: underline;  }
#txt1045		{ text-decoration: underline;  }
#txt1046		{ text-decoration: underline;  }
#txt1047		{ text-decoration: underline;  }
#txt1048		{ text-decoration: underline;  }
#txt1049		{ text-decoration: underline;  }
#txt1057		{ text-decoration: underline;  }
#txt1058		{ text-decoration: underline;  }
#txt1059		{ text-decoration: underline;  }
#txt1060		{ text-decoration: underline;  }
#txt1065		{ text-decoration: underline;  }
#txt1066		{ text-decoration: underline;  }
#txt1067		{ text-decoration: underline;  }
#txt1068		{ text-decoration: underline;  }
#txt1069		{ text-decoration: underline;  }
#txt1070		{ text-decoration: underline;  }
#txt1071		{ text-decoration: underline;  }
#txt1234		{ text-decoration: underline;  }
#txt1235		{ text-decoration: underline;  }
#txt1291		{ text-decoration: underline;  }
#txt1292		{ text-decoration: underline;  }
#txt1293		{ text-decoration: underline;  }
#txt1298		{ text-decoration: underline;  }
#txt1299		{ text-decoration: underline;  }
#txt1895		{ text-decoration: underline;  }
#txt1900		{ text-decoration: underline;  }
#txt1903		{ text-decoration: underline;  }
#txt1908		{ text-decoration: underline;  }
#txt1913		{ text-decoration: underline;  }
#txt1924		{ text-decoration: underline;  }
#txt1929		{ text-decoration: underline;  }
#txt1935		{ text-decoration: underline;  }
#txt1942		{ text-decoration: underline;  }
#txt1947		{ text-decoration: underline;  }
#txt1953		{ text-decoration: underline;  }
#txt1962		{ text-decoration: underline;  }
#txt1967		{ text-decoration: underline;  }
#txt2773		{ text-decoration: underline;  }
#txt2794		{ text-decoration: underline;  }
#txt2807		{ text-decoration: underline;  }
#txt2961		{ text-decoration: underline;  }
#txt892		{ text-decoration: underline;  }
#txt893		{ text-decoration: underline;  }
#txt895		{ text-decoration: underline;  }
#txt896		{ text-decoration: underline;  }
#txt897		{ text-decoration: underline;  }
#txt900		{ text-decoration: underline;  }
#txt901		{ text-decoration: underline;  }
#txt902		{ text-decoration: underline;  }
#txt903		{ text-decoration: underline;  }
#txt904		{ text-decoration: underline;  }
#txt907		{ text-decoration: underline;  }
#txt908		{ text-decoration: underline;  }
#txt909		{ text-decoration: underline;  }
#txt910		{ text-decoration: underline;  }
#txt911		{ text-decoration: underline;  }
#txt914		{ text-decoration: underline;  }
#txt915		{ text-decoration: underline;  }
#txt916		{ text-decoration: underline;  }
#txt917		{ text-decoration: underline;  }
#txt918		{ text-decoration: underline;  }
#txt923		{ text-decoration: underline;  }
#txt924		{ text-decoration: underline;  }
#txt926		{ text-decoration: underline;  }
#txt927		{ text-decoration: underline;  }
#txt930		{ text-decoration: underline;  }
#txt931		{ text-decoration: underline;  }
#txt932		{ text-decoration: underline;  }
#txt933		{ text-decoration: underline;  }
#txt936		{ text-decoration: underline;  }
#txt937		{ text-decoration: underline;  }
#txt938		{ text-decoration: underline;  }
#txt939		{ text-decoration: underline;  }
#txt942		{ text-decoration: underline;  }
#txt943		{ text-decoration: underline;  }
#txt945		{ text-decoration: underline;  }
#txt946		{ text-decoration: underline;  }
#txt951		{ text-decoration: underline;  }
#txt952		{ text-decoration: underline;  }
#txt953		{ text-decoration: underline;  }
#txt954		{ text-decoration: underline;  }
#txt957		{ text-decoration: underline;  }
#txt958		{ text-decoration: underline;  }
#txt960		{ text-decoration: underline;  }
#txt961		{ text-decoration: underline;  }
#txt962		{ text-decoration: underline;  }
#txt965		{ text-decoration: underline;  }
#txt966		{ text-decoration: underline;  }
#txt970		{ text-decoration: underline;  }
#txt971		{ text-decoration: underline;  }
#txt972		{ text-decoration: underline;  }
#txt977		{ text-decoration: underline;  }
#txt978		{ text-decoration: underline;  }
#txt980		{ text-decoration: underline;  }
#txt981		{ text-decoration: underline;  }
#txt982		{ text-decoration: underline;  }
#txt985		{ text-decoration: underline;  }
#txt987		{ text-decoration: underline;  }
#txt991		{ text-decoration: underline;  }
#txt992		{ text-decoration: underline;  }
#txt995		{ text-decoration: underline;  }
#txt996		{ text-decoration: underline;  }
#txt997		{ text-decoration: underline;  }
#txt998		{ text-decoration: underline;  }