/* Latin Modern — the default LaTeX font */
@font-face{ font-family: 'Latin Modern'; font-weight: normal; font-style: normal;
  src: url('https://cdn.jsdelivr.net/gh/vincentdoerig/latex-css/fonts/LM-regular.woff2') format('woff2'); }
@font-face { font-family: 'Latin Modern'; font-weight: normal; font-style: italic;
  src: url('https://cdn.jsdelivr.net/gh/vincentdoerig/latex-css/fonts/LM-italic.woff2') format('woff2'); }
@font-face { font-family: 'Latin Modern'; font-weight: bold; font-style: normal;
  src: url('https://cdn.jsdelivr.net/gh/vincentdoerig/latex-css/fonts/LM-bold.woff2') format('woff2'); }
@font-face { font-family: 'Latin Modern'; font-weight: bold; font-style: italic;
  src: url('https://cdn.jsdelivr.net/gh/vincentdoerig/latex-css/fonts/LM-bold-italic.woff2') format('woff2'); }

:root{
  --bg: #f8f6f3;
  --surface: #ffffff;
  --border: #d6d0c8;
  --border-light: #e8e3dc;
  --text: #2b2b2b;
  --text-dim: #6b7280;
  --accent: #3b6b9a;
  --accent-light: #e9f0f7;
  --link: #2c5f8a;
  --def-color: #2a7f8f;
  --lem-color: #b8860b;
  --thm-color: #6b5ba8;
}

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

html{ font-size: 17px; }

body{
  font-family: 'Latin Modern', Georgia, serif;
  background: var(--bg);
  color: var(--text);
  -webkit-font-smoothing: antialiased;
}

/* ── Shared Header ── */

.site-header{
  position: sticky;
  top: 0;
  z-index: 100;
  background: var(--surface);
  border-bottom: 1px solid var(--border);
  box-shadow: 0 1px 3px rgba(0, 0, 0, 0.04);
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  padding: 0;
}

.site-header .site-title{
  justify-self: center;
}

.sidebar-toggle{
  border: none;
  background: none;
  cursor: pointer;
  padding: 0.4rem;
  border-radius: 4px;
  display: flex;
  align-items: center;
  justify-content: center;
  transition: background 120ms ease;
}

.sidebar-toggle-icon{
  position: relative;
  display: block;
  width: 18px;
  height: 1.5px;
  background: var(--text-dim);
  border-radius: 1px;
  transition: background 120ms ease;
}

.sidebar-toggle-icon::before,
.sidebar-toggle-icon::after{
  content: '';
  position: absolute;
  left: 0;
  width: 100%;
  height: 1.5px;
  background: var(--text-dim);
  border-radius: 1px;
  transition: background 120ms ease;
}

.sidebar-toggle-icon::before{ top: -5px; }

.sidebar-toggle-icon::after{ top: 5px; }

.sidebar-toggle:hover{
  background: var(--accent-light);
}

.sidebar-toggle:hover .sidebar-toggle-icon,
.sidebar-toggle:hover .sidebar-toggle-icon::before,
.sidebar-toggle:hover .sidebar-toggle-icon::after{
  background: var(--accent);
}

.sidebar-toggle:focus-visible{
  outline: 2px solid rgba(59, 107, 154, 0.35);
  outline-offset: 2px;
}

.site-title{
  grid-column: 2;
  font-size: 1.45rem;
  line-height: 1.2;
  color: var(--text);
  font-variant: small-caps;
  letter-spacing: 0.02em;
  padding: 0.55rem 0;
}

.site-title a{
  color: inherit;
  text-decoration: none;
}

.site-title a:hover{
  color: var(--accent);
}

.site-nav{
  grid-column: 3;
  justify-self: end;
  display: flex;
  gap: 0;
  padding-right: 0.75rem;
}

.header-nav-link{
  position: relative;
  font-size: 0.88rem;
  font-variant: small-caps;
  letter-spacing: 0.04em;
  color: var(--text-dim);
  text-decoration: none;
  padding: 0.7rem 1rem;
  transition: color 150ms ease;
  display: inline-flex;
  flex-direction: column;
  align-items: center;
}

.header-nav-link::before{
  content: attr(data-label);
  font-weight: 600;
  height: 0;
  visibility: hidden;
  overflow: hidden;
  pointer-events: none;
  font-size: inherit;
  font-variant: inherit;
  letter-spacing: inherit;
}

.header-nav-link::after{
  content: '';
  position: absolute;
  bottom: 0;
  left: 0.5rem;
  right: 0.5rem;
  height: 2px;
  background: transparent;
  border-radius: 1px;
  transition: background 150ms ease;
}

.header-nav-link:hover{
  color: var(--text);
}

