/* Lemma 151 — engineering studio aesthetic */

/* latin-ext */
@font-face {
  font-family: 'Instrument Serif';
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/aad2fc8e-7efb-46e6-9ce0-84b272589f56.woff2") format('woff2');
  unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C0, U+2113, U+2C60-2C7F, U+A720-A7FF;
}
/* latin */
@font-face {
  font-family: 'Instrument Serif';
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/10c6c64c-57d6-4d9a-b8ef-8a26172a895e.woff2") format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
/* latin-ext */
@font-face {
  font-family: 'Instrument Serif';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/96f4e3c0-44d7-4801-8763-cc7f3d0bd28b.woff2") format('woff2');
  unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C0, U+2113, U+2C60-2C7F, U+A720-A7FF;
}
/* latin */
@font-face {
  font-family: 'Instrument Serif';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/16e8a0cc-6072-4a89-8edb-2bd9eebc40f2.woff2") format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
/* cyrillic-ext */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/266ac2e7-b516-4b38-a3b2-663ef5dd2402.woff2") format('woff2');
  unicode-range: U+0460-052F, U+1C80-1C8A, U+20B4, U+2DE0-2DFF, U+A640-A69F, U+FE2E-FE2F;
}
/* cyrillic */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/ca7ede99-f701-4b65-a1a8-3aaf39300c83.woff2") format('woff2');
  unicode-range: U+0301, U+0400-045F, U+0490-0491, U+04B0-04B1, U+2116;
}
/* greek-ext */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/548598d4-0802-44fb-920a-24ec96902047.woff2") format('woff2');
  unicode-range: U+1F00-1FFF;
}
/* greek */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/44334588-87b9-49d0-8466-79e224a866f5.woff2") format('woff2');
  unicode-range: U+0370-0377, U+037A-037F, U+0384-038A, U+038C, U+038E-03A1, U+03A3-03FF;
}
/* vietnamese */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/58c93d97-65ad-4695-9508-f9771a8b23a0.woff2") format('woff2');
  unicode-range: U+0102-0103, U+0110-0111, U+0128-0129, U+0168-0169, U+01A0-01A1, U+01AF-01B0, U+0300-0301, U+0303-0304, U+0308-0309, U+0323, U+0329, U+1EA0-1EF9, U+20AB;
}
/* latin-ext */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/2e129061-5ade-473a-bc8e-4ea43e54c6e6.woff2") format('woff2');
  unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C0, U+2113, U+2C60-2C7F, U+A720-A7FF;
}
/* latin */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/de75fde1-7de2-4d80-8470-ba4d3c76c41f.woff2") format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
/* cyrillic-ext */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url("../fonts/266ac2e7-b516-4b38-a3b2-663ef5dd2402.woff2") format('woff2');
  unicode-range: U+0460-052F, U+1C80-1C8A, U+20B4, U+2DE0-2DFF, U+A640-A69F, U+FE2E-FE2F;
}
/* cyrillic */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url("../fonts/ca7ede99-f701-4b65-a1a8-3aaf39300c83.woff2") format('woff2');
  unicode-range: U+0301, U+0400-045F, U+0490-0491, U+04B0-04B1, U+2116;
}
/* greek-ext */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url("../fonts/548598d4-0802-44fb-920a-24ec96902047.woff2") format('woff2');
  unicode-range: U+1F00-1FFF;
}
/* greek */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url("../fonts/44334588-87b9-49d0-8466-79e224a866f5.woff2") format('woff2');
  unicode-range: U+0370-0377, U+037A-037F, U+0384-038A, U+038C, U+038E-03A1, U+03A3-03FF;
}
/* vietnamese */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url("../fonts/58c93d97-65ad-4695-9508-f9771a8b23a0.woff2") format('woff2');
  unicode-range: U+0102-0103, U+0110-0111, U+0128-0129, U+0168-0169, U+01A0-01A1, U+01AF-01B0, U+0300-0301, U+0303-0304, U+0308-0309, U+0323, U+0329, U+1EA0-1EF9, U+20AB;
}
/* latin-ext */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url("../fonts/2e129061-5ade-473a-bc8e-4ea43e54c6e6.woff2") format('woff2');
  unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C0, U+2113, U+2C60-2C7F, U+A720-A7FF;
}
/* latin */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url("../fonts/de75fde1-7de2-4d80-8470-ba4d3c76c41f.woff2") format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
/* cyrillic-ext */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url("../fonts/266ac2e7-b516-4b38-a3b2-663ef5dd2402.woff2") format('woff2');
  unicode-range: U+0460-052F, U+1C80-1C8A, U+20B4, U+2DE0-2DFF, U+A640-A69F, U+FE2E-FE2F;
}
/* cyrillic */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url("../fonts/ca7ede99-f701-4b65-a1a8-3aaf39300c83.woff2") format('woff2');
  unicode-range: U+0301, U+0400-045F, U+0490-0491, U+04B0-04B1, U+2116;
}
/* greek-ext */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url("../fonts/548598d4-0802-44fb-920a-24ec96902047.woff2") format('woff2');
  unicode-range: U+1F00-1FFF;
}
/* greek */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url("../fonts/44334588-87b9-49d0-8466-79e224a866f5.woff2") format('woff2');
  unicode-range: U+0370-0377, U+037A-037F, U+0384-038A, U+038C, U+038E-03A1, U+03A3-03FF;
}
/* vietnamese */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url("../fonts/58c93d97-65ad-4695-9508-f9771a8b23a0.woff2") format('woff2');
  unicode-range: U+0102-0103, U+0110-0111, U+0128-0129, U+0168-0169, U+01A0-01A1, U+01AF-01B0, U+0300-0301, U+0303-0304, U+0308-0309, U+0323, U+0329, U+1EA0-1EF9, U+20AB;
}
/* latin-ext */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url("../fonts/2e129061-5ade-473a-bc8e-4ea43e54c6e6.woff2") format('woff2');
  unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C0, U+2113, U+2C60-2C7F, U+A720-A7FF;
}
/* latin */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url("../fonts/de75fde1-7de2-4d80-8470-ba4d3c76c41f.woff2") format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
/* cyrillic-ext */
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/6ff09862-f31b-416d-abd9-9690ef3afa88.woff2") format('woff2');
  unicode-range: U+0460-052F, U+1C80-1C8A, U+20B4, U+2DE0-2DFF, U+A640-A69F, U+FE2E-FE2F;
}
/* cyrillic */
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/8b713461-04df-4b5f-ba64-58d11b9235b0.woff2") format('woff2');
  unicode-range: U+0301, U+0400-045F, U+0490-0491, U+04B0-04B1, U+2116;
}
/* greek */
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/ea79cd7d-f481-4e62-8817-fdb75b68e349.woff2") format('woff2');
  unicode-range: U+0370-0377, U+037A-037F, U+0384-038A, U+038C, U+038E-03A1, U+03A3-03FF;
}
/* vietnamese */
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/13bc5d4d-674d-407f-aaf1-9af475e8f7b9.woff2") format('woff2');
  unicode-range: U+0102-0103, U+0110-0111, U+0128-0129, U+0168-0169, U+01A0-01A1, U+01AF-01B0, U+0300-0301, U+0303-0304, U+0308-0309, U+0323, U+0329, U+1EA0-1EF9, U+20AB;
}
/* latin-ext */
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/05d5691e-3458-44cc-a1e1-18ff0965229c.woff2") format('woff2');
  unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C0, U+2113, U+2C60-2C7F, U+A720-A7FF;
}
/* latin */
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/1c779bcc-30ef-4644-9fdc-6675ec44b71f.woff2") format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
/* cyrillic-ext */
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url("../fonts/6ff09862-f31b-416d-abd9-9690ef3afa88.woff2") format('woff2');
  unicode-range: U+0460-052F, U+1C80-1C8A, U+20B4, U+2DE0-2DFF, U+A640-A69F, U+FE2E-FE2F;
}
/* cyrillic */
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url("../fonts/8b713461-04df-4b5f-ba64-58d11b9235b0.woff2") format('woff2');
  unicode-range: U+0301, U+0400-045F, U+0490-0491, U+04B0-04B1, U+2116;
}
/* greek */
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url("../fonts/ea79cd7d-f481-4e62-8817-fdb75b68e349.woff2") format('woff2');
  unicode-range: U+0370-0377, U+037A-037F, U+0384-038A, U+038C, U+038E-03A1, U+03A3-03FF;
}
/* vietnamese */
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url("../fonts/13bc5d4d-674d-407f-aaf1-9af475e8f7b9.woff2") format('woff2');
  unicode-range: U+0102-0103, U+0110-0111, U+0128-0129, U+0168-0169, U+01A0-01A1, U+01AF-01B0, U+0300-0301, U+0303-0304, U+0308-0309, U+0323, U+0329, U+1EA0-1EF9, U+20AB;
}
/* latin-ext */
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url("../fonts/05d5691e-3458-44cc-a1e1-18ff0965229c.woff2") format('woff2');
  unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C0, U+2113, U+2C60-2C7F, U+A720-A7FF;
}
/* latin */
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url("../fonts/1c779bcc-30ef-4644-9fdc-6675ec44b71f.woff2") format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}


