/* Pages: home, entry pages, and long-form mathematical prose. */

.title-page {
  padding-block: var(--space-m);
}

.title-page h1 {
  margin-bottom: var(--space-m);
  font-size: var(--step-4);
  letter-spacing: -0.01em;
}

.research-focus {
  color: var(--accent);
  font-family: var(--font-mono);
  font-size: var(--step-1);
}

.introduction {
  max-width: 40rem;
  margin-block: var(--space-m);
  font-size: var(--step-1);
}

.toolbar {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: var(--space-xs) var(--space-m);
}

.button {
  display: inline-block;
  padding: 0.45rem 1.1rem;
  border: 1px solid var(--accent);
  border-radius: var(--radius);
  background: var(--accent);
  color: var(--accent-ink);
  text-decoration: none;
}

.button:hover {
  background: var(--accent-bright);
  border-color: var(--accent-bright);
  color: var(--accent-ink);
}

/* Home page workbench: one panel per collection. */
.workspace-section {
  margin-top: var(--space-xl);
}

.workbench-grid {
  display: grid;
  min-width: 0;
  border: 1px solid var(--rule);
  background: var(--surface);
}

.workbench-panel {
  display: flex;
  flex-direction: column;
  align-items: flex-start;
  min-width: 0;
  padding: var(--space-m);
}

.workbench-panel + .workbench-panel {
  border-top: 1px solid var(--rule);
}

.workbench-panel h3 {
  margin-bottom: var(--space-s);
}

.workbench-panel p {
  color: var(--ink-soft);
}

.workbench-panel > a {
  margin-top: auto;
  padding-block: var(--space-xs);
}

.study-heading {
  display: flex;
  align-items: center;
  gap: var(--space-xs);
}

/* Section intro panel with pixel art (collections and About). */
.page-intro {
  margin-bottom: var(--space-l);
  padding: clamp(1rem, 4vw, 2.5rem);
  border: 1px solid var(--rule);
  background: color-mix(in srgb, var(--accent) 10%, var(--paper));
}

.page-intro .page-head {
  margin: 0;
}

.study-intro-layout {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: var(--space-m);
}

.study-intro-layout .page-head {
  flex: 1 1 24rem;
  min-width: 0;
}

.study-art {
  flex: 0 0 auto;
  color: var(--accent);
}

.accent-page .page-head h1 {
  color: var(--accent);
}

.accent-page ::selection {
  background: var(--accent);
  color: var(--accent-ink);
}

.entry-head {
  max-width: var(--measure);
  margin-bottom: var(--space-m);
}

.entry-head h1 {
  margin-bottom: var(--space-xs);
}

.breadcrumb {
  margin-bottom: var(--space-xs);
  font-size: var(--step--1);
  font-variant-caps: all-small-caps;
  letter-spacing: var(--tracking-caps);
}

.abstract {
  max-width: var(--measure);
  padding-left: var(--space-s);
  border-left: 2px solid var(--accent);
  font-style: italic;
}

/* Rendered documents: notes, papers, reports, and proofs. */
.prose {
  max-width: var(--measure);
}

.prose h2 {
  margin-block: var(--space-l) var(--space-s);
}

.prose h3 {
  margin-block: var(--space-m) var(--space-xs);
}

.prose ul,
.prose ol {
  padding-left: var(--space-m);
}

.prose blockquote {
  margin: var(--space-m) 0;
  padding-left: var(--space-s);
  border-left: 2px solid var(--rule);
  color: var(--ink-soft);
}

.prose pre {
  overflow-x: auto;
  padding: var(--space-s);
  border: 1px solid var(--rule);
  border-radius: var(--radius);
  background: var(--paper-light);
  line-height: 1.45;
}

.prose :not(pre) > code {
  padding: 0 0.2em;
  background: var(--paper-shade);
}

.prose table {
  width: 100%;
  margin-block: var(--space-m);
  border-collapse: collapse;
  font-variant-numeric: lining-nums tabular-nums;
}

/* make4ht wraps each tabular in div.tabular; let wide ones scroll on phones. */
.prose div.tabular {
  overflow-x: auto;
}

.prose th,
.prose td {
  padding: var(--space-2xs) var(--space-xs);
  border-bottom: 1px solid var(--rule);
  text-align: left;
}

.prose figure {
  margin: var(--space-l) 0;
}

.prose figcaption {
  margin-top: var(--space-xs);
  color: var(--ink-soft);
  font-size: var(--step--1);
  text-align: center;
}

/* Wide figures, animations, and interactive graphics may exceed the text measure. */
.prose .wide {
  width: min(100vw - 2 * var(--page-margin), var(--page-width) - 2 * var(--page-margin));
}

.theorem,
.definition,
.lemma,
.proof {
  margin-block: var(--space-m);
}

.theorem,
.definition,
.lemma {
  padding: var(--space-s);
  border-left: 3px solid var(--accent);
  background: var(--paper-light);
}

.theorem > :last-child,
.definition > :last-child,
.lemma > :last-child,
.proof > :last-child {
  margin-bottom: 0;
}

.proof::after {
  content: "\220E";
  display: block;
  text-align: right;
}

/* Documents built from LaTeX by tools/publish.py. */
/* Inline maths cannot wrap; on a phone a long formula scrolls the document,
   not the page. */
.document {
  overflow-x: auto;
}

.document .head {
  font-style: normal;
}

.document .sc {
  font-variant-caps: small-caps;
  letter-spacing: 0.02em;
}

.document .theorem .head .sc,
.document .definition .head .sc {
  color: var(--accent);
}

/* Tombstone at the end of the last line, as in the PDF. */
.document .proof::after {
  content: none;
}

.document .proof > :last-child::after {
  content: "\220E";
  float: right;
  margin-left: var(--space-s);
}

.document .remark {
  margin-block: var(--space-m);
}

.document h2.unit {
  padding-top: var(--space-s);
  border-top: 1px solid var(--rule);
  color: var(--accent);
}

.document .titlemark {
  margin-right: 0.4em;
}

.document .toc {
  display: grid;
  margin-bottom: var(--space-l);
}

.document .toc br {
  display: none;
}

.document img {
  max-width: 100%;
  height: auto;
}

/* Side-by-side subfigures stay side by side. */
.document figure:has(img ~ img) img {
  max-width: 48%;
}

.document figcaption {
  text-align: center;
}

/* Labelled lists: (a), (b), ... beside their items. */
.document dl {
  display: grid;
  grid-template-columns: auto 1fr;
  gap: var(--space-2xs) var(--space-xs);
}

.document dd {
  min-width: 0;
  margin: 0;
}

.document dd > :first-child {
  margin-top: 0;
}

.document .center {
  text-align: center;
}

.document .center table {
  margin-inline: auto;
}

.document .mathjax-block {
  margin-block: var(--space-s);
  overflow-x: auto;
  overflow-y: hidden;
}

.theorem-link {
  display: block;
  margin-top: calc(-1 * var(--space-s));
  font-size: var(--step--1);
  text-align: right;
}

.theorem-index {
  max-width: var(--measure);
  margin-bottom: var(--space-l);
}

.theorem-index h2 {
  font-size: var(--step-1);
}

.theorem-index ol {
  padding: 0;
  list-style: none;
  columns: 2 16rem;
}

.theorem-index li {
  break-inside: avoid;
}

@media (min-width: 48rem) {
  .workbench-grid {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .workbench-panel:nth-child(2) {
    border-top: 0;
  }

  .workbench-panel:nth-child(even) {
    border-left: 1px solid var(--rule);
  }

  .workbench-panel:last-child:nth-child(odd) {
    grid-column: 1 / -1;
  }
}