body {
  background: #fcfcf2;
  font-family: sans-serif;
  font-size: 14pt;
  line-height: 1.7em;
  color: #073642;
}
strong {
  color: #dc322f;
}
p {
  margin-top: 0.8em;
  margin-bottom: 0.5em;
}
ol li::marker,
ul li::marker {
  color: #b58900;
}
li {
  margin-top: 0.5em;
}
tr td >p {
  margin: 0;
}
code {
  font-family: "Mono Uralic", "Free Mono", "Courier New", Courier, monospace;
  color: #002b36;
  padding: 0.15em 0.2em;
  border-radius: 0.15em;
  background: #f3efe2;
}
pre {
  font-family: "Mono Uralic", "Free Mono", "Courier New", Courier, monospace;
  color: #002b36;
  margin-left: 1em;
  padding: 0.3em 0.15em;
  border-top: 0.05em solid #93a1a1;
  border-bottom: 0.05em solid #93a1a1;
  background: #f1eddd;
}
tt {
  font-family: "Mono Uralic", "Free Mono", "Courier New", Courier, monospace;
  color: #002b36;
}
em {
  font-family: MathJax_Math;
  font-size: 1.1em;
}
pre[class^="lang-"] {
  margin-top: 2em;
  margin-bottom: 2em;
}
h1,
h2 {
  margin-bottom: 1.5em;
}
h2 {
  margin-top: 6em;
}
h3 {
  margin-top: 1.7em;
  margin-bottom: 0.7em;
}
h4 {
  margin-top: 1.3em;
  margin-bottom: 0.2em;
  font-style: italic;
}
h1 {
  margin-top: 0.5em;
}
/* H3 is one level too complex for document structure but can be abused to give
 * sections of text a mnemonic summary */