:root {
  --paper: oklch(0.985 0.003 90);
  --paper-2: oklch(0.965 0.004 85);
  --rule: oklch(0.88 0.005 85);
  --rule-2: oklch(0.92 0.004 85);
  --ink: oklch(0.20 0.012 80);
  --ink-soft: oklch(0.42 0.012 80);
  --ink-mute: oklch(0.58 0.010 80);
  --accent: oklch(0.42 0.07 250);
  --accent-soft: oklch(0.42 0.07 250 / 0.08);

  --serif: 'Instrument Serif', 'Times New Roman', serif;
  --sans: 'Inter', system-ui, sans-serif;
  --mono: 'JetBrains Mono', ui-monospace, monospace;

  --maxw: 1240px;
  --gutter: 32px;
}

* { box-sizing: border-box; }
html, body { margin: 0; padding: 0; }

body {
  font-family: var(--sans);
  font-size: 16px;
  line-height: 1.55;
  color: var(--ink);
  background: var(--paper);
  -webkit-font-smoothing: antialiased;
  text-rendering: optimizeLegibility;
  font-feature-settings: "ss01", "cv11";
}

/* Subtle paper grain — extremely faint */
body::before {
  content: "";
  position: fixed;
  inset: 0;
  pointer-events: none;
  background-image:
    linear-gradient(to right, oklch(0.20 0.012 80 / 0.025) 1px, transparent 1px);
  background-size: calc((100vw - 2 * var(--gutter)) / 12) 100%;
  background-position: var(--gutter) 0;
  opacity: 0;
  transition: opacity 0.3s;
  z-index: 0;
}
body.show-grid::before { opacity: 1; }