.header-nav-link:hover::after{
  background: var(--border);
}

.header-nav-link.active{
  color: var(--accent);
  font-weight: 600;
}

.header-nav-link.active::after{
  background: var(--accent);
}

/* ══════════════════════════════════════════
   INDEX VIEW CSS
   ══════════════════════════════════════════ */

#content-shell{
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto minmax(0, 52em) minmax(0, 1fr);
}

@media (min-width: 901px) {
.sidebar-toggle {
    display: none;
  }
}

#sidebar{
  grid-column: 2;
  grid-row: 1;
  width: 285px;
  position: sticky;
  top: 3.2rem;
  max-height: calc(100vh - 3.2rem);
  overflow-y: auto;
  padding: 1.75rem 1rem 2.25rem 1.25rem;
  border-right: 1px solid var(--border-light);
  text-align: left;
}

.sidebar-back{
  display: flex;
  align-items: baseline;
  justify-content: center;
  gap: 0.4rem;
  width: 100%;
  text-align: center;
  margin-bottom: 1rem;
  padding: 0.4rem 0.65rem;
  background: var(--surface);
  border: 1px solid var(--border-light);
  border-radius: 4px;
  color: var(--link);
  font-size: 0.88rem;
  text-decoration: none;
  line-height: 1.3;
  transition: border-color 120ms ease, background 120ms ease;
}

.sidebar-back:hover{
  border-color: var(--accent);
  text-decoration: underline;
}

.sidebar-back-arrow{
  font-size: 0.95rem;
  line-height: 1;
}

.sidebar-filters{
  display: grid;
  gap: 0.55rem;
  margin-bottom: 0.9rem;
  padding-bottom: 0.9rem;
  border-bottom: 1px solid var(--border);
}

.filter-toolbar{
  display: flex;
  align-items: center;
  gap: 0.6rem;
}

.filter-toggle{
  border: none;
  background: transparent;
  color: var(--text-dim);
  font: inherit;
  font-size: 0.68rem;
  font-weight: 700;
  letter-spacing: 0.05em;
  text-transform: uppercase;
  padding: 0;
  cursor: pointer;
  display: inline-flex;
  align-items: center;
  gap: 0.35rem;
}

.filter-toggle::before{
  content: '';
  display: inline-block;
  width: 0;
  height: 0;
  border-style: solid;
  border-width: 4px 0 4px 6px;
  border-color: transparent transparent transparent var(--text-dim);
  transition: transform 150ms ease;
  transform-origin: 33% 50%;
}

.filter-toggle[aria-expanded="true"]::before{
  transform: rotate(90deg);
}

.advanced-filters{
  display: none;
  gap: 0.55rem;
}

.advanced-filters.expanded{
  display: grid;
}

.filter-group{
  display: grid;
  gap: 0.18rem;
}

.filter-group label{
  font-size: 0.68rem;
  font-weight: 700;
  letter-spacing: 0.05em;
  text-transform: uppercase;
  color: var(--text-dim);
}

.filter-input,
.filter-select{
  width: 100%;
  border: 1px solid var(--border);
  border-radius: 3px;
  background: var(--bg);
  color: var(--text);
  font: inherit;
  font-size: 0.78rem;
  padding: 0.35rem 0.45rem;
  transition: border-color 120ms ease;
}

.filter-input:focus,
.filter-select:focus{
  outline: none;
  border-color: var(--accent);
  background: var(--surface);
  box-shadow: 0 0 0 2px rgba(59, 107, 154, 0.12);
}

#entry-list{
  list-style: none;
}

#entry-list li{
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 0.4rem;
  padding: 0.42rem 0.5rem;
  margin-bottom: 1px;
  border-radius: 0;
  cursor: pointer;
  font-size: 0.88rem;
  border-left: 2px solid transparent;
  transition: background 100ms ease;
}

#entry-list li[hidden]{ display: none; }

.entry-label{
  display: inline-flex;
  align-items: baseline;
  min-width: 0;
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
}

.entry-label-text{
  overflow: hidden;
  text-overflow: ellipsis;
}

#entry-list li:hover{
  background: var(--accent-light);
}

#entry-list li.active{
  background: var(--accent-light);
  border-left-color: var(--accent);
}

#entry-list li:focus-visible{
  outline: 2px solid rgba(41, 92, 138, 0.35);
  outline-offset: -2px;
}

.entry-link,
.entry-link:visited,
.entry-link:hover,
.entry-link:active{
  color: var(--text);
  text-decoration: none;
}

