BODY {
  padding: 0.7in;
  font-size: medium;
  font-family: Times New Roman, Times, serif;
  border-style: solid;
  border-width: 20pt;
  border-color: #415d7a;
  padding: 0.7in;
  background-color: #26292b;
  color: #c4c4c4;
}

body.framed {
  padding: 10pt;
  border-style: none;
}

body.ascii {
  background-color: Black;
}

P {
  text-indent: 2em;
}

p.banner {
  text-align: center;
}

P.mmix {
  text-indent: 0;
  font-size: medium;
}

P.tip {
  color: blue;
}

OL {
  list-style-type: decimal;
  padding-bottom: 8px;
  text-indent: 0;
  font-size: medium;
  /*background: gray;*/
}

OL.arabic {
  list-style-type: decimal;
}
OL.cjk {
  list-style-type: cjk-ideographic;
}

OL.roman {
  list-style-type: lower-roman;
}

A {
  text-decoration: none;
  cursor: crosshair;
  border-bottom: 1px dashed gray;
  color: lightblue;
}

A:hover {
  caption-side: left;
  background-color: #ff80ff;
  text-decoration: none;
}

HR {
  color: #2e8b57;
  height: 1pt;
}

UL {
  list-style-type: circle;
}

div {
  border: 1pt;
  border-color: white;
  border-style: solid;
  padding: 10pt;
}

IMG {
  border: 0;
  margin: 2 2 2 2;
}

img.formula {
  border: thin;
  border-color: blue;
  border-style: solid;
}

pre {
  border: #777777 1px solid;
  padding: 0.5em;
  margin-left: 1em;
  margin-right: 2em;
  white-space: pre;
  background-color: #2b2b38;
  color: #00c400;
  font-family: Luxi Mono, Luxi Sans, Monospace, sans-serif;
  font-size: 90%;
  overflow: auto;
  max-height: 3in;
}

pre.syntax {
  background: #5e5e69;
}

pre.error {
  background-color: #757583;
}

pre.url {
  background: #505068;
}

pre.verse {
  background: pink;
}
em {
  color: #ff9900;
  text-decoration: none;
  font-style: normal;
}

em.phrase {
  color: blue;
  text-decoration: none;
  font-style: normal;
}

h1 {
  font-size: 28px;
  border-bottom: solid #7b7b85 2pt;
  padding: 0.1em;
  padding-top: 0.2em;
  padding-left: 0.3em;
  padding-bottom: 2pt;
  background: inherit;
  color: #415d7a;
}

h1.home {
  color: #102c4a;
  font-size: 34px;
}

h2 {
  color: #102336;
  font-size: 18px;
  border-top: solid #7b7b85 1px;
  border: solid #7b7b85 1px;
  padding: 0.1em;
  padding-top: 0.2em;
  padding-left: 0.3em;
  padding-bottom: 0.3em;
  background: #474950;
}

h3 {
  color: #7b7b85;
  font-size: 16px;
  border-left: solid #7b7b85 1px;
  border-bottom: solid #7b7b85 1px;
  padding: 0.1em;
  padding-top: 0.2em;
  padding-left: 0.3em;
  padding-bottom: 0.3em;
  width: 70%;
}

h4 {
  color: #666;
  font-size: 14px;
  padding: 2px;
  margin-top: 5px;
}

H5 {
  color: #666;
  text-align: left;
  font-size: 12px;
  font-size: 12px;
}

LI {
  margin-top: 3ex;
}

LI.explained {
  color: inherit;
}

p.adage {
  background: #515175;
  border: green;
  border-style: solid;
}

p.script {
  font-size: small;
  text-align: right;
}

div.tl {
  position: fixed;
  width: 7%;
  top: 0.4cm;
  right: 0;
  left: 0.4cm;
  bottom: auto;
  margin: 0;
  padding: 5px;
  font-size: 28px;
  color: #666;
  border-bottom: 5px solid #000;
  margin: 0px;
  margin-bottom: 8px;
}

.example {
  border: 1pt solid black;
  padding: 10pt;
  background: #2b2b38;
  overflow: auto;
}

.adage {
  background: #515175;
  border: green;
  border-style: solid;
}