body {
  max-width: 80ch;
  margin: 0 auto;
  padding: 2rem 1rem 15rem;
  line-height: 1.6;
  background: #FFFFFF;
  color: #000000;
  min-height: 100vh;
}

a {
  color: #000000;
}

nav {
  position: fixed;
  bottom: 0;
  left: 0;
  right: 0;
  padding: 0.5rem;
  background: #FFFFFF;
  text-align: center;
  border-top: 1px solid #000000;
}

pre, code {
  font-family: monospace;
}

pre {
  overflow-x: auto;
  border: 1px solid #000000;
  padding: 1rem;
}

blockquote {
  border-left: 2px solid #000000;
  padding-left: 1rem;
  margin-left: 0;
}

hr {
  border: none;
  border-top: 1px solid #000000;
}

#theme-toggle {
  background: #FFFFFF;
  border: 1px solid #000000;
  cursor: pointer;
  padding: 0.25rem 0.5rem;
  color: #000000;
}

.run-button {
  background: #FFFFFF;
  border: 1px solid #000000;
  padding: 0.25rem 0.5rem;
  cursor: pointer;
  margin-bottom: 0.5rem;
  color: #000000;
  font-family: inherit;
}

.code-output {
  border: 1px solid #000000;
  padding: 1rem;
  margin-top: 0.5rem;
  white-space: pre-wrap;
  font-family: monospace;
  background: #FFFFFF;
  color: #000000;
}

html.dark body,
html.dark nav {
  background: #000000;
  color: #FFFFFF;
}

html.dark a {
  color: #FFFFFF;
}

html.dark pre,
html.dark blockquote,
html.dark hr,
html.dark nav {
  border-color: #FFFFFF;
}

html.dark #theme-toggle {
  background: #000000;
  border-color: #FFFFFF;
  color: #FFFFFF;
}

html.dark .run-button {
  background: #000000;
  border-color: #FFFFFF;
  color: #FFFFFF;
}

html.dark .code-output {
  background: #000000;
  border-color: #FFFFFF;
  color: #FFFFFF;
}

@media (prefers-color-scheme: dark) {
  body, nav {
    background: #000000;
    color: #FFFFFF;
  }
  a { color: #FFFFFF; }
  pre, blockquote, hr, nav { border-color: #FFFFFF; }
  #theme-toggle { background: #000000; border-color: #FFFFFF; color: #FFFFFF; }
  .run-button { background: #000000; border-color: #FFFFFF; color: #FFFFFF; }
  .code-output { background: #000000; border-color: #FFFFFF; color: #FFFFFF; }
}

html.light body,
html.light nav {
  background: #FFFFFF;
  color: #000000;
}

html.light a { color: #000000; }
html.light pre, html.light blockquote, html.light hr, html.light nav { border-color: #000000; }
html.light #theme-toggle { background: #FFFFFF; border-color: #000000; color: #000000; }
html.light .run-button { background: #FFFFFF; border-color: #000000; color: #000000; }
html.light .code-output { background: #FFFFFF; border-color: #000000; color: #000000; }

@media (min-width: 900px) {
  body {
    max-width: 100ch;
  }
}