.type-badge{
  display: inline-block;
  font-size: 0.6rem;
  padding: 1px 4px;
  border-radius: 2px;
  margin-right: 4px;
  font-weight: 700;
  text-transform: uppercase;
  letter-spacing: 0.04em;
  opacity: 0.85;
  vertical-align: baseline;
  flex-shrink: 0;
}

.type-definition .type-badge{ background: var(--def-color); color: #fff; }

.type-lemma .type-badge{ background: var(--lem-color); color: #fff; }

.type-theorem .type-badge{ background: var(--thm-color); color: #fff; }

.type-corollary .type-badge{ background: var(--lem-color); color: #fff; }

.draft-badge{
  margin-left: 6px;
  padding: 0 5px;
  font-size: 0.58rem;
  font-style: italic;
  font-weight: 600;
  letter-spacing: 0.04em;
  text-transform: uppercase;
  color: #8a6a1c;
  background: #fcf3d9;
  border: 1px solid #e8d388;
  border-radius: 2px;
  flex-shrink: 0;
}

#main{
  grid-column: 3;
  grid-row: 1;
  min-width: 0;
}

#main.landing #landing-intro{
  display: block;
}

#main.landing #dag-container{
  height: 60vh;
  min-height: 300px;
  border-bottom: none;
}

#main.landing #landing-figure{
  display: block;
}

#main.landing #detail{
  display: none;
}

#landing-intro{
  display: none;
  padding: 2rem 2rem 1rem;
  line-height: 1.6;
  color: var(--text);
  font-size: 0.92rem;
}

#landing-intro h2{
  font-size: 1.15rem;
  font-variant: small-caps;
  letter-spacing: 0.03em;
  margin-bottom: 0.6rem;
  color: var(--text);
}

#landing-intro p{
  margin-bottom: 0.8rem;
}

#landing-intro a{
  color: var(--accent);
  text-decoration: none;
}

#landing-intro a:hover{
  text-decoration: underline;
}

#landing-intro .intro-links{
  display: flex;
  gap: 1rem;
  margin-top: 0.5rem;
  margin-bottom: 0.5rem;
}

#landing-intro .intro-link{
  display: inline-flex;
  align-items: center;
  gap: 0.35rem;
  padding: 0.4rem 0.9rem;
  border: 1px solid var(--border);
  border-radius: 4px;
  font-size: 0.82rem;
  font-variant: small-caps;
  letter-spacing: 0.03em;
  color: var(--accent);
  text-decoration: none;
  transition: background 120ms ease, border-color 120ms ease;
}

#landing-intro .intro-link:hover{
  background: var(--accent-light);
  border-color: var(--accent);
  text-decoration: none;
}

#main.entry #dag-container{
  display: none;
}

#landing-figure{
  display: none;
}

#dag-container{
  height: 200px;
  min-height: 100px;
  border-bottom: 1px solid var(--border);
  background: var(--surface);
  overflow: hidden;
}

#dag-container svg{
  width: 100%;
  height: 100%;
}

.dag-legend{
  display: flex;
  flex-wrap: wrap;
  gap: 1rem;
  padding: 0.65rem 2rem 0;
  font-size: 0.74rem;
  color: var(--text-dim);
}

.dag-legend-item{
  display: inline-flex;
  align-items: center;
  gap: 0.4rem;
}

.dag-legend-swatch{
  width: 1.5rem;
  height: 0;
  border-top: 2px solid var(--text-dim);
}

.dag-legend-swatch.statement{
  border-color: var(--def-color);
}

.dag-legend-swatch.proof{
  border-color: var(--lem-color);
  border-top-style: dashed;
}

.dag-node circle{
  stroke-width: 1.5;
  cursor: pointer;
}

.dag-node text{
  font-size: 9.5px;
  fill: var(--text);
  font-family: 'Latin Modern', Georgia, serif;
}

.dag-node.highlighted circle{
  stroke: #2c2c2c;
  stroke-width: 3;
}

.dag-node:focus circle,
.dag-node:focus-visible circle{
  stroke: var(--accent);
  stroke-width: 3;
}

.dag-edge{
  fill: none;
  stroke: var(--text-dim);
  stroke-width: 1.5;
  marker-end: url(#arrowhead);
}

.dag-edge.statement-edge{ stroke: var(--def-color); stroke-opacity: 0.6; }

.dag-edge.proof-edge{ stroke: var(--lem-color); stroke-opacity: 0.5; stroke-dasharray: 4 2; }

#detail{
  padding: 2rem 2rem 4rem;
  min-width: 0;
  line-height: 1.75;
}

#detail h2{
  font-variant: small-caps;
  letter-spacing: 0.03em;
  color: var(--text);
  font-size: 1.2rem;
  margin-bottom: 0.7rem;
  padding-bottom: 0.55rem;
  border-bottom: 1px solid var(--border-light);
  overflow-wrap: break-word;
  word-break: break-all;
}

