/* 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-shape: 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.rightline		{   }
DIV.LaTeX		{   }
DIV.logo-LaTeX		{   }
SPAN.sc		{   }
DIV.flushright		{   }
DIV.logo-Xy-pic		{   }
DIV.navigation		{   }
DIV.logo-TeX		{   }
SPAN.bfseries		{   }
DIV.centerline		{   }
DIV.center		{   }
DIV.flushleft		{   }
DIV.LaTeX2e		{   }
DIV.logo-LaTeX2e		{   }
DIV.Large		{   }
DIV.LARGE		{   }
DIV.large		{   }
SPAN.textsf		{ font-style: italic  }
SPAN.arabic		{   }
SPAN.textit		{ font-style: italic  }
SPAN.textbf		{ font-weight: bold  }
#hue1047		{ color: #6666cc;  }
#hue1135		{ color: #000033;  }
#hue120		{ color: #000033;  }
#hue1533		{ color: #996633;  }
#hue1549		{ color: #996633;  }
#hue1557		{ color: #996633;  }
#hue1572		{ color: #996633;  }
#hue1573		{ color: #996633;  }
#hue1574		{ color: #996633;  }
#hue1575		{ color: #996633;  }
#hue1576		{ color: #6666cc;  }
#hue1578		{ color: #6666cc;  }
#hue158		{ color: #000033;  }
#hue1581		{ color: #6666cc;  }
#hue1585		{ color: #996633;  }
#hue1586		{ color: #996633;  }
#hue1587		{ color: #996633;  }
#hue1589		{ color: #6666cc;  }
#hue1591		{ color: #6666cc;  }
#hue1594		{ color: #6666cc;  }
#hue1596		{ color: #996633;  }
#hue1598		{ color: #996633;  }
#hue1599		{ color: #996633;  }
#hue160		{ color: #000033;  }
#hue1600		{ color: #996633;  }
#hue1601		{ color: #996633;  }
#hue1602		{ color: #6666cc;  }
#hue1604		{ color: #6666cc;  }
#hue1605		{ color: #6666cc;  }
#hue1606		{ color: #6666cc;  }
#hue1608		{ color: #996633;  }
#hue1609		{ color: #996633;  }
#hue161		{ color: #996633;  }
#hue1610		{ color: #996633;  }
#hue1612		{ color: #6666cc;  }
#hue1613		{ color: #996633;  }
#hue1614		{ color: #6666cc;  }
#hue1616		{ color: #6666cc;  }
#hue1617		{ color: #996633;  }
#hue162		{ color: #996633;  }
#hue1620		{ color: #996633;  }
#hue1621		{ color: #6666cc;  }
#hue1622		{ color: #6666cc;  }
#hue1629		{ color: #996633;  }
#hue163		{ color: #996633;  }
#hue1631		{ color: #996633;  }
#hue1633		{ color: #996633;  }
#hue1639		{ color: #6666cc;  }
#hue164		{ color: #000033;  }
#hue1640		{ color: #6666cc;  }
#hue1641		{ color: #6666cc;  }
#hue1642		{ color: #6666cc;  }
#hue1645		{ color: #996633;  }
#hue1651		{ color: #6666cc;  }
#hue1653		{ color: #6666cc;  }
#hue1654		{ color: #6666cc;  }
#hue1655		{ color: #6666cc;  }
#hue1661		{ color: #6666cc;  }
#hue1664		{ color: #6666cc;  }
#hue1667		{ color: #6666cc;  }
#hue1669		{ color: #6666cc;  }
#hue1670		{ color: #6666cc;  }
#hue1673		{ color: #996633;  }
#hue1728		{ color: #996633;  }
#hue1752		{ color: #996633;  }
#hue178		{ color: #996633;  }
#hue1780		{ color: #000033;  }
#hue1789		{ color: #996633;  }
#hue1795		{ color: #996633;  }
#hue1804		{ color: #996633;  }
#hue1813		{ color: #000033;  }
#hue1814		{ color: #000033;  }
#hue1815		{ color: #000033;  }
#hue1816		{ color: #000033;  }
#hue1817		{ color: #000033;  }
#hue1830		{ color: #000033;  }
#hue1838		{ color: #000033;  }
#hue1846		{ color: #000033;  }
#hue1854		{ color: #000033;  }
#hue1867		{ color: #000033;  }
#hue1876		{ color: #000033;  }
#hue1884		{ color: #000033;  }
#hue1892		{ color: #000033;  }
#hue1900		{ color: #000033;  }
#hue1910		{ color: #000033;  }
#hue1925		{ color: #000033;  }
#hue1935		{ color: #000033;  }
#hue1943		{ color: #000033;  }
#hue1951		{ color: #000033;  }
#hue1963		{ color: #000033;  }
#hue1980		{ color: #000033;  }
#hue1995		{ color: #000033;  }
#hue2003		{ color: #000033;  }
#hue2011		{ color: #000033;  }
#hue2021		{ color: #000033;  }
#hue2029		{ color: #000033;  }
#hue2037		{ color: #000033;  }
#hue2050		{ color: #000033;  }
#hue2063		{ color: #000033;  }
#hue2071		{ color: #000033;  }
#hue2079		{ color: #000033;  }
#par3737		{   }
#par3738		{   }
#par3739		{   }
#txt502		{ text-decoration: underline;  }
#txt599		{ text-decoration: underline;  }
#txt638		{ text-decoration: underline;  }