@font-face {
  font-family: "Newsreader";
  font-style: normal;
  font-weight: 300 600;
  font-display: swap;
  src: url("/fonts/newsreader-latin.woff2") format("woff2");
}

:root {
  --paper: #f2eee4;
  --ink: #24211c;
  --muted: #696359;
  --faint: rgba(36, 33, 28, 0.14);
  --rule: rgba(36, 33, 28, 0.26);
  --edge: clamp(1.25rem, 4.2vw, 4.75rem);
  --serif: "Newsreader", "Iowan Old Style", "Palatino Linotype", Palatino, Georgia, serif;
  --sans: "Avenir Next", Avenir, "Helvetica Neue", Helvetica, Arial, sans-serif;
  --mono: ui-monospace, "SFMono-Regular", "Cascadia Mono", Consolas, monospace;
}

*,
*::before,
*::after {
  box-sizing: border-box;
}

html {
  min-width: 20rem;
  background: var(--paper);
  -webkit-text-size-adjust: 100%;
}

body {
  min-height: 100svh;
  margin: 0;
  color: var(--ink);
  background: var(--paper);
  font-family: var(--serif);
  font-synthesis: none;
  text-rendering: optimizeLegibility;
}

body::before {
  position: fixed;
  inset: 0;
  z-index: -1;
  background-image: url("data:image/svg+xml,%3Csvg viewBox='0 0 180 180' xmlns='http://www.w3.org/2000/svg'%3E%3Cfilter id='n'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='.72' numOctaves='3' stitchTiles='stitch'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23n)' opacity='.3'/%3E%3C/svg%3E");
  content: "";
  opacity: 0.035;
  pointer-events: none;
}

a {
  color: inherit;
}

.folio {
  display: grid;
  width: min(100%, 112rem);
  min-height: 100svh;
  margin-inline: auto;
  grid-template-rows: auto 1fr auto;
  padding: var(--edge);
}

.masthead {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  padding-top: 0.9rem;
  border-top: 1px solid var(--rule);
  font-family: var(--sans);
  text-transform: uppercase;
}

.masthead__title {
  margin: 0;
  font-size: 0.78rem;
  font-weight: 600;
  letter-spacing: 0.24em;
  line-height: 1.25;
}

.masthead__title a {
  position: relative;
  display: inline-block;
  text-decoration: none;
}

.masthead__title a::after {
  position: absolute;
  right: 0;
  bottom: -0.35rem;
  left: 0;
  height: 1px;
  background: currentColor;
  content: "";
  opacity: 0;
  transform: scaleX(0.35);
  transform-origin: left;
  transition: opacity 180ms ease, transform 180ms ease;
}

.masthead__title a:hover::after,
.masthead__title a:focus-visible::after {
  opacity: 0.65;
  transform: scaleX(1);
}

.masthead__title a:focus-visible {
  outline: 1px solid var(--ink);
  outline-offset: 0.55rem;
}

.masthead__edition,
.footer {
  margin: 0;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.72rem;
  letter-spacing: 0.16em;
  line-height: 1.3;
  text-transform: uppercase;
}

.masthead__edition span {
  display: inline-block;
  margin-inline: 0.18em;
  color: var(--ink);
}

.page {
  display: grid;
  align-items: center;
  padding-block: clamp(4rem, 10vh, 8rem);
}

.lemma {
  display: grid;
  width: 100%;
  grid-template-columns: minmax(4rem, 1fr) minmax(0, 10fr) minmax(1rem, 1fr);
  grid-template-rows: auto auto;
  align-items: start;
}

.lemma__label {
  display: flex;
  grid-column: 1;
  grid-row: 1;
  align-items: baseline;
  gap: 0.55rem;
  margin: 0;
  padding-top: clamp(0.5rem, 1vw, 1.15rem);
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.7rem;
  letter-spacing: 0.12em;
  line-height: 1;
  text-transform: uppercase;
}

.lemma__roman {
  color: var(--ink);
  font-family: var(--serif);
  font-size: 1rem;
  font-weight: 450;
  letter-spacing: 0;
}

