body { display: block; margin: 2ex 1em 2ex 1em; color: #000033; background-color: #fcfcfc; font-family: Arial, sans-serif; font-size: 1em; } h1 { display: block; margin-left: auto; margin-right: auto; text-align: center; color: #000066; background-color: #fcfcfc; font-size: 2.00em; } .display { display: block; margin-left: auto; margin-right: auto; text-align: center; } .bold { font-weight: bold; } emph { font-style: italic; } .bold-italic { font-style: italic; font-weight: bold; } .italic { font-style: italic; } .altemph { font-family: "luxi sans", freesans, sans-serif; font-style: oblique; } h2 { display: block; font-size: 1.75em; font-weight: bold; color: #000066; background-color: #fcfcfc; } h3 { display: block; font-size: 1.50em; font-weight: bold; color: #000066; background-color: #fcfcfc; } h4 { display: block; font-size: 1.25em; font-weight: bold; color: #000066; background-color: #fcfcfc; } h5 { display: block; font-size: 1.00em; font-weight: bold; color: #000066; background-color: #fcfcfc; } kbd { display: inline; font-family: monospace; font-weight: bold; } p { margin: 2ex 0em 2ex 0em; } dl, ol, ul { margin: 1ex 1em 1ex 1em; } dt { margin-left: 1em; margin-right: 1em; margin-bottom: 1ex; } dd { margin-left: 2em; margin-right: 1em; margin-bottom: 1ex; } dl.Menu > dd { margin-bottom: 2ex; } li { margin-left: 1em; margin-right: 1em; margin-bottom: 1ex; } ul > li { list-style-type: disc; } ul > li li { list-style-type: circle; } ul > li li li { list-style-type: square; } ol.decimal > li { list-style-type: decimal; margin-bottom: 1ex; } ol.lower-alpha > li { list-style-type: lower-alpha; margin-bottom: 0.5ex; } ol.lower-roman > li { list-style-type: lower-roman; margin-bottom: 0.5ex; } ol.upper-alpha > li { list-style-type: upper-alpha; margin-bottom: 0.5ex; } dl.verblist { display: block; margin: 1ex 2em 1ex 1em; border-style: none; padding: 1em 0em 1em 0em; font-family: monospace; font-weight: bold; } dl.verblist > dd { list-style-type: none; margin: 0ex 0em 0.25ex 0em; } dl.verblist > dd kbd { font-size: 1em; } dl.tableofcontents > dd { list-style-type: none; margin-left: 2em; margin-right: 2em; margin-top: 0.5ex; margin-bottom: 0.5ex; } dl.tableofcontents > dd dd { list-style-type: none; margin-top: 0.2ex; margin-bottom: 0.2ex; } dl.assertion { margin: 1ex 0em 1ex 0em; } dl.assertion > dt { margin-left: 0em; margin-right: 0em; } dl.assertion > dd { margin-left: 0em; margin-right: 0em; font-style: italic; } dl.assertion > dd b { font-style: normal; font-weight: bold; } dl.definition { margin: 1ex 0em 1ex 0em; } dl.definition > dt { margin-left: 0em; margin-right: 0em; } dl.definition > dd { margin-left: 0em; margin-right: 0em; font-style: normal; } table { border-collapse: collapse; } .display table { margin-left: auto; margin-right: auto; } table tbody { text-align: left; } div { margin: 1em 0 1em 0; } div.tableofcontents { margin: 2ex 2em 2ex 2em; } div.section { margin: 3em 0 3em 0; } div.subsection { margin: 2em 0 2em 0; } div.subsubsection { margin: 1em 0 1em 0; } table.gdisplay { margin-left: auto; margin-right: auto; } td { empty-cells: show; padding-left: 0.6em; padding-right: 0.6em; padding-top: 0.4ex; padding-bottom: 0.4ex; } table.boxed { border-style: solid; border-width: 0.1em; } table.boxed td { border-style: solid; border-width: 0.1em; } table.chart { margin: 0px; } table.chart > tbody >tr > td:first-child { padding-left: 0px; font-size: 1.25em; color: #000066; background-color: inherit; } tr.boxed { border-top-style: solid; border-top-width: 0.1em; border-bottom-style: solid; border-bottom-width: 0.1em; } tr.truled { border-top-style: solid; border-top-width: 0.1em; } tr.bruled { border-bottom-style: solid; border-bottom-width: 0.1em; } td.boxed { border-left-style: solid; border-left-width: 0.1em; border-right-style: solid; border-right-width: 0.1em; } td.lruled { border-left-style: solid; border-left-width: 0.1em; } td.rruled { border-right-style: solid; border-right-width: 0.1em; } pre { font-family: monospace; font-weight: bold; font-size: 0.8em; } mlabeledtr { display: table-row; } math { white-space: nowrap; } math[class="display"], math[display="block"], math[mode="display"] { display: block; margin-top: 1ex; margin-bottom: 1ex; margin-left: auto; margin-right: auto; text-align: center; } mlabeledtr > mtd:first-child { color: #005500; background-color: #fcfcfc; } mtr[class="labeled"] > mtd:first-child { color: #005500; background-color: #fcfcfc; } mi[class="invisible"] { display: none; } [mathvariant="script"] { font-family: "Euclid Math One", serif; } [mathvariant="fraktur"] { font-family: "Euclid Fraktur", serif; } [mathvariant="double-struck"] { font-family: "Euclid Math Two", serif; } a:link { color: #0000B0; background-color: #fcfcfc; } a:visited { color: #000077; background-color: #fcfcfc; } a:active { color: #B00000; background-color: #fcfc00; } a:hover { color: #800000; background-color: #fcfc00; } mtd[columnalign="left"] { text-align: left; } mtd[columnalign="center"] { text-align: center; } mtd[columnalign="right"] { text-align: right; } mtable[class="boxed"] { border-style: solid; border-width: 0.1em; padding: 1ex 1em 1ex 1em; } mtable[class="substack"] { font-size: 0.7em; } mtable[class="substack"] mtr { margin: 0 ; padding: 0 ; } mtable[class="substack"] mtr mtd { margin: 0 ; padding: 0 ; } mo[class="prime"] { font-size: 0.6em; vertical-align: super; } mtext[class="strong"] { font-weight: bold; } mtext[class="emphasized"] { font-style: italic; } mtext[class="stringtext"] { font-family: monospace; }