/* balthazar.sh — classic LaTeX academic paper style
 * Computer Modern, paper-white, narrow column, numbered theorems.
 */

/* Computer Modern fonts via CDN */
@import url('https://fonts.cdnfonts.com/css/cmu-serif');
@import url('https://fonts.cdnfonts.com/css/cmu-sans-serif');
@import url('https://fonts.cdnfonts.com/css/cmu-typewriter-text');

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

:root {
  color-scheme: only light;          /* opt out of browser auto-dark-mode */
  --paper:       #fdfdfc;
  --ink:         #0b0b0b;
  --ink-2:       #3a3a3a;
  --ink-3:       #6a6a6a;
  --rule:        #d0d0cf;
  --rule-2:      #e8e7e3;
  --link:        #8b0000;           /* LaTeX default link color */
  --link-visited:#5b0000;
  --highlight:   #fff9e6;            /* theorem callout background */
  --mono-bg:     #f5f4ef;
  --serif:       'CMU Serif', 'Latin Modern Roman', 'Computer Modern Serif',
                 Georgia, 'Times New Roman', Times, serif;
  --sans:        'CMU Sans Serif', 'Latin Modern Sans', 'Computer Modern Sans',
                 Helvetica, Arial, sans-serif;
  --mono:        'CMU Typewriter Text', 'Latin Modern Mono', 'Computer Modern Typewriter',
                 'SF Mono', Menlo, Consolas, monospace;
}

html {
  scroll-behavior: smooth;
  -webkit-text-size-adjust: 100%;
  font-size: 17px;
}

body {
  background: var(--paper);
  color: var(--ink);
  font-family: var(--serif);
  font-feature-settings: "liga" 1, "kern" 1, "onum" 1;
  line-height: 1.58;
  text-rendering: optimizeLegibility;
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
}

/* ─── Links ───────────────────────────────────────────────────── */
a {
  color: var(--link);
  text-decoration: none;
  border-bottom: 1px solid transparent;
  transition: border-color 0.1s;
}
a:hover { border-bottom-color: var(--link); }
a:visited { color: var(--link-visited); }

/* ─── Header (masthead) ───────────────────────────────────────── */
.masthead {
  border-bottom: 1px solid var(--rule);
  padding: 22px 0 18px;
  text-align: center;
  margin-bottom: 48px;
}
.masthead-title {
  font-family: var(--serif);
  font-size: 15px;
  letter-spacing: 1.5px;
  font-variant: small-caps;
  color: var(--ink-2);
  text-decoration: none;
  border: none;
}
.masthead-title:hover { border: none; color: var(--ink); }
.masthead-sub {
  font-family: var(--serif);
  font-style: italic;
  font-size: 13px;
  color: var(--ink-3);
  margin-top: 4px;
}

/* ─── Layout ──────────────────────────────────────────────────── */
main {
  max-width: 38rem;      /* ~64 characters at 17px serif, classic paper column */
  margin: 0 auto;
  padding: 0 28px 96px;
}

/* ─── Title block ─────────────────────────────────────────────── */
.title-block {
  text-align: center;
  margin: 36px 0 52px;
}
.title-block h1 {
  font-family: var(--serif);
  font-size: 34px;
  font-weight: 400;
  line-height: 1.2;
  letter-spacing: -0.2px;
  margin-bottom: 18px;
  color: var(--ink);
}
.title-block .authors {
  font-family: var(--serif);
  font-size: 15px;
  color: var(--ink-2);
  margin-bottom: 6px;
}
.title-block .affiliation {
  font-family: var(--serif);
  font-style: italic;
  font-size: 13px;
  color: var(--ink-3);
  margin-bottom: 14px;
}
.title-block .date {
  font-family: var(--serif);
  font-size: 13px;
  color: var(--ink-3);
}

/* ─── Abstract ────────────────────────────────────────────────── */
.abstract {
  margin: 28px auto 44px;
  padding: 0 2.2rem;
  max-width: 34rem;
}
.abstract-heading {
  text-align: center;
  font-family: var(--serif);
  font-size: 14px;
  font-weight: 700;
  text-transform: uppercase;
  letter-spacing: 1px;
  margin-bottom: 10px;
  color: var(--ink);
}
.abstract p {
  font-size: 15px;
  line-height: 1.55;
  color: var(--ink-2);
  text-align: justify;
  hyphens: auto;
}

/* ─── Body text ───────────────────────────────────────────────── */
main p {
  margin: 0 0 14px;
  text-align: justify;
  hyphens: auto;
  orphans: 3;
  widows: 3;
}
main p + p { text-indent: 1.4em; }
main h2 + p, main h3 + p, main .formula + p, main blockquote + p,
main ul + p, main ol + p, main pre + p { text-indent: 0; }