.lemma__statement {
  grid-column: 2;
  grid-row: 1;
  margin: 0;
  font-family: var(--serif);
  font-size: clamp(4.25rem, 7.65vw, 8.6rem);
  font-weight: 350;
  font-variation-settings: "opsz" 72;
  letter-spacing: -0.052em;
  line-height: 0.86;
}

.lemma__statement span {
  display: block;
  white-space: nowrap;
}

.proof-end {
  display: grid;
  grid-column: 2;
  grid-row: 2;
  grid-template-columns: minmax(3rem, 1fr) auto auto;
  align-items: center;
  gap: 0.72rem;
  width: min(100%, 48rem);
  margin-top: clamp(2.25rem, 5vh, 4.5rem);
}

.proof-end__rule {
  height: 1px;
  background: var(--faint);
  transform: scaleX(0.42);
  transform-origin: left;
  transition: background-color 260ms ease, transform 420ms cubic-bezier(0.22, 1, 0.36, 1);
}

.proof-end__word {
  color: var(--muted);
  font-family: var(--serif);
  font-size: 0.88rem;
  font-style: italic;
  letter-spacing: 0.045em;
  opacity: 0;
  transform: translateX(0.35rem);
  transition: opacity 220ms ease, transform 260ms ease;
}

.proof-end__link {
  opacity: 1;
  transform: none;
  margin: -0.35rem -0.1rem;
  padding: 0.35rem 0.1rem;
  text-decoration-color: var(--rule);
  text-decoration-thickness: 1px;
  text-underline-offset: 0.28em;
}

.proof-end__link:hover {
  color: var(--ink);
  text-decoration-color: currentColor;
}

.proof-end__link:focus-visible {
  outline: 1px solid var(--ink);
  outline-offset: 0.4rem;
}

.proof-end__link:visited {
  color: inherit;
}

.proof-end__mark {
  display: block;
  width: 0.58rem;
  height: 0.58rem;
  border: 1px solid var(--ink);
  transition: background-color 220ms ease, transform 320ms cubic-bezier(0.22, 1, 0.36, 1);
}

.lemma:hover .proof-end__rule {
  background: var(--rule);
  transform: scaleX(1);
}

.lemma:hover .proof-end__word {
  opacity: 1;
  transform: translateX(0);
}

.lemma:hover .proof-end__mark {
  background: var(--ink);
  transform: rotate(90deg);
}

.footer {
  display: flex;
  justify-content: flex-end;
  padding-bottom: 0.2rem;
}

.footer p {
  margin: 0;
}

.sr-only {
  position: absolute;
  width: 1px;
  height: 1px;
  padding: 0;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
  border: 0;
}

/* Index and collections */

.folio--archive {
  grid-template-rows: auto 1fr auto;
}

.archive {
  display: grid;
  align-items: center;
  padding-block: clamp(4.5rem, 11vh, 9rem);
}

.archive-sheet {
  display: grid;
  width: min(100%, 76rem);
  margin-inline: auto;
  grid-template-columns: minmax(5rem, 1fr) minmax(0, 7fr) minmax(1rem, 1fr);
}

.archive-heading {
  grid-column: 2;
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  align-items: end;
  gap: 2rem;
  padding-bottom: clamp(2rem, 5vh, 3.5rem);
  border-bottom: 1px solid var(--rule);
}

.archive-kicker,
.collection-kicker,
.entry__section,
.entry__date,
.entry-nav {
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.7rem;
  letter-spacing: 0.14em;
  line-height: 1.4;
  text-transform: uppercase;
}

.archive-kicker,
.collection-kicker {
  margin: 0 0 0.85rem;
}

.archive-title,
.collection-title,
.entry__title {
  margin: 0;
  font-weight: 350;
  font-variation-settings: "opsz" 72;
  letter-spacing: -0.045em;
}

.archive-title {
  font-size: clamp(4.5rem, 8vw, 8.25rem);
  line-height: 0.82;
}