a { color: inherit; text-decoration: none; }
button { font: inherit; color: inherit; background: none; border: none; cursor: pointer; padding: 0; }

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

/* ─────────────────────────── Layout ─────────────────────────── */

.container {
  max-width: var(--maxw);
  margin: 0 auto;
  padding: 0 var(--gutter);
  position: relative;
}

.app {
  min-height: 100vh;
  display: flex;
  flex-direction: column;
  position: relative;
  z-index: 1;
}

main { flex: 1; }

/* ─────────────────────────── Header ─────────────────────────── */

.site-header {
  border-bottom: 1px solid var(--rule);
  background: color-mix(in oklch, var(--paper) 92%, transparent);
  backdrop-filter: blur(8px);
  position: sticky;
  top: 0;
  z-index: 50;
}

.header-inner {
  display: grid;
  grid-template-columns: auto 1fr auto;
  align-items: center;
  height: 72px;
  gap: 48px;
}

.brand {
  display: flex;
  align-items: baseline;
  gap: 10px;
  cursor: pointer;
}
.brand .lemma {
  font-family: var(--serif);
  font-size: 26px;
  letter-spacing: -0.01em;
  line-height: 1;
}
.brand .num {
  font-family: var(--mono);
  font-size: 13px;
  color: var(--ink-soft);
  letter-spacing: 0.02em;
  font-weight: 500;
}
.brand .qed {
  font-family: var(--serif);
  font-style: italic;
  font-size: 18px;
  color: var(--accent);
  margin-left: 2px;
}

