@font-face {
  font-family: "Bitstream Vera Sans Mono";
  src: url("../fonts/Bitstream_Vera_Sans_Mono.woff2") format("woff2");
  font-weight: normal;
  font-style: normal;
}

* * {
  box-sizing: border-box;
  word-wrap: break-word;
  -webkit-text-size-adjust: none;
  margin: 0;
  padding: 0;
  font-size: inherit;
  line-height: 1.1em;
}
code, code * {
  word-wrap: normal;
}

footer, header {
  display: block;
}

#main {
  margin: 20px;
  margin-top: 0px;
}
@media screen and (max-width: 500px) {
  #main {
    margin: 10px 0px;
  }
}

#article {
  margin-left: auto;
  margin-right: auto;
  max-width: 841px;
  min-width: 280px;
  margin-bottom: 30px;
  padding: 20px 30px;
  padding-top: 16px;
  border: 1px solid black;
  border-top: none;
}
@media screen and (max-width: 500px) {
  #article {
    margin-bottom: 4px;
    padding: 0px 10px;
    border: none;
  }
}

img.block {
  display: block;
  margin-left: auto;
  margin-right: auto;
}

body {
  overscroll-behavior: none;
  font-family: "Palatino", "Palatino Linotype", sans-serif;
  font-size: 20px;
}

ul {
  margin-left: 1em;
  list-style-type: disc;
}

ol {
  margin-left: 1em;
  list-style-type: decimal;
}

h1, h2, em {
  font-weight: bold;
}

h1 {
  font-size: 30px;
  padding: 12px 0px;
  letter-spacing: 0.5px;
}
@media screen and (max-width: 500px) {
  h1 {
    padding: 6px 0px;
    padding-top: 12px;
  }
}

h2 {
  font-size: 22px;
  padding: 7px 0px;
}

p, img.block, li, pre, blockquote {
  padding: 7px 0px;
}

.screenshot {
  width: 100%;
  max-width: 779px;
}

li {
  padding-left: 0.1em;
}

.finePrint {
  font-size: 17px;
}

footer {
  padding: 13px 0px;
  margin-top: 13px;
  border-top: 1px solid black;
}

a:link, a:hover, a:focus, a:active, *, * * {
  color: black;
}

code {
  line-height: 1.15em;
  white-space: pre;
  display: block;
  overflow: auto;
  overflow-y: hidden;
}
@media screen and (max-width: 895px) {
  p > code,
  pre > code {
    border: 1px solid black;
    padding: 10px;
    margin-left: 0px;
  }
}

code, .inlineCode, .outputBox, .handle {
  font-size: 18px;
  font-family: "Bitstream Vera Sans Mono", "DejaVu Sans Mono", Menlo, Monaco, monospace;
}

.inlineCode {
  color: #00ab96;
}

.outputBox {
  padding: 3px 5px;
  border-radius: 5px;
  background-color: hsl(152, 88%, 91%);
}

.outputBox, .example button {
  margin: 6px 0px;
}

.example, code, blockquote {
  margin-left: 20px;
}
blockquote {
  margin-right: 20px;
}

.example {
  margin: 12px 0px;
}

.outputBox {
  margin-right: 20px;
}

.example > *:first-child {
  margin-top: 0px;
}
.example > *:last-child {
  margin-bottom: 0px;
}

button {
  padding: 4px 8px;
  border: 1px solid #53729b;
  font-family: sans-serif;
  color: white;
  text-shadow: 1px 1px 0px #53729b;
  background-color: #88bcff;
  outline: none;
}
button::-moz-focus-inner {
  border: 0;
}

button:active {
  text-shadow: none;
  background-color: #53729b;
}

button:disabled {
  border: 1px solid #ccc;
  text-shadow: none;
  background-color: #ccc;
}

.hugeText {
  font-size: 1.7em;
  line-height: 1em;
}

video {
  display: block;
  border: 1px solid black;
  outline: none;
  width: 100%;
}

.display {
  margin: 7px;
  margin-left: 20px;
  margin-right: 20px;
  padding: 10px;
  border: 2px solid black;
}