.archive-mark {
  display: block;
  width: 0.66rem;
  height: 0.66rem;
  margin-bottom: 0.45rem;
  border: 1px solid var(--ink);
}

.index-nav {
  grid-column: 2;
}

.index-list {
  margin: 0;
  padding: clamp(1rem, 2.4vh, 1.8rem) 0 0;
  list-style: none;
}

.index-list a {
  display: grid;
  grid-template-columns: 3rem auto minmax(2rem, 1fr) auto;
  align-items: baseline;
  gap: clamp(0.8rem, 2.5vw, 2rem);
  padding-block: clamp(0.9rem, 2.2vh, 1.35rem);
  text-decoration: none;
}

.index-list__number,
.index-list__empty {
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.68rem;
  letter-spacing: 0.12em;
}

.index-list__name {
  font-size: clamp(1.6rem, 2.8vw, 2.65rem);
  font-weight: 350;
  letter-spacing: -0.025em;
  line-height: 1;
}

.index-list__leader {
  height: 1px;
  background: var(--faint);
  transform: scaleX(0.16);
  transform-origin: right;
  transition: background-color 240ms ease, transform 360ms cubic-bezier(0.22, 1, 0.36, 1);
}

.index-list__empty {
  transition: color 180ms ease, transform 240ms ease;
}

.index-list a:hover .index-list__leader,
.index-list a:focus-visible .index-list__leader {
  background: var(--rule);
  transform: scaleX(1);
}

.index-list a:hover .index-list__empty,
.index-list a:focus-visible .index-list__empty {
  color: var(--ink);
  transform: translateX(0.18rem);
}

.index-list a:focus-visible,
.quiet-link:focus-visible,
.entry-nav a:focus-visible,
.prose a:focus-visible {
  outline: 1px solid var(--ink);
  outline-offset: 0.35rem;
}

.archive-footer {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  padding-bottom: 0.2rem;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.68rem;
  letter-spacing: 0.14em;
  line-height: 1.4;
  text-transform: uppercase;
}

.quiet-link,
.entry-nav a {
  text-decoration-color: var(--faint);
  text-decoration-thickness: 1px;
  text-underline-offset: 0.32em;
  transition: color 160ms ease, text-decoration-color 160ms ease;
}

.quiet-link:hover,
.entry-nav a:hover {
  color: var(--ink);
  text-decoration-color: currentColor;
}

.collection-sheet {
  display: grid;
  width: min(100%, 70rem);
  min-height: clamp(20rem, 52vh, 38rem);
  margin-inline: auto;
  grid-template-columns: minmax(5rem, 1fr) minmax(0, 6fr) minmax(1rem, 1fr);
  grid-template-rows: auto 1fr;
}

.collection-heading {
  grid-column: 2;
}

.collection-kicker a {
  text-decoration-color: var(--faint);
  text-underline-offset: 0.3em;
}

.collection-kicker span {
  margin-inline: 0.45rem;
}

.collection-title {
  font-size: clamp(4.25rem, 8vw, 8rem);
  line-height: 0.86;
}

.collection-empty {
  grid-column: 2;
  align-self: end;
  display: grid;
  grid-template-columns: minmax(2rem, 1fr) auto;
  align-items: center;
  gap: 1rem;
  padding-top: clamp(4rem, 12vh, 9rem);
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.7rem;
}

.collection-empty::before {
  height: 1px;
  background: var(--faint);
  content: "";
}

/* Reusable long-form entry pattern. */

.entry {
  width: min(100%, 52rem);
  margin-inline: auto;
}

.entry__header {
  display: grid;
  grid-template-columns: minmax(5rem, 1fr) minmax(0, 5fr);
  padding-bottom: clamp(3rem, 7vh, 5rem);
}

.entry__meta {
  grid-column: 1;
  padding-top: 0.5rem;
}

.entry__section,
.entry__date {
  display: block;
  margin: 0 0 0.35rem;
}

.entry__heading {
  grid-column: 2;
}

.entry__title {
  font-size: clamp(3.5rem, 7vw, 6.75rem);
  line-height: 0.9;
}

