/* Code is set in MonoLisa where the reader has that font installed. No MonoLisa file is part of
   the site: the font that is shipped, as the fallback, is JetBrains Mono (SIL Open Font License
   1.1, see fonts/jetbrains-mono/OFL.txt). */
@font-face {
  font-family: "JetBrains Mono";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("fonts/jetbrains-mono/JetBrainsMono-Regular.woff2") format("woff2");
}
@font-face {
  font-family: "JetBrains Mono";
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url("fonts/jetbrains-mono/JetBrainsMono-Italic.woff2") format("woff2");
}
@font-face {
  font-family: "JetBrains Mono";
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("fonts/jetbrains-mono/JetBrainsMono-Bold.woff2") format("woff2");
}
@font-face {
  font-family: "JetBrains Mono";
  font-style: italic;
  font-weight: 700;
  font-display: swap;
  src: url("fonts/jetbrains-mono/JetBrainsMono-BoldItalic.woff2") format("woff2");
}

:root {
  --mono: "MonoLisa", "JetBrains Mono", monospace;
}

:where(code, pre, kbd, samp) {
  font-family: var(--mono);
}

/* The index and the credits pages. Their header and footer come from style.css. */
.archive-page {
  max-width: 48rem;
  margin: 0 auto;
  padding: 1.5rem 1rem 3rem;
}

.archive-page h2 {
  margin: 0 0 1rem;
  font-size: 1.5rem;
}

.archive-page h3 {
  margin: 1.5rem 0 0.4rem;
  font-size: 1.1rem;
}

.archive-page p,
.archive-page li {
  margin: 0 0 0.6rem;
  line-height: 1.5;
}

.archive-page ul {
  padding-left: 1.4rem;
}

.archive-page a {
  color: var(--accent);
}

.entry-index {
  list-style: none;
  padding-left: 0;
}

.entry-index-item {
  margin: 0 0 2rem;
}

.entry-index-title {
  margin: 0 0 0.4rem;
}

.entry-index-id {
  margin-right: 0.5em;
  font-family: var(--mono);
  font-size: 0.8em;
  font-weight: 400;
}

.site-footer-credit {
  color: var(--text-dim);
  font-size: 0.75rem;
}