.nav {
  display: flex;
  gap: 4px;
  justify-self: center;
}
.nav-link {
  font-family: var(--mono);
  font-size: 12.5px;
  letter-spacing: 0.04em;
  color: var(--ink-mute);
  padding: 8px 14px;
  border-radius: 999px;
  transition: color 0.2s ease;
  position: relative;
  outline: none;
  -webkit-tap-highlight-color: transparent;
}
.nav-link:hover { color: var(--ink-soft); }
.nav-link:focus-visible { color: var(--ink); }
.nav-link.active {
  color: var(--ink);
  background: transparent;
}
.nav-link.active::after {
  content: "";
  position: absolute;
  left: 14px;
  right: 14px;
  bottom: 2px;
  height: 1px;
  background: var(--accent);
  opacity: 0.7;
}
.nav-link .idx {
  font-size: 10px;
  color: var(--ink-mute);
  margin-right: 6px;
  opacity: 0.7;
}
.nav-link.active .idx { color: var(--accent); opacity: 1; }

.header-meta {
  font-family: var(--mono);
  font-size: 11.5px;
  color: var(--ink-mute);
  letter-spacing: 0.03em;
  display: flex;
  align-items: center;
  gap: 14px;
}
.header-meta .dot {
  width: 6px; height: 6px; border-radius: 50%;
  background: oklch(0.65 0.12 145);
  display: inline-block;
  box-shadow: 0 0 0 3px oklch(0.65 0.12 145 / 0.18);
}

/* ─────────────────────────── Buttons ─────────────────────────── */

.btn {
  font-family: var(--mono);
  font-size: 12.5px;
  letter-spacing: 0.04em;
  padding: 12px 18px;
  border: 1px solid var(--rule);
  border-radius: 4px;
  display: inline-flex;
  align-items: center;
  gap: 10px;
  transition: all 0.15s;
  cursor: pointer;
  background: transparent;
  color: var(--ink);
}
.btn:hover {
  border-color: var(--ink);
}
.btn .arrow {
  display: inline-block;
  transition: transform 0.2s;
}
.btn:hover .arrow { transform: translateX(3px); }

.btn-primary {
  background: var(--ink);
  color: var(--paper);
  border-color: var(--ink);
}
.btn-primary:hover {
  background: oklch(0.10 0.012 80);
}

/* ─────────────────────────── Section header ─────────────────────────── */

.section-mark {
  font-family: var(--mono);
  font-size: 11.5px;
  letter-spacing: 0.06em;
  color: var(--ink-mute);
  text-transform: uppercase;
  display: flex;
  align-items: center;
  gap: 12px;
}
.section-mark::before {
  content: "";
  width: 18px;
  height: 1px;
  background: var(--ink-mute);
}

.page-title {
  font-family: var(--serif);
  font-weight: 400;
  font-size: clamp(40px, 5.5vw, 72px);
  line-height: 1.02;
  letter-spacing: -0.015em;
  margin: 24px 0 0;
  color: var(--ink);
}
.page-title em {
  font-style: italic;
  color: var(--accent);
}

