:root {
  --background-color: white;
  --text-color: black;
  --link-color: teal;
  --text-highlight-color: silver;
}

@media (prefers-color-scheme: dark) {
  :root {
    --background-color: black;
    --text-color: white;
    --link-color: aqua;
    --text-highlight-color: grey;
  }
}

* {
  margin: 0;
  padding: 0;
}

a {
  color: var(--link-color);
}

h1, h2, h3, h4, h5, h6 {
  font-size: 1rem;
  margin: 0;
  margin-bottom: 1ch;
}

ul {
  margin: 0 4ch 2ch;
}

ul ul {
  margin-bottom: 0;
}

dt {
  margin-bottom: 1ch;
}
dd {
  margin-left: 4ch;
}

pre {
  margin-bottom: 1rem;
}

p {
  padding-bottom: 1ch;
}

div.example {
  margin: 0;
}

body {
  background: var(--background-color);
  color: var(--text-color);
  margin: 0;
  padding: 0 2ch 2ch;
  font-size: 1rem;
  font-family: monospace;
}

.example-formatted {
  font-family: monospace;
}

.code {
  white-space: nowrap;
  background-color: var(--text-highlight-color);
}

.settitle {
  text-align: left !important;
}

header {
  margin: 2ch auto;
  border-bottom: 1ch solid var(--text-color);
  padding-bottom: 2ch;
}

header > h1 {
  font-weight: normal;
  margin-bottom: 2ch;
}

.nav-panel * {
  margin: 0;
  padding: 0;
}

article, body > div:not(.nav-panel) > *:not(.nav-panel):not(hr) {
  max-width: 80ch;
}

header > nav > span {
  white-space: nowrap;
}

footer {
  margin: 2ch auto;
  padding-top: 2ch;
  border-top: 1ch solid var(--text-color);
}

pre {
  background: gray;
  color: black;
  padding: 2ch;
  font-weight: bold;
  max-width: 100%;
  overflow: auto;
}

.logo-name {
  font-weight: bold;
  background: var(--link-color);
  padding: 0 1ch;
  color: var(--background-color);
}

hr {
  border: none;
  height: 1ch;
  background-color: var(--text-color);
  margin: 2ch 0;
}

ol {
  margin-left: 2ch;
}