body {
  font-family: "Bitstream Vera Sans Mono", monospace;
  font-size: 14px; font-style: normal; font-variant: normal; font-weight: 400; line-height: 18.5714px;
}
a {
  cursor: pointer;
}
h1 {
  margin-top: 30px;
}
h2 {
  margin-bottom: 0px;
}
hr {
  border: 1;
  margin-top: 10px;
}
li {
  padding: 5px 0;
}
p img,
table {
  width: 100%;
}
pre,
p {
  line-height: 140%;
}
pre {
  padding: 10px 10px 10px 15px;
  overflow-x: auto;
  color: white;
  background: #0A0A0A;
  margin-bottom: 40px;
}
code {
  background: #E0C0E0;
}
pre > code {
  background: #0A0A0A;
}
small {
  font-size: 10px;
}
.header,
.footer,
.article,
.content,
.articletitle {
  margin: 0 auto;
  max-width: 800px;
  padding: 10px;
}
.articletitle {
  padding-left: 0px;
  line-height: 24px;
}