/* 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 }
SPAN.MATH { display:inline-block; }	/* don't stretch spaces inside eqn */

DIV.author_info { text-align:center; } /* latex centers author */

.LEFT    { text-align:left; }
.FLOATLEFT    { float:left; }
.CENTER  { text-align:center; }
.CENTER > * { margin:auto; }
.RIGHT   { text-align:right; }
.FLOATRIGHT   { float:right; }
.TOP     { vertical-align:top; }
.MIDDLE  { vertical-align:middle; }
.BOTTOM  { vertical-align:bottom; }

IMG.LEFT    { float:left; }
IMG.RIGHT   { float:right; }
IMG.TOP     { vertical-align:top; }
IMG.BOTTOM  { vertical-align:baseline; }

/* captions for latex tables and figures appear at bottom */
CAPTION { caption-side:bottom; }

DL.COMPACT > dt { float:left; padding-right: 1em; }
BODY { width:95%; max-width:50em; margin:auto; }

/* implement both fixed-size and relative sizes */
.XTINY		{ font-size : xx-small }
.TINY		{ font-size : x-small  }
.SCRIPTSIZE	{ font-size : smaller  }
.FOOTNOTESIZE	{ font-size : small    }
.SMALL		{ font-size : small    }
.LARGE		{ font-size : large }
.XLARGE		{ font-size : large    }
.XXLARGE		{ font-size : x-large  }
.HUGE		{ font-size : larger   }
.XHUGE		{ font-size : xx-large }

/* heading styles */
H1		{  }
H2		{  }
H3		{  }
H4		{  }
H5		{  }

/* mathematics styles */
DIV.displaymath { text-align:center; margin-top:1em; margin-bottom:1em; }
	/* math displays: margins for \abovedisplayskip \belowdisplayskip */
TD.eqno			{ width:0; }	/* equation-number cells */
TABLE.PAD TD	{ padding:3px; }
TABLE.BORDER TD	{ border:1px solid black; }
TABLE.equation	{ width:100%; }	/* place eq nos at right/left edge */
TABLE.equation > *	{ vertical-align:baseline; }
TABLE.equation TD	{ white-space:nowrap; padding-bottom:5px; }
TABLE		{ border-collapse: collapse; }