.detail-heading{
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 1rem;
  margin-bottom: 1rem;
  padding-bottom: 0.7rem;
  border-bottom: 1px solid var(--border-light);
}

.detail-heading h2{
  margin-bottom: 0;
  padding-bottom: 0;
  border-bottom: none;
}

.detail-heading .status-pills{
  justify-content: flex-end;
}

.status-pills{
  display: flex;
  gap: 0.5rem;
  flex-wrap: wrap;
}

.section-heading{
  display: flex;
  align-items: center;
  gap: 0.65rem;
  flex-wrap: wrap;
}

.section-heading .status-pills{
  gap: 0.4rem;
  margin-left: auto;
}

.status-pill{
  display: inline-flex;
  align-items: center;
  gap: 0.3rem;
  padding: 0.15rem 0.4rem;
  border-radius: 3px;
  font-size: 0.62rem;
  font-weight: 600;
  letter-spacing: 0.03em;
  border: 1px solid transparent;
}

.status-pill.build-pass{
  background: #e8f5e8;
  color: #2d6a2d;
  border-color: #b8dab8;
}

.status-pill.build-fail{
  background: #fce8e8;
  color: #943232;
  border-color: #e8b8b8;
}

.status-pill.build-missing{
  background: #f0f0f0;
  color: #666;
  border-color: #d0d0d0;
}

.status-pill.build-draft{
  background: #fcf3d9;
  color: #8a6a1c;
  border-color: #e8d388;
}

.status-pill-label{
  text-transform: uppercase;
}

.block{
  background: var(--surface);
  border-left: 3px solid var(--border-light);
  border-radius: 0 3px 3px 0;
  padding: 1rem 1.3rem;
  margin-bottom: 1.4rem;
  box-shadow: 0 1px 2px rgba(0, 0, 0, 0.03);
}


.block h3{
  font-size: 0.85rem;
  font-weight: 700;
  font-variant: small-caps;
  color: var(--text-dim);
  margin-bottom: 0.7rem;
  letter-spacing: 0.05em;
}

.block .latex-content{
  line-height: 1.3;
  text-align: justify;
  hyphens: auto;
  overflow-wrap: anywhere;
}

.latex-content p + p{
  margin-top: 0.9rem;
}

.latex-content ul,
.latex-content ol{
  margin: 0.8rem 0 0.3rem 1.3rem;
  padding-left: 0.3rem;
}

.latex-content li + li{
  margin-top: 0.3rem;
}

.latex-content .math.display{
  display: block;
  margin: 0.95rem 0;
}

.latex-content code{
  font-family: 'JetBrains Mono', 'Fira Code', 'Consolas', monospace;
  font-size: 0.92em;
  background: #f3f5f8;
  border: 1px solid var(--border-light);
  border-radius: 4px;
  padding: 0.08rem 0.35rem;
  color: #23415f;
}

.latex-content pre{
  margin: 0.9rem 0;
  padding: 0.8rem 0.95rem;
  background: #f6f8fb;
  border: 1px solid var(--border-light);
  border-radius: 6px;
  overflow-x: auto;
  line-height: 1.55;
}

.latex-content pre code{
  display: block;
  padding: 0;
  border: none;
  background: transparent;
  color: var(--text);
  font-size: 0.84rem;
  white-space: pre;
}

.katex{ font-size: 1em; }

.katex-display{
  max-width: 100%;
}

.latex-content .smallcaps{ font-variant: small-caps; }

.latex-render-fallback{
  white-space: pre-wrap;
}

.block-statement .latex-content{
  font-style: italic;
}

.deps-columns{
  display: flex;
  gap: 1.5rem;
}

.deps-col{
  flex: 1;
  min-width: 0;
}

.deps-col-heading{
  font-size: 0.65rem;
  color: var(--text-dim);
  font-weight: 600;
  text-transform: uppercase;
  letter-spacing: 0.04em;
  margin-bottom: 0.3rem;
}

/* Lean contract panel */


.section-heading a{
  color: inherit;
  text-decoration: none;
}

.section-heading a:hover{
  text-decoration: underline;
}

.inline-contract-shell{
  border: 1px solid var(--border-light);
  border-radius: 6px;
  background: #f6f8fb;
  overflow: hidden;
}

.inline-contract-wrap{
  overflow-x: auto;
}

.inline-contract-table{
  border-collapse: collapse;
  width: 100%;
  font-family: 'JetBrains Mono', 'Fira Code', 'Consolas', monospace;
  font-size: 0.79rem;
  line-height: 1.62;
}

.inline-contract-table td{
  padding: 0;
  vertical-align: top;
  white-space: pre;
}