.page-lede {
  font-size: 18px;
  line-height: 1.5;
  color: var(--ink-soft);
  max-width: 60ch;
  margin: 24px 0 0;
}

/* ─────────────────────────── Hero ─────────────────────────── */

.hero {
  padding: 96px 0 80px;
  border-bottom: 1px solid var(--rule);
  position: relative;
}

.hero-grid {
  display: grid;
  grid-template-columns: 7fr 5fr;
  gap: 64px;
  align-items: end;
}

.hero-title {
  font-family: var(--serif);
  font-weight: 400;
  font-size: clamp(56px, 7.6vw, 116px);
  line-height: 0.96;
  letter-spacing: -0.025em;
  margin: 28px 0 0;
}
.hero-title .l151 {
  display: inline-block;
  font-family: var(--mono);
  font-size: 0.22em;
  font-weight: 500;
  vertical-align: 0.85em;
  color: var(--ink-mute);
  margin-left: 8px;
  letter-spacing: 0.02em;
}
.hero-title em {
  font-style: italic;
  color: var(--accent);
  font-weight: 400;
}

.hero-sub {
  font-family: var(--serif);
  font-style: italic;
  font-size: clamp(20px, 2.2vw, 28px);
  color: var(--ink-soft);
  margin-top: 24px;
  line-height: 1.3;
  max-width: 32ch;
}

.hero-body {
  font-size: 16px;
  line-height: 1.65;
  color: var(--ink-soft);
  max-width: 44ch;
}
.hero-body p + p { margin-top: 14px; }

.hero-actions {
  display: flex;
  gap: 12px;
  margin-top: 32px;
}

.hero-meta {
  margin-top: 40px;
  padding-top: 20px;
  border-top: 1px dashed var(--rule);
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 24px;
  font-family: var(--mono);
  font-size: 11.5px;
  color: var(--ink-mute);
  letter-spacing: 0.02em;
}
.hero-meta dt {
  color: var(--ink-mute);
  font-size: 10.5px;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  margin-bottom: 4px;
}
.hero-meta dd {
  margin: 0;
  color: var(--ink);
}

/* ─────────────────────────── Sections ─────────────────────────── */

.section {
  padding: 80px 0;
  border-bottom: 1px solid var(--rule);
  position: relative;
}
.section:last-of-type { border-bottom: none; }

.section-head {
  display: grid;
  grid-template-columns: 5fr 7fr;
  gap: 64px;
  align-items: end;
  margin-bottom: 56px;
}

.section-head h2 {
  font-family: var(--serif);
  font-weight: 400;
  font-size: clamp(32px, 4vw, 52px);
  line-height: 1.05;
  letter-spacing: -0.015em;
  margin: 16px 0 0;
}
.section-head h2 em { font-style: italic; color: var(--accent); }

.section-head .desc {
  font-size: 16px;
  line-height: 1.6;
  color: var(--ink-soft);
  max-width: 52ch;
}

/* ─────────────────────────── Capabilities list ─────────────────────────── */

.cap-list {
  display: flex;
  flex-direction: column;
  border-top: 1px solid var(--rule);
}

.cap-row {
  display: grid;
  grid-template-columns: 80px 1fr 2fr 1fr;
  gap: 32px;
  padding: 28px 4px;
  border-bottom: 1px solid var(--rule);
  align-items: start;
  cursor: pointer;
  transition: background 0.2s, padding 0.2s;
  position: relative;
}
.cap-row:hover {
  background: var(--paper-2);
  padding-left: 16px;
  padding-right: 16px;
}

.cap-row .cap-num {
  font-family: var(--mono);
  font-size: 11.5px;
  color: var(--ink-mute);
  letter-spacing: 0.04em;
  padding-top: 6px;
}

.cap-row .cap-title {
  font-family: var(--serif);
  font-size: 26px;
  letter-spacing: -0.01em;
  line-height: 1.15;
}

.cap-row .cap-desc {
  font-size: 14.5px;
  line-height: 1.55;
  color: var(--ink-soft);
}

