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 {  
}