.inline-contract-table .line-num{
  width: 3.7rem;
  text-align: right;
  padding: 0 0.95rem 0 0.75rem;
  color: var(--text-dim);
  user-select: none;
  opacity: 0.48;
}

.inline-contract-table .line-code{
  padding-right: 1rem;
}

.deps-list{
  list-style: none;
  padding: 0;
}

.deps-list li{
  display: flex;
  align-items: baseline;
  gap: 0.35rem;
  margin-bottom: 0.3rem;
}

.deps-list a{
  color: var(--link);
  text-decoration: none;
  cursor: pointer;
}

.deps-list a:hover{
  text-decoration: underline;
}

.deps-list a{
  overflow-wrap: anywhere;
}

/* Mobile drawer for catalog view */

.catalog-sidebar-backdrop{
  display: none;
}

@media (max-width: 900px) {
#content-shell {
    grid-template-columns: 1fr;
    position: relative;
  }

#sidebar {
    position: fixed;
    top: 0;
    left: 0;
    bottom: 0;
    width: 365px;
    min-width: 0;
    max-height: none;
    z-index: 200;
    background: var(--surface);
    border-right: 1px solid var(--border);
    box-shadow: 2px 0 12px rgba(0, 0, 0, 0.12);
    transform: translateX(-100%);
    pointer-events: none;
  }

#sidebar.ready {
    transition: transform 200ms ease;
  }

#sidebar.open {
    transform: translateX(0);
    pointer-events: auto;
  }

.catalog-sidebar-backdrop {
    display: block;
    position: fixed;
    inset: 0;
    z-index: 199;
    background: rgba(0, 0, 0, 0.25);
    opacity: 0;
    pointer-events: none;
  }

.catalog-sidebar-backdrop.ready {
    transition: opacity 200ms ease;
  }

.catalog-sidebar-backdrop.open {
    opacity: 1;
    pointer-events: auto;
  }

#main {
    grid-column: 1;
    width: 100%;
    min-height: 0;
  }

#dag-container {
    height: 260px;
    min-height: 180px;
  }

#main.landing #dag-container {
    min-height: 260px;
  }

#detail {
    padding: 1.2rem 1rem 3rem;
  }

#detail h2 {
    font-size: 1.05rem;
  }

.detail-heading {
    flex-direction: column;
    align-items: stretch;
  }

.detail-heading .status-pills {
    justify-content: flex-start;
  }

.inline-contract-table {
    font-size: 0.72rem;
    line-height: 1.55;
  }

.inline-contract-table .line-num {
    width: 3rem;
    padding-right: 0.7rem;
  }

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

.site-title {
    grid-column: 1;
    grid-row: 1;
    text-align: center;
    padding: 0.5rem 1rem 0;
    font-size: 1.2rem;
  }

.site-nav {
    grid-column: 1;
    grid-row: 2;
    justify-self: center;
    justify-content: center;
    padding: 0;
  }

.header-nav-link {
    font-size: 0.75rem;
    padding: 0.5rem 0.75rem;
  }

.sidebar-toggle {
    grid-column: 1;
    grid-row: 2;
    justify-self: start;
    align-self: center;
    margin-left: 0.4rem;
    z-index: 1;
  }

.site-header.scrolled .site-title {
    display: none;
  }

.site-header.scrolled {
    grid-template-rows: auto;
  }
}

/* ══════════════════════════════════════════
   LEAN VIEW CSS
   ══════════════════════════════════════════ */

.lean-shell{
  display: grid;
  grid-template-columns: auto 1fr;
  min-height: calc(100vh - 3.2rem);
}

/* ── Lean Sidebar ── */

.view-lean .lean-sidebar{
  grid-column: 1;
  grid-row: 1;
  width: 380px;
  position: sticky;
  top: 3.2rem;
  max-height: calc(100vh - 3.2rem);
  overflow-y: auto;
  padding: 1.75rem 1rem 2.25rem 1.25rem;
  border-right: 1px solid var(--border-light);
  text-align: left;
}

.view-lean .lean-sidebar-header{
  font-size: 0.72rem;
  font-weight: 700;
  text-transform: uppercase;
  letter-spacing: 0.06em;
  color: var(--text-dim);
  margin-bottom: 0.7rem;
}

.view-lean .file-tree{
  padding: 0;
}

.view-lean .tree-dir{ user-select: none; }

.view-lean .tree-dir-label{
  width: 100%;
  border: none;
  background: transparent;
  text-align: left;
  display: flex;
  align-items: center;
  gap: 0.35rem;
  padding: 0.25rem 0.6rem 0.25rem calc(0.6rem + var(--depth) * 0.9rem);
  font-family: 'JetBrains Mono', 'Fira Code', 'Consolas', monospace;
  font-size: 0.78rem;
  font-weight: 600;
  color: var(--text);
  cursor: pointer;
}

