/* 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  }
#hue12910		{ color: #800000;  }
#hue12927		{ color: #800000;  }
#hue12943		{ color: #800000;  }
#hue12953		{ color: #800000;  }
#hue12957		{ color: #800000;  }
#hue12969		{ color: #800000;  }
#hue12973		{ color: #800000;  }
#hue12977		{ color: #800000;  }
#hue12981		{ color: #800000;  }
#hue12985		{ color: #800000;  }
#hue12989		{ color: #800000;  }
#hue12997		{ color: #800000;  }
#hue13002		{ color: #800000;  }
#hue13146		{ color: #800000;  }
#hue13151		{ color: #800000;  }
#hue13158		{ color: #800000;  }
#hue13171		{ color: #800000;  }
#hue13176		{ color: #800000;  }
#hue14302		{ color: #800000;  }
#hue14306		{ color: #800000;  }
#hue14310		{ color: #800000;  }
#hue14317		{ color: #800000;  }
#hue14321		{ color: #800000;  }
#hue14326		{ color: #800000;  }
#hue14330		{ color: #800000;  }
#hue14334		{ color: #800000;  }
#hue14342		{ color: #800000;  }
#hue14346		{ color: #800000;  }
#hue14350		{ color: #800000;  }
#hue14354		{ color: #800000;  }
#hue14359		{ color: #800000;  }
#hue14363		{ color: #800000;  }
#hue14367		{ color: #800000;  }
#hue14372		{ color: #800000;  }
#hue14376		{ color: #800000;  }
#hue14380		{ color: #800000;  }
#hue14385		{ color: #800000;  }
#hue14389		{ color: #800000;  }
#hue14397		{ color: #800000;  }
#hue14401		{ color: #800000;  }
#hue14405		{ color: #800000;  }
#hue14409		{ color: #800000;  }
#hue14413		{ color: #800000;  }
#hue14421		{ color: #800000;  }
#hue14440		{ color: #800000;  }
#hue14444		{ color: #800000;  }
#hue14448		{ color: #800000;  }
#hue14452		{ color: #800000;  }
#hue14456		{ color: #800000;  }
#hue14460		{ color: #800000;  }
#hue14464		{ color: #800000;  }
#hue14468		{ color: #800000;  }
#hue14472		{ color: #800000;  }
#hue14476		{ color: #800000;  }
#hue14480		{ color: #800000;  }
#hue14484		{ color: #800000;  }
#hue14488		{ color: #800000;  }
#hue14494		{ color: #800000;  }
#hue14498		{ color: #800000;  }
#hue14502		{ color: #800000;  }
#hue14506		{ color: #800000;  }
#hue14510		{ color: #800000;  }
#hue14514		{ color: #800000;  }
#hue14518		{ color: #800000;  }
#hue14522		{ color: #800000;  }
#hue14528		{ color: #800000;  }
#hue14694		{ color: #800000;  }
#hue15659		{ color: #800000;  }
#hue15692		{ color: #800000;  }
#hue15698		{ color: #800000;  }
#hue15702		{ color: #800000;  }
#hue15708		{ color: #800000;  }
#hue15712		{ color: #800000;  }
#hue15719		{ color: #800000;  }
#hue15723		{ color: #800000;  }
#hue15729		{ color: #800000;  }
#hue15734		{ color: #800000;  }
#hue15738		{ color: #800000;  }
#hue15742		{ color: #800000;  }
#hue16064		{ color: #800000;  }
#hue16088		{ color: #800000;  }
#hue16106		{ color: #800000;  }
#hue16114		{ color: #800000;  }
#hue16122		{ color: #800000;  }
#hue16126		{ color: #800000;  }
#hue16131		{ color: #800000;  }
#hue16135		{ color: #800000;  }
#hue16139		{ color: #800000;  }
#hue16144		{ color: #800000;  }
#hue16149		{ color: #800000;  }
#hue16153		{ color: #800000;  }
#hue16159		{ color: #800000;  }
#hue16163		{ color: #800000;  }
#hue16167		{ color: #800000;  }
#hue16173		{ color: #800000;  }
#hue16177		{ color: #800000;  }
#hue16181		{ color: #800000;  }
#hue16185		{ color: #800000;  }
#hue16189		{ color: #800000;  }
#hue16193		{ color: #800000;  }
#hue16197		{ color: #800000;  }
#hue16201		{ color: #800000;  }
#hue16205		{ color: #800000;  }
#hue16209		{ color: #800000;  }
#hue16213		{ color: #800000;  }
#hue16217		{ color: #800000;  }
#hue16221		{ color: #800000;  }
#hue16225		{ color: #800000;  }
#hue16236		{ color: #800000;  }
#hue16240		{ color: #800000;  }
#hue16244		{ color: #800000;  }
#hue16251		{ color: #800000;  }
#hue16255		{ color: #800000;  }
#hue16259		{ color: #800000;  }
#hue16263		{ color: #800000;  }
#hue16268		{ color: #800000;  }
#hue16273		{ color: #800000;  }
#hue16278		{ color: #800000;  }
#hue16284		{ color: #800000;  }
#hue16288		{ color: #800000;  }
#hue16292		{ color: #800000;  }
#hue16299		{ color: #800000;  }
#hue16304		{ color: #800000;  }
#hue16310		{ color: #800000;  }
#hue16314		{ color: #800000;  }
#hue16318		{ color: #800000;  }
#hue16356		{ color: #800000;  }
#hue16360		{ color: #800000;  }
#hue16365		{ color: #800000;  }
#hue16369		{ color: #800000;  }
#hue16373		{ color: #800000;  }
#hue16381		{ color: #800000;  }
#hue16386		{ color: #800000;  }
#hue16390		{ color: #800000;  }
#hue16398		{ color: #800000;  }
#hue16403		{ color: #800000;  }
#hue16407		{ color: #800000;  }
#hue17166		{ color: #800000;  }
#hue17194		{ color: #800000;  }
#hue17200		{ color: #800000;  }
#hue17204		{ color: #800000;  }
#hue17236		{ color: #800000;  }
#hue17243		{ color: #800000;  }
#hue17249		{ color: #800000;  }
#hue17253		{ color: #800000;  }
#hue17257		{ color: #800000;  }
#hue17261		{ color: #800000;  }
#hue17265		{ color: #800000;  }
#hue17271		{ color: #800000;  }
#hue17276		{ color: #800000;  }
#hue17288		{ color: #800000;  }
#hue17292		{ color: #800000;  }
#hue17297		{ color: #800000;  }
#hue17301		{ color: #800000;  }
#hue17305		{ color: #800000;  }
#hue17309		{ color: #800000;  }
#hue17313		{ color: #800000;  }
#hue17317		{ color: #800000;  }
#hue17321		{ color: #800000;  }
#hue17325		{ color: #800000;  }
#hue17329		{ color: #800000;  }
#hue17333		{ color: #800000;  }
#hue17337		{ color: #800000;  }
#hue17341		{ color: #800000;  }
#hue17345		{ color: #800000;  }
#hue17349		{ color: #800000;  }
#hue17353		{ color: #800000;  }
#hue17357		{ color: #800000;  }
#hue17361		{ color: #800000;  }
#hue17365		{ color: #800000;  }
#hue17370		{ color: #800000;  }
#hue17374		{ color: #800000;  }
#hue17384		{ color: #800000;  }
#hue17388		{ color: #800000;  }
#hue17394		{ color: #800000;  }
#hue17398		{ color: #800000;  }
#hue17402		{ color: #800000;  }
#hue17406		{ color: #800000;  }
#hue17410		{ color: #800000;  }
#hue17414		{ color: #800000;  }
#hue17418		{ color: #800000;  }
#hue17422		{ color: #800000;  }
#hue17426		{ color: #800000;  }
#hue17430		{ color: #800000;  }
#hue17440		{ color: #800000;  }
#hue17444		{ color: #800000;  }
#hue17450		{ color: #800000;  }
#hue17454		{ color: #800000;  }
#hue17458		{ color: #800000;  }
#hue17464		{ color: #800000;  }
#hue17468		{ color: #800000;  }
#hue17472		{ color: #800000;  }
#hue17476		{ color: #800000;  }
#hue17480		{ color: #800000;  }
#hue17484		{ color: #800000;  }
#hue17488		{ color: #800000;  }
#hue17492		{ color: #800000;  }
#hue17502		{ color: #800000;  }
#hue17506		{ color: #800000;  }
#hue17510		{ color: #800000;  }
#hue17531		{ color: #800000;  }
#hue17535		{ color: #800000;  }
#hue17539		{ color: #800000;  }
#hue17543		{ color: #800000;  }
#hue17547		{ color: #800000;  }
#hue17551		{ color: #800000;  }
#hue17555		{ color: #800000;  }
#hue17566		{ color: #800000;  }
#hue17572		{ color: #800000;  }
#hue17578		{ color: #800000;  }
#hue17584		{ color: #800000;  }
#hue17590		{ color: #800000;  }
#hue17596		{ color: #800000;  }
#hue17602		{ color: #800000;  }
#hue17610		{ color: #800000;  }
#hue17616		{ color: #800000;  }
#hue17622		{ color: #800000;  }
#hue17646		{ color: #800000;  }
#hue17652		{ color: #800000;  }
#hue17672		{ color: #800000;  }
#hue17676		{ color: #800000;  }
#hue17716		{ color: #800000;  }
#hue17731		{ color: #800000;  }
#hue17761		{ color: #800000;  }
#hue17775		{ color: #800000;  }
#hue17799		{ color: #800000;  }
#hue17832		{ color: #800000;  }
#hue17853		{ color: #800000;  }
#hue17886		{ color: #800000;  }
#hue17890		{ color: #800000;  }
#hue17894		{ color: #800000;  }
#hue18438		{ color: #800000;  }
#hue18454		{ color: #800000;  }
#hue18464		{ color: #800000;  }
#hue18485		{ color: #800000;  }
#hue18491		{ color: #800000;  }
#hue18496		{ color: #800000;  }
#hue18500		{ color: #800000;  }
#hue18506		{ color: #800000;  }
#hue18510		{ color: #800000;  }
#hue18514		{ color: #800000;  }
#hue18682		{ color: #800000;  }
#hue18686		{ color: #800000;  }
#hue18690		{ color: #800000;  }
#hue18694		{ color: #800000;  }
#hue18698		{ color: #800000;  }
#hue18702		{ color: #800000;  }
#hue18706		{ color: #800000;  }
#hue18710		{ color: #800000;  }
#hue18714		{ color: #800000;  }
#hue18718		{ color: #800000;  }
#hue18722		{ color: #800000;  }
#hue18726		{ color: #800000;  }
#hue18730		{ color: #800000;  }
#hue18734		{ color: #800000;  }
#hue21419		{ color: #800000;  }
#hue21611		{ color: #800000;  }
#hue21976		{ color: #800000;  }
#hue2240		{ color: #800000;  }
#hue2244		{ color: #800000;  }
#hue2248		{ color: #800000;  }
#hue2254		{ color: #800000;  }
#hue2258		{ color: #800000;  }
#hue2961		{ color: #800000;  }
#hue2965		{ color: #800000;  }
#hue2969		{ color: #800000;  }
#hue2973		{ color: #800000;  }
#hue2984		{ color: #800000;  }
#hue2992		{ color: #800000;  }
#hue2996		{ color: #800000;  }
#hue3000		{ color: #800000;  }
#hue3008		{ color: #800000;  }
#hue3013		{ color: #800000;  }
#hue3017		{ color: #800000;  }
#hue3025		{ color: #800000;  }
#hue3033		{ color: #800000;  }
#hue3039		{ color: #800000;  }
#hue3045		{ color: #800000;  }
#hue3049		{ color: #800000;  }
#hue3053		{ color: #800000;  }
#hue3057		{ color: #800000;  }
#hue3061		{ color: #800000;  }
#hue3065		{ color: #800000;  }
#hue3069		{ color: #800000;  }
#hue3073		{ color: #800000;  }
#hue3077		{ color: #800000;  }
#hue3081		{ color: #800000;  }
#hue3085		{ color: #800000;  }
#hue3089		{ color: #800000;  }
#hue3094		{ color: #800000;  }
#hue3098		{ color: #800000;  }
#hue3106		{ color: #800000;  }
#hue3114		{ color: #800000;  }
#hue3118		{ color: #800000;  }
#hue3122		{ color: #800000;  }
#hue3130		{ color: #800000;  }
#hue3141		{ color: #800000;  }
#hue3153		{ color: #800000;  }
#hue3161		{ color: #800000;  }
#hue3165		{ color: #800000;  }
#hue3175		{ color: #800000;  }
#hue3183		{ color: #800000;  }
#hue3189		{ color: #800000;  }
#hue3195		{ color: #800000;  }
#hue3199		{ color: #800000;  }
#hue3203		{ color: #800000;  }
#hue3211		{ color: #800000;  }
#hue3231		{ color: #800000;  }
#hue3237		{ color: #800000;  }
#hue3241		{ color: #800000;  }
#hue3245		{ color: #800000;  }
#hue3250		{ color: #800000;  }
#hue3254		{ color: #800000;  }
#hue3258		{ color: #800000;  }
#hue3266		{ color: #800000;  }
#hue3274		{ color: #800000;  }
#hue3278		{ color: #800000;  }
#hue3282		{ color: #800000;  }
#hue3290		{ color: #800000;  }
#hue3308		{ color: #800000;  }
#hue3316		{ color: #800000;  }
#hue3320		{ color: #800000;  }
#hue3324		{ color: #800000;  }
#hue3328		{ color: #800000;  }
#hue3332		{ color: #800000;  }
#hue3338		{ color: #800000;  }
#hue3351		{ color: #800000;  }
#hue3355		{ color: #800000;  }
#hue3365		{ color: #800000;  }
#hue4077		{ color: #800000;  }
#hue4081		{ color: #800000;  }
#hue4086		{ color: #800000;  }
#hue4090		{ color: #800000;  }
#hue4113		{ color: #800000;  }
#hue4118		{ color: #800000;  }
#hue4122		{ color: #800000;  }
#hue4127		{ color: #800000;  }
#hue4131		{ color: #800000;  }
#hue4135		{ color: #800000;  }
#hue4145		{ color: #800000;  }
#hue7821		{ color: #800000;  }
#hue7960		{ color: #800000;  }
#hue7997		{ color: #800000;  }
#hue8033		{ color: #800000;  }
#hue8037		{ color: #800000;  }
#hue8041		{ color: #800000;  }
#hue8048		{ color: #800000;  }
#hue8053		{ color: #800000;  }
#hue8061		{ color: #800000;  }
#hue8069		{ color: #800000;  }
#hue8078		{ color: #800000;  }
#hue8085		{ color: #800000;  }
#hue8090		{ color: #800000;  }
#hue8094		{ color: #800000;  }
#hue8103		{ color: #800000;  }
#hue8107		{ color: #800000;  }
#hue8111		{ color: #800000;  }
#hue8115		{ color: #800000;  }
#hue8119		{ color: #800000;  }
#hue8123		{ color: #800000;  }
#hue8127		{ color: #800000;  }
#hue8131		{ color: #800000;  }
#hue8184		{ color: #800000;  }
#hue8332		{ color: #800000;  }
#hue8382		{ color: #800000;  }
#hue8386		{ color: #800000;  }
#hue8391		{ color: #800000;  }
#hue8396		{ color: #800000;  }
#hue8404		{ color: #800000;  }
#hue8408		{ color: #800000;  }
#hue8414		{ color: #800000;  }
#hue8426		{ color: #800000;  }
#hue8431		{ color: #800000;  }
#hue8436		{ color: #800000;  }
#hue8440		{ color: #800000;  }
#hue8444		{ color: #800000;  }
#hue8448		{ color: #800000;  }
#hue8452		{ color: #800000;  }
#hue8456		{ color: #800000;  }
#txt21883		{ text-decoration: underline;  }