strong { font-weight: 700; }
em { font-style: italic; }

/* ─── Section headings ────────────────────────────────────────── */
h2 {
  font-family: var(--serif);
  font-size: 19px;
  font-weight: 700;
  margin: 40px 0 14px;
  color: var(--ink);
  counter-increment: section;
}
h2.numbered::before {
  content: counter(section) ". ";
}
h3 {
  font-family: var(--serif);
  font-size: 16px;
  font-weight: 700;
  font-style: italic;
  margin: 28px 0 10px;
  color: var(--ink);
}

/* ─── Theorems / Definitions / Axioms (LaTeX-style boxes) ────── */
.formula, .theorem, .definition, .axiom, .proof-block {
  font-family: var(--mono);
  font-size: 13.5px;
  line-height: 1.75;
  background: var(--mono-bg);
  border-left: 3px solid var(--ink);
  padding: 14px 18px;
  margin: 20px 0;
  overflow-x: auto;
}

/* Display math — centered, no background, italic serif */
.display-math {
  font-family: var(--serif);
  font-style: italic;
  font-size: 18px;
  text-align: center;
  margin: 24px 0;
  letter-spacing: 0.2px;
}

/* Named environments (Theorem 1., Definition, Axiom, Proof) */
.env {
  margin: 22px 0;
  padding: 14px 20px 12px;
  border-left: 3px solid var(--ink);
  background: var(--highlight);
}
.env-label {
  font-family: var(--serif);
  font-weight: 700;
  font-style: normal;
  color: var(--ink);
  margin-right: 8px;
}
.env-name {
  font-family: var(--serif);
  font-style: italic;
  font-weight: 400;
  color: var(--ink-2);
  margin-right: 8px;
}
.env p { margin-bottom: 6px; }
.env p:last-child { margin-bottom: 0; }
.proof-env {
  margin: 18px 0;
  padding: 4px 0 4px 0;
  font-size: 15px;
}
.proof-env::before {
  content: "Proof.";
  font-family: var(--serif);
  font-style: italic;
  font-weight: 700;
  margin-right: 8px;
}
.proof-env::after {
  content: "□";
  display: inline-block;
  margin-left: 6px;
  color: var(--ink);
}

/* ─── Grid of cards (theorem, body, constraint listings) ─────── */
.grid {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(14rem, 1fr));
  gap: 12px;
  margin: 22px 0;
}
.card {
  display: block;
  padding: 12px 14px 14px;
  background: var(--paper);
  border: 1px solid var(--rule);
  text-decoration: none;
  color: var(--ink);
  font-family: var(--serif);
  transition: border-color 0.12s, background 0.12s;
}
.card:hover {
  border-color: var(--ink);
  background: var(--mono-bg);
  text-decoration: none;
}
.card-num {
  font-family: var(--serif);
  font-size: 12px;
  font-variant: small-caps;
  letter-spacing: 1px;
  color: var(--ink-3);
  margin-bottom: 4px;
}
.card-title {
  font-family: var(--serif);
  font-size: 15px;
  font-weight: 400;
  color: var(--ink);
  margin-bottom: 3px;
  line-height: 1.35;
}
.card-ref {
  font-family: var(--serif);
  font-style: italic;
  font-size: 12.5px;
  color: var(--ink-3);
}

/* ─── Inline code ─────────────────────────────────────────────── */
code {
  font-family: var(--mono);
  font-size: 0.9em;
  background: var(--mono-bg);
  padding: 1px 5px;
  border-radius: 2px;
  color: var(--ink);
}
.formula code, pre code, .env code { background: none; padding: 0; }

/* ─── Lists ───────────────────────────────────────────────────── */
main ul, main ol {
  margin: 14px 0 16px 28px;
  color: var(--ink);
}
main li { margin-bottom: 6px; line-height: 1.55; }

/* ─── Blockquotes (scripture) ─────────────────────────────────── */
blockquote {
  margin: 20px 2.2rem;
  padding: 10px 0;
  font-family: var(--serif);
  font-style: italic;
  font-size: 15px;
  color: var(--ink-2);
  text-align: justify;
  border-left: 2px solid var(--ink-3);
  padding-left: 16px;
}
blockquote .ref {
  display: block;
  margin-top: 6px;
  font-style: normal;
  font-size: 12.5px;
  color: var(--ink-3);
  font-variant: small-caps;
  letter-spacing: 0.8px;
}