.cap-row .cap-tags {
  font-family: var(--mono);
  font-size: 10.5px;
  color: var(--ink-mute);
  letter-spacing: 0.04em;
  display: flex;
  flex-wrap: wrap;
  gap: 6px;
  padding-top: 8px;
}
.cap-row .cap-tags span {
  border: 1px solid var(--rule);
  padding: 3px 8px;
  border-radius: 3px;
}

/* ─────────────────────────── Proof block ─────────────────────────── */

.proof {
  border: 1px solid var(--rule);
  background: var(--paper-2);
  padding: 36px 40px;
  position: relative;
  font-family: var(--serif);
  font-size: 22px;
  line-height: 1.4;
  letter-spacing: -0.005em;
  color: var(--ink);
  max-width: 64ch;
}
.proof::before {
  content: "Lemma 151.";
  position: absolute;
  top: -10px;
  left: 24px;
  background: var(--paper);
  padding: 0 10px;
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.06em;
  color: var(--ink-mute);
  text-transform: uppercase;
}
.proof .qed {
  display: inline-block;
  width: 12px;
  height: 12px;
  background: var(--ink);
  margin-left: 10px;
  vertical-align: -1px;
}

/* ─────────────────────────── Products ─────────────────────────── */

.product-status {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 0;
  border: 1px solid var(--rule);
  background: var(--paper);
}

.status-cell {
  padding: 36px 36px;
  border-right: 1px solid var(--rule);
}
.status-cell:last-child { border-right: none; }

.status-label {
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.08em;
  color: var(--ink-mute);
  text-transform: uppercase;
  margin-bottom: 14px;
  display: flex;
  align-items: center;
  gap: 8px;
}
.status-dot {
  width: 6px; height: 6px; border-radius: 50%;
  background: var(--ink-mute);
}
.status-dot.active {
  background: oklch(0.65 0.12 145);
  box-shadow: 0 0 0 3px oklch(0.65 0.12 145 / 0.18);
}
.status-dot.queued { background: oklch(0.72 0.13 75); }
.status-dot.dim { background: var(--rule); }

.status-text {
  font-family: var(--serif);
  font-size: 22px;
  line-height: 1.35;
  color: var(--ink);
}

.product-stages {
  margin-top: 48px;
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  border: 1px solid var(--rule);
}
.stage-cell {
  padding: 24px 24px 28px;
  border-right: 1px solid var(--rule);
  position: relative;
}
.stage-cell:last-child { border-right: none; }
.stage-cell.current { background: var(--paper-2); }

.stage-num {
  font-family: var(--mono);
  font-size: 10.5px;
  letter-spacing: 0.06em;
  color: var(--ink-mute);
  text-transform: uppercase;
}
.stage-name {
  font-family: var(--serif);
  font-size: 22px;
  margin-top: 8px;
  letter-spacing: -0.005em;
}
.stage-desc {
  font-size: 13px;
  color: var(--ink-soft);
  margin-top: 8px;
  line-height: 1.5;
}
.stage-marker {
  position: absolute;
  top: 20px;
  right: 20px;
  font-family: var(--mono);
  font-size: 10px;
  color: var(--ink-mute);
  letter-spacing: 0.04em;
}
.stage-cell.current .stage-marker { color: var(--accent); }

/* ─────────────────────────── Contact ─────────────────────────── */

.contact-grid {
  display: grid;
  grid-template-columns: 7fr 5fr;
  gap: 64px;
  align-items: start;
}

.contact-card {
  border: 1px solid var(--rule);
  padding: 40px;
  background: var(--paper-2);
}