h3 {
  font-size: 1.2em;
  font-weight: normal;
}
h1 {
  color: #000;
}
h2 {
  color: #dc322f;
}
h3 {
  color: #b58900;
}
table {
  margin-top: 1em;
  border-collapse: collapse;
}
table tr:nth-child(odd) td {
  color: #657b83;
}
table th,
table td {
  padding-left: 0.7em;
  padding-right: 0.7em;
}
table td {
  margin: 0.5em 0.5em;
  vertical-align: top;
}
table th {
  border-bottom: 0.1em solid #c9d0d0;
  font-size: 0.9em;
  font-weight: normal;
  color: #586e75;
  text-shadow: 0 0.04em 0 #586e75;
}
table th.U {
  border: none;
}
table th.T >span {
  writing-mode: vertical-lr;
  text-orientation: sideways;
  transform: rotate(-180deg);
  margin-right: 1.5em;
}
a {
  color: #cb4b16;
  text-decoration: none;
}
a:hover {
  color: #073642;
}
img {
  max-width: 100%;
}
form.A >div {
  margin-top: 0.5em;
}
form.A >div >b {
  display: inline-block;
  font-weight: normal;
}
form.A >div >input {
  border: 0.06em solid #93a1a1;
  border-radius: 0.15em;
}
input[type=text] {
  border: none;
  border-radius: 0.3em;
  background: #eee;
  padding: 0.4em;
}
input[readonly] {
  color: #dc322f;
  background: #fff;
}
button:hover {
  cursor: pointer;
}
.base03 {
  color: #002b36;
}
.base02 {
  color: #073642;
}
.base01 {
  color: #586e75;
}
.base00 {
  color: #657b83;
}
.base0 {
  color: #839496;
}
.base1 {
  color: #93a1a1;
}
.base2 {
  color: #eee8d5;
}
.base3 {
  color: #fdf6e3;
}
.yellow {
  color: #b58900;
}
.orange {
  color: #cb4b16;
}
.red {
  color: #dc322f;
}
.magenta {
  color: #d33682;
}
.violet {
  color: #6c71c4;
}
.blue {
  color: #268bd2;
}
.cyan {
  color: #2aa198;
}
.green {
  color: #859900;
}
.bg_base03 {
  background-color: #002b36;
}
.bg_base02 {
  background-color: #073642;
}
.bg_base01 {
  background-color: #586e75;
}
.bg_base00 {
  background-color: #657b83;
}
.bg_base0 {
  background-color: #839496;
}
.bg_base1 {
  background-color: #93a1a1;
}
.bg_base2 {
  background-color: #eee8d5;
}
.bg_base3 {
  background-color: #fdf6e3;
}
.bg_yellow {
  background-color: #b58900;
}
.bg_orange {
  background-color: #cb4b16;
}
.bg_red {
  background-color: #dc322f;
}
.bg_magenta {
  background-color: #d33682;
}
.bg_violet {
  background-color: #6c71c4;
}
.bg_blue {
  background-color: #268bd2;
}
.bg_cyan {
  background-color: #2aa198;
}
.bg_green {
  background-color: #859900;
}
.clear {
  clear: both;
}
.centered {
  display: block;
  margin-left: auto;
  margin-right: auto;
}
.center_justify {
  text-align: center;
}
pre .normal {
  color: #000;
}
pre .keyword {
  color: #a1a;
}
pre .string {
  color: #a11;
}
pre .symbol {
  color: #166;
}
pre .function {
  color: #166;
}
pre .number {
  color: #166;
}
pre .date {
  color: #166;
}
pre .time {
  color: #166;
}
pre .ip {
  color: #a11;
}
pre .comment {
  color: #11a;
}
pre .cmdline {
  color: #dc322f;
}
.syntax_highlighted {
  background: #f3efe2;
}
.syntax_highlighted b {
  font-weight: normal;
  color: #859900;
}
.syntax_highlighted i {
  font-style: normal;
  color: #800080;
}
.syntax_highlighted u {
  text-decoration: none;
  color: #b58900;
}
ul.alpha {
  list-style-type: lower-alpha;
}
table.compact th,
table.compact td {
  padding-left: 0.3em;
  padding-right: 0.3em;
}
table.register {
  margin-top: 1.6em;
}
table.register th {
  width: 3em;
}
table.register td {
  border-left: 0.1em solid #c9d0d0;
  text-align: center;
  font-family: "Mono Uralic", "Free Mono", "Courier New", Courier, monospace;
  color: #002b36;
}
table.register_fields {
  margin-top: 1.6em;
}
table.register_fields td:first-child {
  vertical-align: top;
  font-family: "Mono Uralic", "Free Mono", "Courier New", Courier, monospace;
  color: #002b36;
}
.bar_chart {
  display: grid;
  grid-template-columns: auto 1fr;
}
.bar_chart .YA {
  display: grid;
  grid-template-rows: 1fr auto;
  border-right: 1px solid #000;
}
.bar_chart .XA {
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  border-top: 1px solid #000;
}
.bar_chart .Ymax,
.bar_chart .Ymin {
  margin-right: 0.3em;
  position: relative;
}
.bar_chart .Ymax {
  top: -0.8em;
}
.bar_chart .Ymin {
  top: 0.8em;
}
.bar_chart .Xmin,
.bar_chart .Xmax {
  margin-top: 0.2em;
}
.bar_chart .Xmin {
  margin-left: 1.4em;
}
.bar_chart .Xmax {
  margin-right: 1.2em;
  text-align: right;
}
.bar_chart .CA {
  display: flex;
  flex-direction: row;
  min-height: 10em;
  align-items: flex-end;
}
.bar_chart .CA >div {
  flex-grow: 1;
  margin: 0 0.2em;
}
.bar_chart .B {
  background: #ea713e;
  border: 0 solid #a23c12;
  border-width: 0.1em 0.1em 0 0.1em;
  border-radius: 2px;
  cursor: crosshair;
}
.bar_chart .B:hover {
  background: #fff;
}
#page {
  max-width: 64em;
  margin: 0 auto;
  padding: 1em 1.5em;
}
#footer {
  text-align: center;
  opacity: 0.1;
}
#search {
  display: none;
/* The search box should be center-aligned */
  text-align: center;
}
#search form {
  display: inline-block;
  margin: 0 auto;
}
#search .results ul {
  list-style: none;
  padding: 0;
}