html {
  font-family: sans-serif;
}

body {
  --base-color: #101820;
  --contrast-color: #bbc;
  --decoration-color: #ddd;
  --title-color: #dee;
  --text-color: #ccc;

  --base-light-color: #333;
  --text-light-color: #f2f2f2;

  --link-color: #4183c4;

  margin: 0 auto;
  height: 100%;
  width: 100%;
  font-weight: 300;
  letter-spacing: normal;
  word-spacing: normal;
  font: 15px "Source Sans Pro", "Calibri", "Helvetica", "Arial", "Freesans", "Clean", sans-serif;
  line-height: 1.4;
  hyphens: auto;
  text-align: justify;
  background-color: var(--base-color);
  color: var(--contrast-color);
}

h1,
h2,
h3,
h4,
h5,
h6 {
  color: var(--title-color);
  font-family: "Times New Roman", serif;
  font-weight: 600;
  border-bottom: 1px solid var(--decoration-color);
}

h1 {
  text-align: center;
}

p {
  color: var(--text-color);
  font-size: 16px;
}

#page-getting-started .unstyled li a::before {
  content: none;
}

footer p {
  font-size: 0.8em;
  line-height: 1em;
  margin: 5px 0;
}

nav#navbar {
  overflow: hidden;
  border-bottom: 1px solid black;
  background-color: var(--base-light-color);
  overflow: hidden;
  padding: 0.5em;
  padding-inline: 1.5em;
}

nav#navbar a {
  float: right;
  color: var(--text-light-color);
  text-align: center;
  text-decoration: none;
  font-weight: bold;
  font-family: "Times New Roman", serif;
  font-size: 120%;
  margin: 0.2em;
}

nav#navbar a#link-home-nav {
  float: left;
  font-size: 150%;
}

article,
aside,
details,
figcaption,
figure,
footer,
header,
hgroup,
main,
nav,
section,
summary {
  display: block;
}

a {
  background: transparent;
}

a,
a:visited {
  color: var(--link-color);
  text-decoration: none;
}

a:hover,
a:visited:hover {
  text-decoration: underline;
}

a[href^="http://"]:before,
a[href^="https://"]:before,
a[href^="ftp://"]:before,
a[href^="sftp://"]:before {
  content: "🌐";
}

a[href^="gemini://"]:before {
  content: "♊";
}

a[href^="gopher://"]:before {
  content: "🕳️";
}

a[href^="mailto:"]:before {
  content: "📧";
}

a[href^="magnet://"]:before {
  content: "🧲";
}

a[href^="tel:"]:before {
  content: "📞";
}

a[href^="git@"]:before {
  content: "🔥";
}

a[href*="news.ycombinator.com"]:before {
  content: "📰";
}

a[href*="vimeo.com"]:before,
a[href*="youtube.com"]:before,
a[href*="youtu.be"]:before {
  content: "📺";
}

a[href*="wikipedia.org"]:before,
a[href*="wiktionary.org"]:before {
  content: "📖";
}

#footer a:before {
  content: "";
}

a[href="#document-top"] {
  vertical-align: super;
  font-weight: normal;
  font-size: 15px;
  float: right;
}

#footer a:hover {
  text-decoration: none;
}

#footer a:after {
  content: none;
}

main {
  margin-top: 1em;
}

@media screen and (max-width: 659px) {
  main {
    width: 95%;
    padding-left: 2.5%;
  }
}

@media screen and (min-width: 660px) and (max-width: 999px) {
  main {
    width: 80%;
    padding-left: 10%;
  }
}

@media screen and (min-width: 1000px) {
  main {
    width: 800px;
    padding-left: calc((100% - 800px) / 2);
  }
}

footer {
  margin: auto;
  text-align: center;
}

.footnote-ref::before,
.footnote-backref::before {
  content: none;
}

.footnote {
  display: block;
  border: 1px solid white;
  padding: 0.1em 0.2em;
  border-radius: 0.2em;
  margin: 0.5em 3em;

  font-size: 14px;
}

@media print {
  .footnote {
    border-color: black;
    border-width: 2px;
  }

  .footnote-label {
    display: none;
  }
}

.series-link-container {
  display: flex;
  justify-content: space-between;
  align-items: center;
}

.prev-link,
.next-link {
  white-space: nowrap;
}

.series-link-container a {
  flex: 1;
  text-align: left;
}

.series-link-container a.next-link {
  text-align: right;
}

pre {
  /* don't let long pieces of code increase the width of the page */
  overflow: scroll;
}

.blip-time {
  text-align: center;
  font-style: italic;
}

.blip {
  text-align: center;
  line-height: 1.2;
  border: 1px solid white;
  padding: 0.25em 0.5em;
  border-radius: 0.5em;
  margin: 1em 5em;
}

.blip pre {
  align-self: center;
  text-align: left;
}

@media print {
  .blip {
    border-color: black;
    border-width: 2px;
  }
}