.email-row {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 16px;
  padding: 18px 20px;
  background: var(--paper);
  border: 1px solid var(--rule);
  border-radius: 4px;
  margin-top: 24px;
  transition: border-color 0.15s;
}
.email-row:hover { border-color: var(--ink); }
.email-row .email {
  font-family: var(--mono);
  font-size: 15px;
  letter-spacing: 0.005em;
  color: var(--ink);
}
.email-row .copy-btn {
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--ink-mute);
  padding: 6px 10px;
  border: 1px solid var(--rule);
  border-radius: 3px;
  transition: all 0.15s;
}
.email-row .copy-btn:hover {
  color: var(--ink);
  border-color: var(--ink);
}
.email-row .copy-btn.copied {
  color: oklch(0.5 0.10 145);
  border-color: oklch(0.5 0.10 145);
}

/* Inquiry form */
.inquiry-form {
  display: grid;
  gap: 18px;
  margin-top: 28px;
}
.field {
  display: grid;
  gap: 6px;
}
.field label {
  font-family: var(--mono);
  font-size: 10.5px;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--ink-mute);
}
.field input,
.field textarea,
.field select {
  font-family: var(--sans);
  font-size: 14.5px;
  color: var(--ink);
  background: var(--paper);
  border: 1px solid var(--rule);
  border-radius: 4px;
  padding: 11px 14px;
  outline: none;
  transition: border-color 0.15s, box-shadow 0.15s;
  width: 100%;
}
.field input:focus,
.field textarea:focus,
.field select:focus {
  border-color: var(--ink);
  box-shadow: 0 0 0 3px oklch(0.20 0.012 80 / 0.06);
}
.field textarea {
  min-height: 120px;
  resize: vertical;
  font-family: var(--sans);
}
.field-row {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 14px;
}
.form-status {
  font-family: var(--mono);
  font-size: 12px;
  color: var(--ink-soft);
  letter-spacing: 0.02em;
  min-height: 18px;
}
.form-status.ok { color: oklch(0.5 0.10 145); }

.contact-aside {
  font-size: 14px;
  line-height: 1.65;
  color: var(--ink-soft);
}
.contact-aside h4 {
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--ink-mute);
  margin: 0 0 10px;
  font-weight: 500;
}
.contact-aside + .contact-aside { margin-top: 32px; }

/* ─────────────────────────── Footer ─────────────────────────── */

.site-footer {
  border-top: 1px solid var(--rule);
  padding: 40px 0 32px;
  font-family: var(--mono);
  font-size: 11.5px;
  color: var(--ink-mute);
  letter-spacing: 0.02em;
}
.footer-inner {
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  gap: 32px;
  align-items: center;
}
.footer-inner .end {
  justify-self: end;
  display: flex;
  align-items: center;
  gap: 14px;
}
.footer-inner .qed-mark {
  width: 10px; height: 10px;
  background: var(--ink);
  display: inline-block;
}

/* ─────────────────────────── Page transitions ─────────────────────────── */

.page-enter {
  animation: pageIn 0.45s cubic-bezier(0.2, 0.7, 0.2, 1);
}
@keyframes pageIn {
  from { opacity: 0; transform: translateY(6px); }
  to { opacity: 1; transform: translateY(0); }
}

/* ─────────────────────────── Responsive ─────────────────────────── */

@media (max-width: 900px) {
  :root { --gutter: 20px; }
  .header-inner { grid-template-columns: auto 1fr; gap: 16px; }
  .header-meta { display: none; }
  .nav { justify-self: end; gap: 0; }
  .nav-link { padding: 8px 10px; }
  .nav-link .idx { display: none; }

  .hero { padding: 56px 0 56px; }
  .hero-grid { grid-template-columns: 1fr; gap: 32px; }
  .section { padding: 56px 0; }
  .section-head { grid-template-columns: 1fr; gap: 16px; margin-bottom: 32px; }

  .cap-row {
    grid-template-columns: 60px 1fr;
    gap: 16px;
  }
  .cap-row .cap-desc, .cap-row .cap-tags {
    grid-column: 2 / -1;
  }

  .product-status { grid-template-columns: 1fr; }
  .status-cell { border-right: none; border-bottom: 1px solid var(--rule); }
  .status-cell:last-child { border-bottom: none; }
  .product-stages { grid-template-columns: 1fr 1fr; }
  .stage-cell:nth-child(2) { border-right: none; }
  .stage-cell:nth-child(1), .stage-cell:nth-child(2) { border-bottom: 1px solid var(--rule); }

  .contact-grid { grid-template-columns: 1fr; gap: 40px; }
  .footer-inner { grid-template-columns: 1fr; gap: 12px; text-align: left; }
  .footer-inner .end { justify-self: start; }
}

