body { margin-top: 0; border: 0; padding: 0; } h1,h2,h3,h4,h5,h6 { text-align: left; } h1 { font-size: 2em; font-weight: normal; margin-top: 0; border: 0; padding: 0; } h2 { font-size: 1.6em; font-weight: bold; } h3 { font-size: 1.2em; font-weight: bold; } h4 { font-size: 1em; font-weight: bold; } h5 { font-size: 1em; font-weight: bold; } h6 { font-size: 1em; font-weight: normal; font-style: italic; } hr { color: #dddddd; background: #ffffff; } p.to-index { margin-top: -1em; margin-bottom: 1em; border: 0; padding: 0; } .ins {color: #00ff00} .del {color: #ff0000; text-decoration: line-through} .note { font-size: .9em; text-indent: 0; margin-left: 1em; margin-right: 1em; border: 1pt solid gray; padding: 2pt; cursor: none; /* ARG */ } span.inline-note { font-size: .9em; color:gray; } span.marginal-note { font-size: .9em; font-style:italic; } span.popup-note, abbr, acronym { border: 1px dotted gray; cursor: help; } div.quote p, p.quote, blockquote { margin-left: 1em; margin-right: 1em; } .whitepre {white-space: pre; } .cursive {font-family: cursive; } .fantasy {font-family: fantasy; } .monospace {font-family: monospace; } .hilite { background: #ffff00; } .lowercase {text-transform: lowercase; } .uppercase {text-transform: uppercase; } .smallcaps {text-transform: uppercase; font-size: 0.8em; } .smallcaps2 {font-variant: small-caps; } .linethrough {text-decoration: line-through; } .ovl {text-decoration: overline; } P.descender:first-letter { FONT-SIZE: 4em; /* font-weight: bold; */ float: left; } /* Q {content: open-quote; } */ /* Specify pairs of quotes for two levels in two languages */ Q:lang(en) { quotes: '"' '"' "'" "'" } Q:lang(no) { quotes: " " " " "" } /* Insert quotes before and after Q element content */ Q:before { content: open-quote } Q:after { content: close-quote } .spaceLetters { letter-spacing: 2em; } .spaceWords { word-spacing: 2em; } .capInitial { text-transform: capitalize; } .shadow { text-shadow: 3px 3px red, yellow -3px 3px 2px, 3px -3px; } .larger { font-size: larger; } .smaller { font-size: smaller; } .double { font-size: 200%; } .half { font-size: 0.5em; } img { padding:10px; } object { padding-right:5px; padding-bottom:5px; } .left { float: left; } .right { float: right; } .center { align: center; margin-left: auto; margin-right: auto; } .clear { clear: both; } .border { border:1px solid; padding:1em; } img.center { display:block; margin-left: auto; margin-right: auto; } .httTail { font-size: .9em; color: #666; background: #ffffff; text-align: center; margin-left: auto; margin-right: auto; } table { border: 1px solid; align:center; margin-left: auto; margin-right: auto; } th { margin:0px; padding:5px; border:1px dotted; text-align:left; font-weight: bold; background-color:#ddd; } td { margin:0px; padding:5px; border:1px dotted; } tr.total { padding:5px; border:1px solid; font-weight:bold; } td.good { background-color:#dfd; } td.bad { background-color:#fdd; } td.notwhite { background-color:#efe; } td.backgood { background-color:#cfc; } dt { font-weight:bold; margin-top: 1em; } pre { font-family:monospace; text-align:left; background-color:#eef; border: 1px dotted #eef; margin-left: 2em; margin-right: 2em; } table pre { border: solid #fff; margin-left: 0; margin-right: 0; } pre.result { background-color:#fee; border: 1px dotted #faa;} pre.resultwrap { background-color:#fee; border: 1px dotted #faa; white-space: pre-wrap; } pre.srccode { background-color:#eee; border: 1px dotted #aaa;} pre.execcode { background-color:#efe; border: 1px dotted #8f8;} pre.execbash { background-color:#eef; border: 1px dotted #88f;} /* pre.execbash:before { content: "Note: " } */ .cite { margin-top: 1em; margin-left: 5%; margin-right: 5%; padding: 3px; background-color:#eee; } .hidden { position: absolute; top: -100px; left: -9999px; font-size: 1px; margin: 0; line-height: 1px; color: #e0f0ff; /* same as body background, thus invisible */ color: #ff0000; } .shown { position: absolute; top: -100px; left: -9999px; /* color: #00ff00; */ } .summary img { border: 0; } .summBlank { border: 2px solid #aaa; } ul.summary, ul.summary ul { list-style: none; margin-top: 0; margin-bottom: 0; } .selected { border: dotted black thin; } ul.summary { float: left; padding: 1em; background-color: #fff; /* #8ff; */ border: dotted green thin; margin: 0; } .summNum { font-size: 0.8em; } li { padding: 0.1em; } .contents li { padding: 0em; } OL.abc { list-style-type: lower-alpha } div.panel { display:block; background-color:grey; align:center; margin-left: auto; margin-right: auto; width:auto; } div.trailer { display:inline-block; background:white; font-weight:normal; width:420px; height:200px; float:left; padding:0.2em; border:7px solid grey; overflow:auto; } div.centpics { display:inline-block; align:center; margin-left: auto; margin-right: auto; border:2px dashed lightgray; } .trailer img { float:right; margin:0; } .trailer h1 { font-size: 1.2em; margin:0; font-weight: normal; } .trailer h2 { font-size: 1.2em; margin:0; font-weight: normal; } .boxed { margin-top: 1em; padding: 1em; padding-top: 0; padding-bottom: 0; border:2px dashed lightgray; } .aside { margin-top: 1em; margin-left: 10%; margin-right: 10%; padding: 1em; padding-top: 0; padding-bottom: 0; border:2px dashed lightgray; } .indent { margin-top: 1em; margin-left: 5%; margin-right: 5%; padding: 1em; padding-top: 0; } pre, code, samp, kbd, tt { font-family: "Courier New" , monospace; font-size: 100%; font-style: normal; line-height: normal; } @media (prefers-color-scheme: dark) { body { background-color: #000; color: #fff; } hr { color: #666666; background: #000000; } .httTail { color: #888; background: #000; } pre, code, samp, kbd, tt { background-color: #000; color: #fff; } th { background-color:#333; } td.good { background-color:#030; } td.bad { background-color:#300; } td.notwhite { background-color:#030; } td.backgood { background-color:#131; } pre { background-color:#001; border: 1px dotted #006; } table pre { border: solid #fff; } pre.result { background-color:#400; border: 1px dotted #600;} pre.resultwrap { background-color:#fee; border: 1px dotted #faa; } pre.srccode { background-color:#eee; border: 1px dotted #aaa;} pre.execcode { background-color:#efe; border: 1px dotted #8f8;} pre.execbash { background-color:#eef; border: 1px dotted #88f;} pre.srccode { background-color:#222; border: 1px dotted #444;} pre.execcode { background-color:#020; border: 1px dotted #8f8;} pre.execbash { background-color:#002; border: 1px dotted #88f;} .cite { background-color:#eee; } .hidden { color: #000; /* same as body background, thus invisible */ } .summBlank { border: 2px solid #444; } .selected { border: dotted white thin; } ul.summary { background-color: #000; border: dotted green thin; } div.panel { background-color:grey; } div.trailer { background:black; border:7px solid grey; } div.centpics { border:2px dashed darkgray; } .boxed { border:2px dashed darkgray; } .aside { border:2px dashed darkgray; } a:link { color: #9999ff; } a:active { color: #ff4444; } a:visited { color: #ff00ff; } } /* Below is from https://www.w3.org/TR/MathML2/appendixg.html */ math, math[mode="inline"] { display: inline; font-family: CMSY10, CMEX10, Symbol, Times; font-style: normal; } math[mode="display"] { display: block; text-align: center; font-family: CMSY10, CMEX10, Symbol, Times; font-style: normal; } @media screen { /* hide from old browsers */ /* Rules dealing with the various values of the "mathvariant" attribute: */ math *.[mathvariant="normal"] { font-family: "Times New Roman", Courier, Garamond, serif; font-weight: normal; font-style: normal; } math *.[mathvariant="bold"] { font-family: "Times New Roman", Courier, Garamond, serif; font-weight: bold; font-style: normal; } math *.[mathvariant="italic"] { font-family: "Times New Roman", Courier, Garamond, serif; font-weight: normal; font-style: italic; } math *.[mathvariant="bold-italic"] { font-family: "Times New Roman", Courier, Garamond, serif; font-weight: bold; font-style: italic; } math *.[mathvariant="double-struck"] { font-family: msbm; font-weight: normal; font-style: normal; } math *.[mathvariant="script"] { font-family: eusb; font-weight: normal; font-style: normal; } math *.[mathvariant="bold-script"] { font-family: eusb; font-weight: bold; font-style: normal; } math *.[mathvariant="fraktur"] { font-family: eufm; font-weight: normal; font-style: normal; } math *.[mathvariant="bold-fraktur"] { font-family: eufm; font-weight: bold; font-style: italic; } math *.[mathvariant="sans-serif"] { font-family: Arial, "Lucida Sans Unicode", Verdana, sans-serif; font-weight: normal; font-style: normal; } math *.[mathvariant="bold-sans-serif"] { font-family: Arial, "Lucida Sans Unicode", Verdana, sans-serif; font-weight: bold; font-style: normal; } math *.[mathvariant="sans-serif-italic"] { font-family: Arial, "Lucida Sans Unicode", Verdana, sans-serif; font-weight: normal; font-style: italic; } math *.[mathvariant="sans-serif-bold-italic"] { font-family: Arial, "Lucida Sans Unicode", Verdana, sans-serif; font-weight: bold; font-style: italic; } math *.[mathvariant="monospace"] { font-family: monospace } /* Rules dealing with "mathsize" attribute */ math *.[mathsize="small"] { font-size: 80% } math *.[mathsize="normal"] { /* font-size: 100% - which is unnecessary */ } math *.[mathsize="big"] { font-size: 125% } /*Set size values for the "base" children of script and limit schema to distinguish them from the script or limit children: */ msub>*:first-child[mathsize="big"], msup>*:first-child[mathsize="big"], msubsup>*:first-child[mathsize="big"], munder>*:first-child[mathsize="big"], mover>*:first-child[mathsize="big"], munderover>*:first-child[mathsize="big"], mmultiscripts>*:first-child[mathsize="big"], mroot>*:first-child[mathsize="big"] { font-size: 125% } msub>*:first-child[mathsize="small"], msup>*:first-child[mathsize="small"], msubsup>*:first-child[mathsize="small"], munder>*:first-child[mathsize="small"], mover>*:first-child[mathsize="small"], munderover>*:first-child[mathsize="small"], mmultiscripts>*:first-child[mathsize="small"], mroot>*:first-child[mathsize="small"] { font-size: 80% } msub>*:first-child, msup>*:first-child, msubsup>*:first-child, munder>*:first-child, mover>*:first-child, munderover>*:first-child, mmultiscripts>*:first-child, mroot>*:first-child { font-size: 100% } /*Set size values for the other children of script and limit schema (the script and limit children) - include scriptlevel increment attribute? */ msub>*[mathsize="big"], msup>*[mathsize="big"], msubsup>*[mathsize="big"], munder>*[mathsize="big"], mover>*[mathsize="big"], munderover>*[mathsize="big"], mmultiscripts>*[mathsize="big"], math[display="inline"] mfrac>*[mathsize="big"], math *[scriptlevel="+1"][mathsize="big"] { font-size: 89% /* (.71 times 1.25) */ } msub>* [mathsize="small"], msup>*[mathsize="small"], msubsup>*[mathsize="small"], munder>*[mathsize="small"], mover>*[mathsize="small"], munderover>*[mathsize="small"], mmultiscripts>*[mathsize="small"], math[display="inline"] mfrac>*[mathsize="small"], math *[scriptlevel="+1"][mathsize="small"] { font-size: 57% /* (.71 times .80) */ } msub>*, msup>*, msubsup>*, munder>*, mover>*, munderover>*, mmultiscripts>*, math[display="inline"] mfrac>*, math *[scriptlevel="+1"] { font-size: 71% } mroot>*[mathsize="big"] { font-size: 62% /* (.50 times 1.25) */ } mroot>*[mathsize="small"] { font-size: 40% /* (.50 times .80) */ } mroot>* { font-size: 50% } /* Set size values for other scriptlevel increment attributes */ math *[scriptlevel="+2"][mathsize="big"] { font-size: 63% /* (.71 times .71 times 1.25) */ } math *[scriptlevel="+2"][mathsize="small"] { font-size: 36% /* (.71 times .71 times .71) */ } math *[scriptlevel="+2"] { font-size: 50% /* .71 times .71 */ } math *.[mathcolor="green"] { color: green } math *.[mathcolor="black"] { color: black } math *.[mathcolor="red"] { color: red } math *.[mathcolor="blue"] { color: blue } math *.[mathcolor="olive"] { color: olive } math *.[mathcolor="purple"] { color: purple } math *.[mathcolor="teal"] { color: teal } math *.[mathcolor="aqua"] { color: aqua } math *.[mathcolor="gray"] { color: gray } math *.[mathbackground="blue"] { background-color: blue } math *.[mathbackground="green"] { background-color: green } math *.[mathbackground="white"] { background-color: white } math *.[mathbackground="yellow"] { background-color: yellow } math *.[mathbackground="aqua"] { background-color: aqua } } /* Close "@media screen" scope */ @media aural { }