html {
  background-color: #002b36;
  color: #839496;
}
html * {
  color: #839496;
  color-profile: sRGB;
  rendering-intent: auto;
  font-weight: lighter;
}
html h1,
html h2,
html h3,
html h4,
html h5,
html h6 {
  color: #93a1a1;
  border-color: #839496;
}
html a {
  color: #268bd2;
}
html a:active {
  color: #cb4b16;
}
html a:visited {
  color: #6c71c4;
}
html body {
  text-align: center;
  margin-left: auto;
  margin-right: auto;
  margin-top: 1em;
  margin-bottom: 5em;
  width: 500px;
  font-family: palatino, garamond, times, serif;
}
header {
  font-family: "Courier New", courier, monospace;
  text-align: center;
}
header a {
  text-decoration: none;
}
header span.domain,
header a.domain {
  color: #859900;
}
header span.domain a:link,
header a.domain a:link {
  color: #859900;
}
header span.domain a:visited,
header a.domain a:visited {
  color: #859900;
}
header span.domain a:hover,
header a.domain a:hover {
  color: #dc322f;
}
header span.domain a:active,
header a.domain a:active {
  color: #cb4b16;
}
header span.prompt {
  color: #dc322f;
}
header span.locale {
  color: #d33682;
}
header span.locale a:link {
  color: #d33682;
}
header span.locale a:visited {
  color: #d33682;
}
header span.locale a:hover {
  color: #dc322f;
}
header span.locale a:active {
  color: #cb4b16;
}
section h2 {
  color: #859900;
  clear: both;
  margin: 0pt;
  padding: 0.5em;
  text-align: center;
}
section .block {
  border-size: 0.4em;
  border-style: solid;
  border-color: #268bd2;
  border-radius: 1em;
  margin: 1em;
  padding: 0.5em;
}
section .block ul,
section .block li {
  list-style-type: none;
}
footer {
  font-size: 8pt;
}