body {
  background-color: #ffffff;
  color: black;
  margin-left: 3em;
}

pre,
code {
  font-family: monospace;
  font-variant-ligatures: none;
}

aside {
  display: inline;
  float: left;
  margin-left: calc(-1ex - 3em);
  position: relative;
  text-align: right;
  width: 3em;
}

pre {
  /* Colours picked from the PDF */
  background: #F8F8F8;
  border: 1px solid #808080;
  min-width: 800px;
  width: min-content;
  padding-right: 1em;
}

a {
  color: rgb(10, 73, 136);
}

.footnote {
  font-size: smaller;
  position: relative;
  top: -0.4em;
  vertical-align: baseline;
}

.footnotetext {
  font-size: smaller;
  padding-left: 1em;
}

.notestart,
.examplestart {
  padding-right: 10px;
}

.notestart,
.note {
  font-size: 90%;
}

#disclaimer {
  float: top;
  background-color: #f1f1f1;
  border-radius: 15px;
  margin: 10px;
  margin-left: calc(18px - 3em);
  overflow: hidden;
  padding: 20px;
  text-align: center;
}

#disclaimer br {
  display: block;
  margin: 10px 0;
}

@media (prefers-color-scheme: dark) {
  body {
    background: #202020;
    color: #f0f0f0;
  }

  a {
    color: #5bc0ff;
  }

  pre {
    background: #1a1a1a;
    border-color: #505050;
  }

  #disclaimer {
    background-color: #1a1a1a;
  }
}

@media screen and (max-width: 850px) {

  /* original is ~800px, add 3em... */
  br {
    display: none;
  }
}