body {
  margin-left: 10vw;
  margin-right: 10vw;
  margin-top: 10vh;
  margin-bottom: 10vh;
  background-color: black;
  color: white;
  font-family: sans-serif;
  font-size: 20pt;
  line-height: 1.4;
  min-width: 80vw;
}

p {
  margin-top: 1em;
  margin-bottom: 1em;
}

sub {
  vertical-align: sub;
  font-size: 75%;
}

sup {
  vertical-align: super;
  font-size: 75%;
}

img {
  border: thin dotted;
  border-color: inherit;
  padding: 2px;
  max-width: 80vw;
}


.hexin {
  background-color: inherit;
  color: inherit;
  font-size: inherit;
  border: thin solid;
  border-color: inherit;
}

h1 {
  font-size: 150%;
  font-weight: bold;
  padding-bottom: 0.25em;
  font-family: sans-serif;
}

h2 {
  font-size: 120%;
  font-weight: bold;
  padding-top: 0.5em;
  font-family: sans-serif;
}

h3 {
  font-size: 115%;
  font-weight: bold;
  padding-top: 0.5em;
  font-family: sans-serif;
}

h4 {
  font-size: 110%;
  padding-top: 0.5em;
  font-weight: regular;
  font-family: sans-serif;
}

h5 {
  font-size: 100%;
  padding-top: 0.25em;
  font-weight: regular;
  font-family: sans-serif;
}

b,
strong,
i,
em,
cite,
tt,
code,
img,
span {
  display: inline;
}

ul,
ol {
  margin-top: 0.25em;
  margin-bottom: 0.25em;
  margin-left: 1em;
}

ul {
  list-style: square outside;


ol {
  list-style: decimal outside;
}

ol ol {
  list-style: lower-alpha outside;
}

ol ol ol {
  list-style: lower-roman outside;
}

ul ul {
  list-style: disc outside;
}

ul ul ul {
  list-style: "- " outside;
}

li {
  display: list-item;
  padding-top: 2px;
}

b,
strong {
  font-weight: bold;
}

i,
em {
  font-style: italic;
}

cite {
  font-style: italic;
}

tt,
code,
div.sourceCode,
pre {
  font-family: monospace;
}

a:link,
a:visited {
  text-decoration: underline;
}

a:active,
a:hover {
  text-decoration: underline;
  border: thin solid;
}

a:link img {
  border: none;
}

a:visited img {
  border: none;
}

a:active img {
  border: none;
}

.errbox {
  color: #ffffff;
  background-color: #ab2400;
  padding: 5px;
  margin-left: 1rem;
  padding-left: 0.5rem;
  padding-right: 0.5rem;
}

.no_error {
  visibility: hidden;
}