/* Server-rendered additions */

.skip-link {
  position: fixed;
  left: var(--gutter);
  top: 12px;
  z-index: 100;
  transform: translateY(-140%);
  background: var(--ink);
  color: var(--paper);
  padding: 8px 12px;
  border-radius: 4px;
  font-family: var(--mono);
  font-size: 12px;
  letter-spacing: 0.04em;
  transition: transform 0.15s;
}
.skip-link:focus {
  transform: translateY(0);
}

.page-section-top {
  padding-top: 80px;
}

.direct-heading {
  font-family: var(--serif);
  font-size: 28px;
  font-weight: 400;
  margin: 14px 0 0;
  letter-spacing: -0.01em;
  line-height: 1.18;
}

.form-bottom {
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap: 16px;
}

.form-errors {
  display: grid;
  gap: 6px;
  margin: 0;
  padding: 12px 14px 12px 28px;
  border: 1px solid oklch(0.68 0.12 35 / 0.35);
  background: oklch(0.68 0.12 35 / 0.08);
  color: oklch(0.42 0.09 35);
  font-size: 13px;
  line-height: 1.45;
}

.turnstile-wrap {
  min-height: 65px;
}

.cf-turnstile {
  width: 100%;
}

.hp-field {
  position: absolute;
  left: -10000px;
  top: auto;
  width: 1px;
  height: 1px;
  overflow: hidden;
}

.about-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  border: 1px solid var(--rule);
  background: var(--paper);
}

.about-panel {
  padding: 36px;
  border-right: 1px solid var(--rule);
}
.about-panel:last-child {
  border-right: none;
}

.about-list {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  border: 1px solid var(--rule);
}

.about-list > div {
  padding: 28px;
  border-right: 1px solid var(--rule);
}
.about-list > div:last-child {
  border-right: none;
}
.about-list h3 {
  font-family: var(--serif);
  font-size: 24px;
  font-weight: 400;
  margin: 0 0 10px;
  letter-spacing: -0.01em;
}
.about-list p {
  color: var(--ink-soft);
  font-size: 14px;
  line-height: 1.6;
  margin: 0;
}

.error-page {
  min-height: 58vh;
}

@media (max-width: 900px) {
  .about-grid,
  .about-list {
    grid-template-columns: 1fr;
  }

  .about-panel,
  .about-list > div {
    border-right: none;
    border-bottom: 1px solid var(--rule);
  }

  .about-panel:last-child,
  .about-list > div:last-child {
    border-bottom: none;
  }
}

@media (max-width: 620px) {
  .header-inner {
    grid-template-columns: 1fr;
    height: auto;
    padding-top: 16px;
    padding-bottom: 16px;
  }

  .nav {
    justify-self: start;
    width: 100%;
    overflow-x: auto;
    padding-bottom: 2px;
  }

  .hero-actions,
  .form-bottom {
    align-items: stretch;
    flex-direction: column;
  }

  .hero-actions .btn,
  .form-bottom .btn {
    justify-content: center;
  }

  .hero-meta,
  .field-row,
  .product-stages {
    grid-template-columns: 1fr;
  }

  .contact-card,
  .status-cell,
  .about-panel {
    padding: 28px 22px;
  }

  .email-row {
    align-items: flex-start;
    flex-direction: column;
  }

  .email-row .email {
    font-size: 13px;
    overflow-wrap: anywhere;
  }
}