.view-lean .tree-dir-label:hover{ background: var(--accent-light); }

.view-lean .tree-dir-label:focus-visible{
  outline: 2px solid rgba(59, 107, 154, 0.35);
  outline-offset: -2px;
}

.view-lean .tree-dir-label .arrow{
  display: inline-block;
  width: 0;
  height: 0;
  border-style: solid;
  border-width: 4px 0 4px 6px;
  border-color: transparent transparent transparent var(--text-dim);
  transition: transform 150ms ease;
  transform-origin: 33% 50%;
  transform: rotate(90deg);
}

.view-lean .tree-dir.collapsed > .tree-dir-children{ display: none; }

.view-lean .tree-dir.collapsed > .tree-dir-label .arrow{ transform: rotate(0deg); }

.view-lean .tree-file{
  display: block;
  padding: 0.25rem 0.6rem 0.25rem calc(0.6rem + var(--depth) * 0.9rem);
  font-family: 'JetBrains Mono', 'Fira Code', 'Consolas', monospace;
  font-size: 0.78rem;
  color: var(--text);
  text-decoration: none;
  cursor: pointer;
}

.view-lean .tree-file:hover{ background: var(--accent-light); }

.view-lean .tree-file.active{
  background: var(--accent-light);
  color: var(--accent);
  font-weight: 600;
}

/* ── Lean Sidebar backdrop ── */

.lean-sidebar-backdrop{
  display: none;
}

/* ── Lean Main ── */

.view-lean .lean-main{
  grid-column: 2;
  grid-row: 1;
  min-width: 0;
  padding: 2rem 2rem 4rem;
  background: var(--surface);
}

.view-lean .file-header{
  padding: 0.5rem 0;
  font-family: 'JetBrains Mono', 'Fira Code', 'Consolas', monospace;
  font-size: 0.82rem;
  font-weight: 600;
  color: var(--accent);
  border-bottom: 1px solid var(--border-light);
  margin-bottom: 0.5rem;
  overflow-wrap: break-word;
  word-break: break-all;
}

.view-lean .source-wrap{
  overflow-x: auto;
}

.view-lean .source-table{
  border-collapse: collapse;
  width: 100%;
  font-family: 'JetBrains Mono', 'Fira Code', 'Consolas', monospace;
  font-size: 0.8rem;
  line-height: 1.65;
}

.view-lean .source-table td{
  padding: 0;
  vertical-align: top;
  white-space: pre;
}

.view-lean .source-table .line-num{
  width: 3.8rem;
  text-align: right;
  padding-right: 1rem;
  color: var(--text-dim);
  user-select: none;
  opacity: 0.45;
}

.view-lean .source-table .line-code{
  padding-right: 1rem;
}

.view-lean .source-table tr.highlighted td{ background: rgba(59, 107, 154, 0.12); }

.view-lean .empty-state{
  color: var(--text-dim);
  text-align: center;
  margin-top: 4rem;
  font-size: 0.9rem;
  font-style: italic;
}

/* ── Lean Mobile ── */

@media (max-width: 900px){
.lean-shell {
    grid-template-columns: 1fr;
  }

.view-lean .lean-sidebar {
    position: fixed;
    top: 0;
    left: 0;
    bottom: 0;
    width: 365px;
    min-width: 0;
    max-height: none;
    z-index: 200;
    background: var(--surface);
    border-right: 1px solid var(--border);
    box-shadow: 2px 0 12px rgba(0, 0, 0, 0.12);
    transform: translateX(-100%);
    pointer-events: none;
    padding: 1rem;
  }

.view-lean .lean-sidebar.ready {
    transition: transform 200ms ease;
  }

.view-lean .lean-sidebar.open {
    transform: translateX(0);
    pointer-events: auto;
  }

.lean-sidebar-backdrop {
    display: block;
    position: fixed;
    inset: 0;
    z-index: 199;
    background: rgba(0, 0, 0, 0.25);
    opacity: 0;
    pointer-events: none;
  }

.lean-sidebar-backdrop.ready {
    transition: opacity 200ms ease;
  }

.lean-sidebar-backdrop.open {
    opacity: 1;
    pointer-events: auto;
  }

.view-lean .lean-main {
    grid-column: 1;
    padding: 1.2rem 1rem 3rem;
  }

.view-lean .source-table {
    font-size: 0.72rem;
    line-height: 1.55;
  }

.view-lean .source-table .line-num {
    width: 3.1rem;
    padding-right: 0.75rem;
  }

.view-lean .source-table .line-code {
    padding-right: 0.75rem;
  }
}