.entry__abstract {
  max-width: 34rem;
  margin: 1.6rem 0 0;
  color: var(--muted);
  font-size: clamp(1.15rem, 2vw, 1.4rem);
  font-style: italic;
  line-height: 1.45;
}

.prose {
  width: min(100%, 39rem);
  margin-inline: auto;
  font-size: clamp(1.12rem, 1.5vw, 1.25rem);
  font-variation-settings: "opsz" 20;
  line-height: 1.68;
}

.prose > * {
  margin-block: 0 1.45em;
}

.prose h2,
.prose h3 {
  margin-top: 2.2em;
  color: var(--ink);
  font-weight: 450;
  line-height: 1.12;
}

.prose h2 {
  font-size: 1.75em;
  letter-spacing: -0.025em;
}

.prose h3 {
  font-size: 1.3em;
}

.prose a {
  text-decoration-color: var(--rule);
  text-decoration-thickness: 1px;
  text-underline-offset: 0.18em;
}

.prose blockquote {
  margin-inline: 0;
  padding: 0.25rem 0 0.1rem clamp(1.2rem, 3vw, 2rem);
  border-left: 1px solid var(--rule);
  color: var(--muted);
  font-size: 1.08em;
  font-style: italic;
}

.prose ul,
.prose ol {
  padding-left: 1.35em;
}

.prose li + li {
  margin-top: 0.45em;
}

.math {
  padding-inline: 0.08em;
  font-family: var(--serif);
  font-style: italic;
  white-space: nowrap;
}

.math-block {
  margin-block: 2.25rem;
  overflow-x: auto;
  padding: 1.25rem 0;
  border-block: 1px solid var(--faint);
  font-size: 1.16em;
  font-style: italic;
  text-align: center;
}

.prose figure {
  margin: 2.75rem 0;
}

.prose img {
  display: block;
  max-width: 100%;
  height: auto;
}

.prose figcaption,
.footnotes {
  color: var(--muted);
  font-family: var(--sans);
  font-size: 0.78rem;
  line-height: 1.55;
}

.prose figcaption {
  margin-top: 0.75rem;
}

.prose pre {
  margin-block: 2rem;
  padding: 1.2rem 1.35rem;
  overflow-x: auto;
  border-block: 1px solid var(--faint);
  font-family: var(--mono);
  font-size: 0.76rem;
  line-height: 1.65;
  tab-size: 2;
}

.prose :not(pre) > code {
  padding: 0.08em 0.25em;
  background: rgba(36, 33, 28, 0.055);
  font-family: var(--mono);
  font-size: 0.78em;
}

.footnote-ref {
  font-family: var(--mono);
  font-size: 0.62em;
  vertical-align: super;
}

.footnotes {
  margin-top: 4rem;
  padding-top: 1.25rem;
  border-top: 1px solid var(--faint);
}

.entry-nav {
  display: grid;
  width: min(100%, 52rem);
  margin: clamp(4rem, 10vh, 8rem) auto 0;
  grid-template-columns: repeat(3, 1fr);
  gap: 1rem;
}

.entry-nav a:nth-child(2) {
  justify-self: center;
}

.entry-nav a:last-child {
  justify-self: end;
}

::selection {
  color: var(--paper);
  background: var(--ink);
  text-shadow: none;
}

@media (min-width: 60rem) {
  .masthead,
  .footer,
  .archive-footer {
    margin-inline: 1.5rem;
  }

  .lemma {
    transform: translateY(-1.5vh);
  }
}

@media (max-width: 52rem) {
  .lemma {
    grid-template-columns: minmax(3.5rem, 1.6fr) minmax(0, 10fr);
  }

  .lemma__statement {
    font-size: clamp(3.7rem, 9.4vw, 5rem);
  }

  .proof-end {
    width: min(100%, 32rem);
  }

  .archive-sheet,
  .collection-sheet {
    grid-template-columns: minmax(3.5rem, 1fr) minmax(0, 8fr);
  }

  .archive-heading,
  .index-nav,
  .collection-heading,
  .collection-empty {
    grid-column: 2;
  }

  .entry__header {
    grid-template-columns: 4.5rem minmax(0, 1fr);
  }
}