/* ─── Tables / reference lists ────────────────────────────────── */
table {
  width: 100%;
  border-collapse: collapse;
  margin: 22px 0;
  font-size: 14px;
}
table thead th {
  text-align: left;
  font-weight: 700;
  font-family: var(--serif);
  padding: 6px 8px;
  border-bottom: 1.5px solid var(--ink);
  color: var(--ink);
}
table td {
  padding: 6px 8px;
  border-bottom: 1px solid var(--rule);
  vertical-align: top;
  color: var(--ink-2);
}
table tbody tr:last-child td { border-bottom: none; }

/* ─── Index-card list (for /theorems/, /body/) ───────────────── */
.index-list {
  list-style: none;
  margin: 20px 0;
  padding: 0;
  font-size: 15px;
}
.index-list li {
  display: flex;
  align-items: baseline;
  padding: 7px 0;
  border-bottom: 1px dotted var(--rule);
}
.index-list li:last-child { border-bottom: none; }
.index-list .num {
  font-family: var(--mono);
  font-size: 13px;
  color: var(--ink-3);
  min-width: 3em;
  flex-shrink: 0;
}
.index-list .name {
  flex: 1;
  margin-right: 10px;
}
.index-list .name a {
  color: var(--ink);
  border: none;
}
.index-list .name a:hover { color: var(--link); }
.index-list .ref {
  font-family: var(--serif);
  font-style: italic;
  font-size: 13px;
  color: var(--ink-3);
  text-align: right;
}

/* ─── Figures and captions ────────────────────────────────────── */
figure {
  margin: 26px 0;
  text-align: center;
}
figcaption {
  font-family: var(--serif);
  font-size: 13px;
  font-style: italic;
  color: var(--ink-3);
  margin-top: 8px;
}

/* ─── Page navigation (prev/next) ─────────────────────────────── */
.prev-next {
  display: flex;
  justify-content: space-between;
  gap: 20px;
  margin: 56px 0 0;
  padding-top: 20px;
  border-top: 1px solid var(--rule);
  font-size: 14px;
}
.prev-next a {
  flex: 1;
  padding: 10px 14px;
  border: 1px solid var(--rule);
  border-radius: 2px;
  background: var(--paper);
  display: block;
  text-decoration: none;
  border-bottom: 1px solid var(--rule);
}
.prev-next a:hover { border-color: var(--ink); }
.prev-next .label {
  display: block;
  font-size: 11px;
  font-variant: small-caps;
  letter-spacing: 0.5px;
  color: var(--ink-3);
  margin-bottom: 2px;
}
.prev-next .title {
  display: block;
  color: var(--ink);
  font-style: italic;
}
.prev-next .next { text-align: right; }

/* ─── Crumbs (breadcrumb trail) ──────────────────────────────── */
.crumb {
  font-family: var(--serif);
  font-size: 13px;
  color: var(--ink-3);
  font-style: italic;
  margin-bottom: 20px;
  text-align: center;
}
.crumb a { color: var(--ink-3); border: none; }
.crumb a:hover { color: var(--link); }

/* ─── Footer ──────────────────────────────────────────────────── */
footer {
  max-width: 38rem;
  margin: 0 auto;
  padding: 48px 28px 48px;
  border-top: 1px solid var(--rule);
  text-align: center;
  font-family: var(--serif);
  font-size: 12.5px;
  color: var(--ink-3);
  font-style: italic;
}
footer a { color: var(--ink-3); border: none; }
footer a:hover { color: var(--link); }
footer .brand {
  font-variant: small-caps;
  letter-spacing: 0.8px;
  font-style: normal;
}

/* ─── Small print ─────────────────────────────────────────────── */
.small {
  font-size: 13px;
  color: var(--ink-3);
}

/* ─── Responsive ──────────────────────────────────────────────── */
@media (max-width: 600px) {
  html { font-size: 16px; }
  main { padding: 0 20px 60px; }
  .abstract { padding: 0 0.5rem; }
  .title-block h1 { font-size: 26px; }
  .formula, .theorem, .definition, .axiom, .proof-block { font-size: 12.5px; padding: 12px 14px; }
  blockquote { margin: 18px 0.6rem; }
}

/* ─── Print ───────────────────────────────────────────────────── */
@media print {
  body { font-size: 11pt; color: #000; background: #fff; }
  .masthead, .prev-next, .crumb, footer { display: none; }
  main { max-width: none; padding: 0; }
  a { color: #000; border: none; }
  .env, .formula, .theorem, .definition, .axiom, .proof-block { page-break-inside: avoid; }
}