/* ── Manuscripts ───────────────────────────────────────────── */

.manuscripts-index,
.manuscript-page{
  background: var(--bg);
  min-height: calc(100vh - 60px);
}

.manuscripts-index-inner,
.manuscript-inner{
  max-width: 960px;
  margin: 0 auto;
  padding: 2rem 2rem 4rem;
}

.manuscripts-index h2{
  font-size: 1.5rem;
  margin-bottom: 0.5rem;
}

.manuscripts-index-blurb{
  color: var(--text-dim);
  line-height: 1.55;
  margin-bottom: 1.5rem;
  font-size: 0.92rem;
}

.manuscripts-library{
  margin-top: 1.75rem;
}

.manuscripts-library h3{
  font-variant: small-caps;
  letter-spacing: 0.04em;
  font-size: 0.95rem;
  color: var(--text-dim);
  border-bottom: 1px solid var(--border-light);
  padding-bottom: 0.3rem;
  margin-bottom: 0.75rem;
}

.manuscripts-list{
  list-style: none;
  padding: 0;
  display: flex;
  flex-direction: column;
  gap: 0.5rem;
}

.manuscripts-list-link{
  display: block;
  padding: 0.85rem 1rem;
  border: 1px solid var(--border);
  border-radius: 6px;
  background: var(--surface);
  text-decoration: none;
  color: var(--text);
  transition: border-color 120ms ease, background 120ms ease;
}

.manuscripts-list-link:hover{
  border-color: var(--accent);
  background: var(--accent-light);
}

.manuscripts-list-title{
  display: block;
  font-weight: 600;
  font-size: 1.02rem;
  color: var(--link);
}

.manuscripts-list-meta{
  display: block;
  color: var(--text);
  font-size: 0.98rem;
  font-weight: 600;
  margin-top: 0.25rem;
}

.manuscripts-list-year{
  margin-left: 0.3rem;
}

.manuscripts-list-counts{
  display: block;
  font-size: 0.78rem;
  color: var(--text-dim);
  font-variant: small-caps;
  letter-spacing: 0.04em;
  margin-top: 0.25rem;
}

.manuscript-breadcrumb{
  font-size: 0.8rem;
  color: var(--text-dim);
  margin-bottom: 1rem;
}

.manuscript-breadcrumb a{
  color: var(--link);
  text-decoration: none;
}

.manuscript-breadcrumb a:hover{ text-decoration: underline; }
.manuscript-breadcrumb .sep{ margin: 0 0.4rem; }

.manuscript-paper-header{
  text-align: center;
  margin: 1.5rem 0 3rem;
}

.manuscript-title{
  font-size: 1.9rem;
  font-weight: 700;
  line-height: 1.25;
  margin: 0 0 1rem;
  color: var(--text);
}

.manuscript-paper-subtitle{
  font-size: 1rem;
  color: var(--text);
  margin: 0 0 1rem;
  line-height: 1.5;
}

.manuscript-paper-subtitle-label{
  font-style: italic;
  color: var(--text-dim);
  margin-right: 0.3rem;
}

.manuscript-paper-subtitle a{
  color: var(--link);
  text-decoration: none;
}

.manuscript-paper-subtitle a:hover{ text-decoration: underline; }

.manuscript-authors{
  font-size: 1.05rem;
  margin: 0;
  color: var(--text);
}

.manuscript-section{
  margin-top: 2.75rem;
}

.manuscript-section-title{
  font-size: 1.4rem;
  font-weight: 700;
  font-variant: normal;
  letter-spacing: 0;
  text-transform: none;
  color: var(--text);
  margin: 0 0 1rem;
  padding: 0;
  border: none;
  display: flex;
  align-items: baseline;
  gap: 0.55rem;
}

.manuscript-section-title .section-num{
  font-weight: 700;
}

.manuscript-overview-subhead{
  font-size: 1.05rem;
  font-weight: 700;
  margin: 1.75rem 0 0.5rem;
  color: var(--text);
}

.manuscript-subsection{
  margin: 1.5rem 0 0;
}

.manuscript-subsection-title{
  font-size: 1.1rem;
  font-weight: 700;
  color: var(--text);
  margin: 0 0 0.6rem;
}

.manuscript-entry-card{
  background: var(--surface);
  border-left: 3px solid var(--border-light);
  border-radius: 0 6px 6px 0;
  padding: 0.9rem 1rem;
  margin-bottom: 0.85rem;
  box-shadow: 0 1px 2px rgba(0, 0, 0, 0.03);
}

.manuscript-entry-card.is-main-result{
  border-left-color: var(--accent);
}

