a {
  color: #ffffff;
  text-decoration: none;
}
a.header, a.header-marked {
  color: #808080;
  line-height: 20px;
  padding: 10px 1vw;
  text-decoration: none;
}
a.header-marked {
  color: #cccccc;
}
body {
  background-color: #111111;
  color: #cccccc;
  height: 100%;
  margin: 0pt;
  padding-top: 0pt;
}
div.body {
  background-color: #111111;
  margin: 0 2vw 0 2vw;
  padding: 7em 0 0 0;
}
div.header {
  background-color: #000000;
  border: 1px solid transparent;
  border-color: #718c6a;
  border-radius: 0;
  border-width: 0 0 2px;
  box-sizing: border-box;
  left: 0;
  margin: 0pt;
  position: fixed;
  right: 0;
  top: 0;
}
div.header-main {
  display: inline;
  padding: 0pt;
}
div.header-logo {
  color: #cccccc;
  display: inline;
  float: left;
  text-align: center;
  font-size: 2.0em;
  font-weight: bold;
  font-stretch: ultra-expanded;
  margin: 0pt;
  padding: 1vw;
  width: 100%;
}
div.text {
}
h1 {
  clear: both;
  font-size: 1.6em;
  font-weight: bold;
  margin: 0.5em 0em 0.5em;
}
h2 {
  display: inline;
  font-size: 1.0em;
  font-weight: bold;
}
li.header {
  box-sizing: border-box;
  display: block;
  float: left;
  margin: 0px;
  padding: 0px 0px 5px 0px;
  position: relative;
}
p.code {
  display: block;
  font-family: monospace;
  padding: 1em;
  unicode-bidi: embed;
  white-space: pre;
}
p.quote {
  font-style: italic;
  padding: 1em;
}
ul.header {
  color: #808080;
  float: left;
  list-style: none;
  margin: 0pt;
  padding: 0pt;
}