/* document-specific styles come next */
DIV.LaTeX		{   }
DIV.LaTeX2HTML		{   }
DIV.alltt		{   }
DIV.center		{   }
TABLE.equation		{  }
DIV.flushleft		{   }
DIV.logo-LaTeX		{   }
DIV.logo-LaTeX2HTML		{   }
DIV.navigation		{   }
PRE.preform		{   }
DIV.quote		{   }
SPAN.tt		{   }
SPAN.alph		{   }
SPAN.arabic		{   }
SPAN.textbf		{ font-weight: bold  }
SPAN.textit		{ font-style: italic  }
SPAN.texttt		{ font-family: monospace  }
#hue12815		{ color: #800000;  }
#hue12832		{ color: #800000;  }
#hue12848		{ color: #800000;  }
#hue12858		{ color: #800000;  }
#hue12862		{ color: #800000;  }
#hue12874		{ color: #800000;  }
#hue12878		{ color: #800000;  }
#hue12882		{ color: #800000;  }
#hue12886		{ color: #800000;  }
#hue12890		{ color: #800000;  }
#hue12894		{ color: #800000;  }
#hue12902		{ color: #800000;  }
#hue12907		{ color: #800000;  }
#hue13051		{ color: #800000;  }
#hue13056		{ color: #800000;  }
#hue13063		{ color: #800000;  }
#hue13076		{ color: #800000;  }
#hue13081		{ color: #800000;  }
#hue14207		{ color: #800000;  }
#hue14211		{ color: #800000;  }
#hue14215		{ color: #800000;  }
#hue14222		{ color: #800000;  }
#hue14226		{ color: #800000;  }
#hue14231		{ color: #800000;  }
#hue14235		{ color: #800000;  }
#hue14239		{ color: #800000;  }
#hue14247		{ color: #800000;  }
#hue14251		{ color: #800000;  }
#hue14255		{ color: #800000;  }
#hue14259		{ color: #800000;  }
#hue14264		{ color: #800000;  }
#hue14268		{ color: #800000;  }
#hue14272		{ color: #800000;  }
#hue14277		{ color: #800000;  }
#hue14281		{ color: #800000;  }
#hue14285		{ color: #800000;  }
#hue14290		{ color: #800000;  }
#hue14294		{ color: #800000;  }
#hue14302		{ color: #800000;  }
#hue14306		{ color: #800000;  }
#hue14310		{ color: #800000;  }
#hue14314		{ color: #800000;  }
#hue14318		{ color: #800000;  }
#hue14326		{ color: #800000;  }
#hue14345		{ color: #800000;  }
#hue14349		{ color: #800000;  }
#hue14353		{ color: #800000;  }
#hue14357		{ color: #800000;  }
#hue14361		{ color: #800000;  }
#hue14365		{ color: #800000;  }
#hue14369		{ color: #800000;  }
#hue14373		{ color: #800000;  }
#hue14377		{ color: #800000;  }
#hue14381		{ color: #800000;  }
#hue14385		{ color: #800000;  }
#hue14389		{ color: #800000;  }
#hue14393		{ color: #800000;  }
#hue14399		{ color: #800000;  }
#hue14403		{ color: #800000;  }
#hue14407		{ color: #800000;  }
#hue14411		{ color: #800000;  }
#hue14415		{ color: #800000;  }
#hue14419		{ color: #800000;  }
#hue14423		{ color: #800000;  }
#hue14427		{ color: #800000;  }
#hue14433		{ color: #800000;  }
#hue14599		{ color: #800000;  }
#hue15564		{ color: #800000;  }
#hue15597		{ color: #800000;  }
#hue15603		{ color: #800000;  }
#hue15607		{ color: #800000;  }
#hue15613		{ color: #800000;  }
#hue15617		{ color: #800000;  }
#hue15624		{ color: #800000;  }
#hue15628		{ color: #800000;  }
#hue15634		{ color: #800000;  }
#hue15639		{ color: #800000;  }
#hue15643		{ color: #800000;  }
#hue15647		{ color: #800000;  }
#hue15969		{ color: #800000;  }
#hue15993		{ color: #800000;  }
#hue16011		{ color: #800000;  }
#hue16019		{ color: #800000;  }
#hue16027		{ color: #800000;  }
#hue16031		{ color: #800000;  }
#hue16036		{ color: #800000;  }
#hue16040		{ color: #800000;  }
#hue16044		{ color: #800000;  }
#hue16049		{ color: #800000;  }
#hue16054		{ color: #800000;  }
#hue16058		{ color: #800000;  }
#hue16064		{ color: #800000;  }
#hue16068		{ color: #800000;  }
#hue16072		{ color: #800000;  }
#hue16078		{ color: #800000;  }
#hue16082		{ color: #800000;  }
#hue16086		{ color: #800000;  }
#hue16090		{ color: #800000;  }
#hue16094		{ color: #800000;  }
#hue16098		{ color: #800000;  }
#hue16102		{ color: #800000;  }
#hue16106		{ color: #800000;  }
#hue16110		{ color: #800000;  }
#hue16114		{ color: #800000;  }
#hue16118		{ color: #800000;  }
#hue16122		{ color: #800000;  }
#hue16126		{ color: #800000;  }
#hue16130		{ color: #800000;  }
#hue16141		{ color: #800000;  }
#hue16145		{ color: #800000;  }
#hue16149		{ color: #800000;  }
#hue16156		{ color: #800000;  }
#hue16160		{ color: #800000;  }
#hue16164		{ color: #800000;  }
#hue16168		{ color: #800000;  }
#hue16173		{ color: #800000;  }
#hue16178		{ color: #800000;  }
#hue16183		{ color: #800000;  }
#hue16189		{ color: #800000;  }
#hue16193		{ color: #800000;  }
#hue16197		{ color: #800000;  }
#hue16204		{ color: #800000;  }
#hue16209		{ color: #800000;  }
#hue16215		{ color: #800000;  }
#hue16219		{ color: #800000;  }
#hue16223		{ color: #800000;  }
#hue16261		{ color: #800000;  }
#hue16265		{ color: #800000;  }
#hue16270		{ color: #800000;  }
#hue16274		{ color: #800000;  }
#hue16278		{ color: #800000;  }
#hue16286		{ color: #800000;  }
#hue16291		{ color: #800000;  }
#hue16295		{ color: #800000;  }
#hue16303		{ color: #800000;  }
#hue16308		{ color: #800000;  }
#hue16312		{ color: #800000;  }
#hue17070		{ color: #800000;  }
#hue17098		{ color: #800000;  }
#hue17104		{ color: #800000;  }
#hue17108		{ color: #800000;  }
#hue17140		{ color: #800000;  }
#hue17147		{ color: #800000;  }
#hue17153		{ color: #800000;  }
#hue17157		{ color: #800000;  }
#hue17161		{ color: #800000;  }
#hue17165		{ color: #800000;  }
#hue17169		{ color: #800000;  }
#hue17175		{ color: #800000;  }
#hue17180		{ color: #800000;  }
#hue17192		{ color: #800000;  }
#hue17196		{ color: #800000;  }
#hue17201		{ color: #800000;  }
#hue17205		{ color: #800000;  }
#hue17209		{ color: #800000;  }
#hue17213		{ color: #800000;  }
#hue17217		{ color: #800000;  }
#hue17221		{ color: #800000;  }
#hue17225		{ color: #800000;  }
#hue17229		{ color: #800000;  }
#hue17233		{ color: #800000;  }
#hue17237		{ color: #800000;  }
#hue17241		{ color: #800000;  }
#hue17245		{ color: #800000;  }
#hue17249		{ color: #800000;  }
#hue17253		{ color: #800000;  }
#hue17257		{ color: #800000;  }
#hue17261		{ color: #800000;  }
#hue17265		{ color: #800000;  }
#hue17269		{ color: #800000;  }
#hue17274		{ color: #800000;  }
#hue17278		{ color: #800000;  }
#hue17288		{ color: #800000;  }
#hue17292		{ color: #800000;  }
#hue17298		{ color: #800000;  }
#hue17302		{ color: #800000;  }
#hue17306		{ color: #800000;  }
#hue17310		{ color: #800000;  }
#hue17314		{ color: #800000;  }
#hue17318		{ color: #800000;  }
#hue17322		{ color: #800000;  }
#hue17326		{ color: #800000;  }
#hue17330		{ color: #800000;  }
#hue17334		{ color: #800000;  }
#hue17344		{ color: #800000;  }
#hue17348		{ color: #800000;  }
#hue17354		{ color: #800000;  }
#hue17358		{ color: #800000;  }
#hue17362		{ color: #800000;  }
#hue17368		{ color: #800000;  }
#hue17372		{ color: #800000;  }
#hue17376		{ color: #800000;  }
#hue17380		{ color: #800000;  }
#hue17384		{ color: #800000;  }
#hue17388		{ color: #800000;  }
#hue17392		{ color: #800000;  }
#hue17396		{ color: #800000;  }
#hue17406		{ color: #800000;  }
#hue17410		{ color: #800000;  }
#hue17414		{ color: #800000;  }
#hue17435		{ color: #800000;  }
#hue17439		{ color: #800000;  }
#hue17443		{ color: #800000;  }
#hue17447		{ color: #800000;  }
#hue17451		{ color: #800000;  }
#hue17455		{ color: #800000;  }
#hue17459		{ color: #800000;  }
#hue17470		{ color: #800000;  }
#hue17476		{ color: #800000;  }
#hue17482		{ color: #800000;  }
#hue17488		{ color: #800000;  }
#hue17494		{ color: #800000;  }
#hue17500		{ color: #800000;  }
#hue17506		{ color: #800000;  }
#hue17514		{ color: #800000;  }
#hue17520		{ color: #800000;  }
#hue17526		{ color: #800000;  }
#hue17550		{ color: #800000;  }
#hue17556		{ color: #800000;  }
#hue17572		{ color: #800000;  }
#hue17576		{ color: #800000;  }
#hue17616		{ color: #800000;  }
#hue17631		{ color: #800000;  }
#hue17661		{ color: #800000;  }
#hue17675		{ color: #800000;  }
#hue17699		{ color: #800000;  }
#hue17732		{ color: #800000;  }
#hue17753		{ color: #800000;  }
#hue17786		{ color: #800000;  }
#hue17790		{ color: #800000;  }
#hue17794		{ color: #800000;  }
#hue18346		{ color: #800000;  }
#hue18362		{ color: #800000;  }
#hue18372		{ color: #800000;  }
#hue18393		{ color: #800000;  }
#hue18399		{ color: #800000;  }
#hue18404		{ color: #800000;  }
#hue18408		{ color: #800000;  }
#hue18414		{ color: #800000;  }
#hue18418		{ color: #800000;  }
#hue18422		{ color: #800000;  }
#hue18590		{ color: #800000;  }
#hue18594		{ color: #800000;  }
#hue18598		{ color: #800000;  }
#hue18602		{ color: #800000;  }
#hue18606		{ color: #800000;  }
#hue18610		{ color: #800000;  }
#hue18614		{ color: #800000;  }
#hue18618		{ color: #800000;  }
#hue18622		{ color: #800000;  }
#hue18626		{ color: #800000;  }
#hue18630		{ color: #800000;  }
#hue18634		{ color: #800000;  }
#hue18638		{ color: #800000;  }
#hue18642		{ color: #800000;  }
#hue21315		{ color: #800000;  }
#hue21507		{ color: #800000;  }
#hue21872		{ color: #800000;  }
#hue2208		{ color: #800000;  }
#hue2212		{ color: #800000;  }
#hue2216		{ color: #800000;  }
#hue2222		{ color: #800000;  }
#hue2226		{ color: #800000;  }
#hue2929		{ color: #800000;  }
#hue2933		{ color: #800000;  }
#hue2937		{ color: #800000;  }
#hue2941		{ color: #800000;  }
#hue2952		{ color: #800000;  }
#hue2960		{ color: #800000;  }
#hue2964		{ color: #800000;  }
#hue2968		{ color: #800000;  }
#hue2976		{ color: #800000;  }
#hue2981		{ color: #800000;  }
#hue2985		{ color: #800000;  }
#hue2993		{ color: #800000;  }
#hue3001		{ color: #800000;  }
#hue3007		{ color: #800000;  }
#hue3013		{ color: #800000;  }
#hue3017		{ color: #800000;  }
#hue3021		{ color: #800000;  }
#hue3025		{ color: #800000;  }
#hue3029		{ color: #800000;  }
#hue3033		{ color: #800000;  }
#hue3037		{ color: #800000;  }
#hue3041		{ color: #800000;  }
#hue3045		{ color: #800000;  }
#hue3049		{ color: #800000;  }
#hue3053		{ color: #800000;  }
#hue3057		{ color: #800000;  }
#hue3062		{ color: #800000;  }
#hue3066		{ color: #800000;  }
#hue3074		{ color: #800000;  }
#hue3082		{ color: #800000;  }
#hue3086		{ color: #800000;  }
#hue3090		{ color: #800000;  }
#hue3098		{ color: #800000;  }
#hue3109		{ color: #800000;  }
#hue3121		{ color: #800000;  }
#hue3129		{ color: #800000;  }
#hue3133		{ color: #800000;  }
#hue3143		{ color: #800000;  }
#hue3151		{ color: #800000;  }
#hue3157		{ color: #800000;  }
#hue3163		{ color: #800000;  }
#hue3167		{ color: #800000;  }
#hue3171		{ color: #800000;  }
#hue3179		{ color: #800000;  }
#hue3199		{ color: #800000;  }
#hue3205		{ color: #800000;  }
#hue3209		{ color: #800000;  }
#hue3213		{ color: #800000;  }
#hue3218		{ color: #800000;  }
#hue3222		{ color: #800000;  }
#hue3226		{ color: #800000;  }
#hue3234		{ color: #800000;  }
#hue3242		{ color: #800000;  }
#hue3246		{ color: #800000;  }
#hue3250		{ color: #800000;  }
#hue3258		{ color: #800000;  }
#hue3276		{ color: #800000;  }
#hue3284		{ color: #800000;  }
#hue3288		{ color: #800000;  }
#hue3292		{ color: #800000;  }
#hue3296		{ color: #800000;  }
#hue3300		{ color: #800000;  }
#hue3306		{ color: #800000;  }
#hue3319		{ color: #800000;  }
#hue3323		{ color: #800000;  }
#hue3333		{ color: #800000;  }
#hue4045		{ color: #800000;  }
#hue4049		{ color: #800000;  }
#hue4054		{ color: #800000;  }
#hue4058		{ color: #800000;  }
#hue4081		{ color: #800000;  }
#hue4086		{ color: #800000;  }
#hue4090		{ color: #800000;  }
#hue4095		{ color: #800000;  }
#hue4099		{ color: #800000;  }
#hue4103		{ color: #800000;  }
#hue4113		{ color: #800000;  }
#hue7756		{ color: #800000;  }
#hue7891		{ color: #800000;  }
#hue7928		{ color: #800000;  }
#hue7964		{ color: #800000;  }
#hue7968		{ color: #800000;  }
#hue7972		{ color: #800000;  }
#hue7979		{ color: #800000;  }
#hue7984		{ color: #800000;  }
#hue7992		{ color: #800000;  }
#hue8000		{ color: #800000;  }
#hue8005		{ color: #800000;  }
#hue8012		{ color: #800000;  }
#hue8017		{ color: #800000;  }
#hue8021		{ color: #800000;  }
#hue8030		{ color: #800000;  }
#hue8034		{ color: #800000;  }
#hue8038		{ color: #800000;  }
#hue8042		{ color: #800000;  }
#hue8046		{ color: #800000;  }
#hue8050		{ color: #800000;  }
#hue8054		{ color: #800000;  }
#hue8058		{ color: #800000;  }
#hue8111		{ color: #800000;  }
#hue8256		{ color: #800000;  }
#hue8306		{ color: #800000;  }
#hue8310		{ color: #800000;  }
#hue8315		{ color: #800000;  }
#hue8320		{ color: #800000;  }
#hue8328		{ color: #800000;  }
#hue8332		{ color: #800000;  }
#hue8338		{ color: #800000;  }
#hue8348		{ color: #800000;  }
#hue8353		{ color: #800000;  }
#hue8358		{ color: #800000;  }
#hue8362		{ color: #800000;  }
#hue8366		{ color: #800000;  }
#hue8370		{ color: #800000;  }
#hue8374		{ color: #800000;  }
#hue8378		{ color: #800000;  }
#txt21779		{ text-decoration: underline;  }