.manuscript-entry-head{
  display: flex;
  align-items: baseline;
  gap: 0.6rem;
  margin-bottom: 0.45rem;
}

.manuscript-entry-name{
  font-weight: 600;
  color: var(--link);
  text-decoration: none;
  font-size: 1rem;
}

.manuscript-entry-name:hover{ text-decoration: underline; }

.manuscript-entry-type{
  font-variant: small-caps;
  letter-spacing: 0.04em;
  font-size: 0.8rem;
  color: var(--text-dim);
}

.manuscript-entry-statement{
  font-size: 0.93rem;
  line-height: 1.55;
}

.manuscript-entry-lean{
  margin-top: 0.7rem;
}

.manuscript-entry-lean-head{
  font-size: 0.78rem;
  color: var(--text-dim);
  margin-bottom: 0.2rem;
}

.manuscript-entry-lean-head a{ color: var(--link); text-decoration: none; }
.manuscript-entry-lean-head a:hover{ text-decoration: underline; }

.manuscript-entry-lean .inline-contract-wrap{
  background: #f6f8fb;
  border: 1px solid var(--border-light);
  border-radius: 6px;
}

.manuscript-dag{
  height: 55vh;
  min-height: 320px;
  border: 1px solid var(--border);
  border-radius: 6px;
  background: var(--surface);
  overflow: hidden;
}

.manuscript-dag + .dag-legend{
  padding: 0.5rem 0 0;
}

.manuscript-entry-list{
  list-style: none;
  padding: 0;
  columns: 12rem;
  column-gap: 2rem;
}

.manuscript-entry-list li{
  padding: 0.15rem 0;
  break-inside: avoid;
  display: flex;
  align-items: baseline;
  gap: 0.45rem;
}

.manuscript-entry-list .type-badge{
  flex-shrink: 0;
}

.manuscript-entry-list a{
  color: var(--link);
  text-decoration: none;
}

.manuscript-entry-list a:hover{ text-decoration: underline; }

.manuscript-entry-list-type{
  font-variant: small-caps;
  font-size: 0.75rem;
  color: var(--text-dim);
  margin-left: 0.35rem;
  letter-spacing: 0.04em;
}

.manuscript-empty{
  color: var(--text-dim);
  font-size: 0.9rem;
  padding: 0.5rem 0;
}

.manuscript-review .latex-content{
  font-size: 0.95rem;
  line-height: 1.6;
}

@media (max-width: 700px){
  .manuscripts-index-inner,
  .manuscript-inner,
  .landing-inner{ padding: 1.2rem 1rem 3rem; }
  .manuscript-entry-list{ columns: 1; }
}

/* ── Landing page ──────────────────────────────────────────── */

.landing-page{
  background: var(--bg);
  min-height: calc(100vh - 60px);
}

.landing-inner{
  max-width: 960px;
  margin: 0 auto;
  padding: 2rem 2rem 4rem;
}

.landing-about h2,
.landing-dag-section h2,
.landing-manuscripts h2{
  font-size: 1.35rem;
  font-weight: 700;
  margin-bottom: 0.6rem;
  color: var(--text);
}

.landing-manuscripts-intro{
  font-size: 0.95rem;
  color: var(--text);
  margin-bottom: 0.8rem;
}

.landing-about{ margin-bottom: 2.25rem; line-height: 1.6; font-size: 0.95rem; }
.landing-about p{ margin-bottom: 0.8rem; }
.landing-about a{ color: var(--accent); text-decoration: none; }
.landing-about a:hover{ text-decoration: underline; }

.obfuscated-email-decoy{ display: none; }
.obfuscated-email{ unicode-bidi: isolate; }

.landing-author{
  font-size: 1rem;
  margin-bottom: 0.8rem;
}

.landing-author-label{
  font-variant: small-caps;
  letter-spacing: 0.04em;
  color: var(--text-dim);
  margin-right: 0.35rem;
}

.landing-dag-section{ margin-top: 2.75rem; margin-bottom: 2.25rem; }

.landing-dag-section > p{
  margin-bottom: 1rem;
}

#dag-container.landing-dag{
  height: 60vh;
  min-height: 448px;
  border: 1px solid var(--border);
  border-radius: 6px;
  background: var(--surface);
  overflow: hidden;
}

.landing-dag + .dag-legend{
  padding: 0.5rem 0 0;
}

.landing-lean-link{
  margin-top: 0.8rem;
  font-size: 0.92rem;
  color: var(--text-dim);
}

.landing-lean-link a{ color: var(--link); text-decoration: none; }
.landing-lean-link a:hover{ text-decoration: underline; }

.landing-manuscripts .manuscripts-library{ margin-top: 1.25rem; }