.highlight .c {
  color: #998;
  font-style: italic;
}
.highlight .err {
  color: #a61717;
  background-color: #e3d2d2;
}
.highlight .k {
  font-weight: bold;
}
.highlight .o {
  font-weight: bold;
}
.highlight .cm {
  color: #998;
  font-style: italic;
}
.highlight .cp {
  color: #999;
  font-weight: bold;
}
.highlight .c1 {
  color: #998;
  font-style: italic;
}
.highlight .cs {
  color: #999;
  font-weight: bold;
  font-style: italic;
}
.highlight .gd {
  color: #000;
  background-color: #fdd;
}
.highlight .gd .x {
  color: #000;
  background-color: #faa;
}
.highlight .ge {
  font-style: italic;
}
.highlight .gr {
  color: #a00;
}
.highlight .gh {
  color: #999;
}
.highlight .gi {
  color: #000;
  background-color: #dfd;
}
.highlight .gi .x {
  color: #000;
  background-color: #afa;
}
.highlight .go {
  color: #888;
}
.highlight .gp {
  color: #555;
}
.highlight .gs {
  font-weight: bold;
}
.highlight .gu {
  color: #aaa;
}
.highlight .gt {
  color: #a00;
}
.highlight .kc {
  font-weight: bold;
}
.highlight .kd {
  font-weight: bold;
}
.highlight .kp {
  font-weight: bold;
}
.highlight .kr {
  font-weight: bold;
}
.highlight .kt {
  color: #458;
  font-weight: bold;
}
.highlight .m {
  color: #099;
}
.highlight .s {
  color: #d14;
}
.highlight .na {
  color: #008080;
}
.highlight .nb {
  color: #0086B3;
}
.highlight .nc {
  color: #458;
  font-weight: bold;
}
.highlight .no {
  color: #008080;
}
.highlight .ni {
  color: #800080;
}
.highlight .ne {
  color: #900;
  font-weight: bold;
}
.highlight .nf {
  color: #900;
  font-weight: bold;
}
.highlight .nn {
  color: #555;
}
.highlight .nt {
  color: #000080;
}
.highlight .nv {
  color: #008080;
}
.highlight .ow {
  font-weight: bold;
}
.highlight .w {
  color: #bbb;
}
.highlight .mf {
  color: #099;
}
.highlight .mh {
  color: #099;
}
.highlight .mi {
  color: #099;
}
.highlight .mo {
  color: #099;
}
.highlight .sb {
  color: #d14;
}
.highlight .sc {
  color: #d14;
}
.highlight .sd {
  color: #d14;
}
.highlight .s2 {
  color: #d14;
}
.highlight .se {
  color: #d14;
}
.highlight .sh {
  color: #d14;
}
.highlight .si {
  color: #d14;
}
.highlight .sx {
  color: #d14;
}
.highlight .sr {
  color: #009926;
}
.highlight .s1 {
  color: #d14;
}
.highlight .ss {
  color: #990073;
}
.highlight .bp {
  color: #999;
}
.highlight .vc {
  color: #008080;
}
.highlight .vg {
  color: #008080;
}
.highlight .vi {
  color: #008080;
}
.highlight .il {
  color: #099;
}

html {
  margin-bottom: 0;
  display: flex;
  flex-direction: column;
  height: 100%;
}

body {
  display: flex;
  flex-direction: column;
  height: 100%;
  box-sizing: border-box;
  background: #3c3836;
  color: #ebdbb2;
  font-size: medium;
  font-family: serif;
  line-height: 1.5;
  margin: 0;
  height: 100%;
}

body > * {
  flex-shrink: 0;
}

hr {
  border: none;
  border-top: double;
  color: #a89984;
  text-align: center;
  overflow: visible;
}

.global-header {
  background-color: #504945;
  color: #ebdbb2;
  font-family: monospace;
  font-size: x-large;
  font-weight: bold;
  z-index: 1;
}

.global-footer {
  background-color: #504945;
  color: #ebdbb2;
  font-family: monospace;
  text-align: center;
}

.main {
  flex-grow: 1;
}

.wrapper {
  align-content: start;
  max-width: 800px;
  margin: auto;
  background: #282828;
  height: 100%;
}

.content {
  margin: 1ex;
}

h1,
h2,
h3,
h4,
h5,
h6 {
  margin: 0ex;
  font-weight: bold;
}

h1 {
  color: #fb4934;
  font-size: xxx-large;
}

h2 {
  color: #fe8019;
  font-size: xx-large;
}

h3 {
  color: #fabd2f;
  font-size: x-large;
}

h4 {
  color: #b8bb26;
  font-size: large;
}

h5 {
  color: #83a598;
  font-size: medium;
}

h6 {
  color: #de869b;
  font-size: medium;
}

.lineno {
  color: invert;
}

a {
  text-decoration: underline;
  color: #8ec07c;
}

a:visited {
  color: #689d6a;
}

p {
  text-align: justify;
  text-justify: inter-word;
}

pre,
code {
  color: #282828;
  background-color: #ebdbb2;
  font-family: monospace;
  line-height: normal;
  border-radius: 2px;
}

blockquote {
  border-left: 2px solid #ebdbb2;
  margin: auto;
}

blockquote > p {
  margin-left: 4px;
}

table, tr {
  border-collapse: collapse;
  border: 1px solid;
}

td {
  padding-left: 0.5ex;
  padding-right: 0.5ex;
}

table {
  background: #3c3836;
  margin-left: auto;
  margin-right: auto;
}

/*# sourceMappingURL=style.css.map */