@media (max-width: 38rem) {
  .folio {
    padding-block: clamp(1.35rem, 5vw, 2rem);
  }

  .masthead {
    padding-top: 0.7rem;
  }

  .masthead__title {
    font-size: 0.72rem;
    letter-spacing: 0.2em;
  }

  .masthead__edition {
    font-size: 0.66rem;
  }

  .page {
    padding-block: clamp(3rem, 8vh, 5rem);
  }

  .lemma {
    grid-template-columns: 1fr;
    grid-template-rows: auto auto auto;
  }

  .lemma__label {
    grid-column: 1;
    grid-row: 1;
    margin-bottom: clamp(2rem, 7vh, 3.5rem);
    padding-top: 0;
  }

  .lemma__statement {
    grid-column: 1;
    grid-row: 2;
    font-size: clamp(2.35rem, 10.7vw, 4rem);
    line-height: 0.9;
  }

  .proof-end {
    grid-column: 1;
    grid-row: 3;
    width: 100%;
    margin-top: clamp(2rem, 7vh, 3.25rem);
  }

  .proof-end__word {
    font-size: 0.82rem;
  }

  .footer {
    font-size: 0.66rem;
  }

  .archive {
    align-items: start;
    padding-block: clamp(4.5rem, 11vh, 7rem);
  }

  .archive-sheet,
  .collection-sheet {
    display: block;
  }

  .archive-heading {
    gap: 1rem;
  }

  .archive-title,
  .collection-title {
    font-size: clamp(3.6rem, 18vw, 5.6rem);
  }

  .index-list a {
    grid-template-columns: 2.25rem auto minmax(1.5rem, 1fr) auto;
    gap: 0.65rem;
    padding-block: 1.05rem;
  }

  .index-list__name {
    font-size: clamp(1.45rem, 7vw, 2rem);
  }

  .archive-footer {
    font-size: 0.64rem;
  }

  .collection-sheet {
    min-height: min(54vh, 28rem);
  }

  .collection-empty {
    margin-top: clamp(7rem, 20vh, 11rem);
  }

  .entry__header {
    display: block;
  }

  .entry__meta {
    display: flex;
    gap: 0.8rem;
    padding-top: 0;
    margin-bottom: 2rem;
  }

  .entry__meta > * + *::before {
    margin-right: 0.8rem;
    content: "/";
  }

  .entry__title {
    font-size: clamp(3rem, 15vw, 5rem);
  }

  .prose {
    font-size: 1.08rem;
  }

  .entry-nav {
    grid-template-columns: 1fr auto;
  }

  .entry-nav a:first-child,
  .entry-nav a:last-child {
    display: none;
  }
}

@media (max-width: 22rem) {
  .lemma__statement span {
    white-space: normal;
  }
}

@media (prefers-reduced-motion: no-preference) {
  .masthead,
  .footer,
  .lemma__label,
  .lemma__statement span,
  .proof-end {
    animation: settle 560ms both cubic-bezier(0.22, 1, 0.36, 1);
  }

  .lemma__label {
    animation-delay: 40ms;
  }

  .lemma__statement span:first-child {
    animation-delay: 80ms;
  }

  .lemma__statement span:last-child {
    animation-delay: 135ms;
  }

  .proof-end {
    animation-delay: 190ms;
  }

  .footer {
    animation-delay: 220ms;
  }
}

@keyframes settle {
  from {
    opacity: 0;
    transform: translateY(0.45rem);
  }

  to {
    opacity: 1;
    transform: translateY(0);
  }
}

@media (prefers-reduced-motion: reduce) {
  *,
  *::before,
  *::after {
    animation-duration: 0.01ms !important;
    animation-iteration-count: 1 !important;
    scroll-behavior: auto !important;
    transition-duration: 0.01ms !important;
  }
}