/* ── EmoStack article section — the look of the home page of 23 IX 2026 (Cormorant, Newsreader, Inter). Derived from docs.css; /docs keeps docs.css. ── */

.docs-page {
  min-height: 100vh;
  background: #14171c;
  background-image: radial-gradient(60vw 50vh at 10% 0%, rgba(120, 132, 150, 0.14), transparent 70%);
  text-align: left;
  color: #cfd3d9;
  font-family: "Inter", system-ui, sans-serif;
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
}

/* top bar */
.docs-topbar {
  position: sticky;
  top: 0;
  z-index: 100;
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding: 14px 28px;
  background: rgba(20, 23, 28, 0.86);
  backdrop-filter: blur(8px);
  border-bottom: 1px solid rgba(255, 255, 255, 0.07);
}
.docs-brand a { display: flex; align-items: center; gap: 12px; text-decoration: none; border: 0; }
.docs-brand img { height: 44px; width: auto; display: block; }
.docs-brand a span { font-family: "Cormorant Garamond", Georgia, serif; font-size: 1.25rem; font-style: italic; color: #b9c0c9; }
.docs-topnav { display: flex; gap: 22px; align-items: baseline; }
.docs-topnav a {
  font-family: "Inter", system-ui, sans-serif;
  font-size: 0.78rem;
  letter-spacing: 0.14em;
  text-transform: uppercase;
  color: #9aa1ab;
  text-decoration: none;
  border: 0;
  transition: color .25s ease;
}
.docs-topnav a:hover { color: #fff; }
.docs-topnav a.active { color: #e6e8eb; }
.docs-topnav a.muted { text-transform: none; letter-spacing: 0.02em; color: #737a84; }
.docs-topnav a.muted:hover { color: #fff; }

/* layout */
.docs-shell {
  max-width: 1180px;
  margin: 0 auto;
  display: grid;
  grid-template-columns: 252px 1fr;
  gap: 36px;
  padding: 30px 28px 80px;
}

/* sidebar */
.docs-side { position: sticky; top: 78px; align-self: start; max-height: calc(100vh - 100px); overflow-y: auto; }
.docs-nav { display: flex; flex-direction: column; gap: 1px; }
.docs-nav .nav-section {
  font-family: "Inter", system-ui, sans-serif;
  text-transform: uppercase;
  letter-spacing: .08em;
  font-size: .72rem;
  color: #7f8893;
  margin: 18px 0 6px;
  padding-left: 12px;
}
.docs-nav a {
  display: block;
  padding: 7px 12px;
  border-radius: 7px;
  border-left: 2px solid transparent;
  font-family: "Inter", system-ui, sans-serif;
  font-size: 1rem;
  color: #aab0b9;
  text-decoration: none;
  transition: color .2s ease, background .2s ease;
}
.docs-nav a.top { font-weight: 500; color: #cfd5dd; }
.docs-nav a:hover { color: #fff; background: rgba(255, 255, 255, 0.05); }
.docs-nav a.active {
  color: #fff;
  background: rgba(255, 255, 255, 0.07);
  border-left-color: #b9c0c9;
}

/* ── article typography ── */
.docs-main { min-width: 0; }
.docs-article {
  font-family: "Inter", system-ui, sans-serif;
  font-size: 1rem;
  line-height: 1.65;
  font-weight: 400;
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
  text-rendering: optimizeLegibility;
  color: #cfd3d9;
  max-width: 760px;
}
.docs-article h1, .docs-article h2, .docs-article h3,
.docs-article h4 {
  font-family: "Cormorant Garamond", Georgia, serif;
  font-weight: 600;
  color: #eceef1;
  text-align: left;
  line-height: 1.25;
}
.docs-article h1 {
  font-size: 2.5rem;
  font-weight: 500;
  margin: 0 0 1.2rem;
  padding-bottom: .5rem;
  border-bottom: 1px solid rgba(255, 255, 255, 0.12);
}
.docs-article h2 { font-size: 1.75rem; margin: 2.2rem 0 .9rem; }
.docs-article h3 { font-size: 1.35rem; margin: 1.8rem 0 .7rem; color: #eceef1; }
.docs-article p { text-align: left; max-width: none; margin: 0 0 1.1rem; padding: 0; font-size: 1rem; color: #a9aeb6; font-weight: 400; }
.docs-article ul, .docs-article ol { margin: 0 0 1.1rem; padding-left: 1.5rem; }
.docs-article li { margin: .3rem 0; color: #a9aeb6; }
.docs-article a { color: #b9c0c9; text-decoration: none; border-bottom: 1px solid rgba(185, 192, 201, .35); }
.docs-article a:hover { color: #fff; border-bottom-color: #fff; }
.docs-article strong { color: #eceef1; font-weight: 500; }
.docs-article hr { border: 0; border-top: 1px solid rgba(255,255,255,.12); margin: 2rem 0; }

.docs-article code {
  font-family: "SFMono-Regular", ui-monospace, Menlo, monospace;
  font-size: .88em;
  background: rgba(255, 255, 255, 0.08);
  padding: .12em .4em;
  border-radius: 5px;
  color: #f0d9a8;
}
.docs-article pre {
  background: #0b0e14;
  border: 1px solid rgba(255, 255, 255, 0.1);
  border-radius: 10px;
  padding: 16px 18px;
  overflow-x: auto;
  margin: 0 0 1.2rem;
}
.docs-article pre code { background: none; padding: 0; color: #d7dde6; font-size: .86rem; line-height: 1.6; }

.docs-article blockquote {
  margin: 0 0 1.2rem;
  padding: .5rem 1.1rem;
  border-left: 2px solid rgba(185, 192, 201, 0.45);
  background: none;
  color: #b9c0c9;
  font-family: "Inter", system-ui, sans-serif;
  font-size: 1rem;
}
.docs-article img {
  max-width: 100%;
  height: auto;
  border-radius: 10px;
  margin: 1rem 0;
  background: rgba(255,255,255,.96);
  padding: 6px;
}
.docs-article table {
  width: 100%;
  border-collapse: collapse;
  margin: 0 0 1.4rem;
  font-size: .94rem;
  display: block;
  overflow-x: auto;
}
.docs-article th, .docs-article td {
  border: 1px solid rgba(255, 255, 255, 0.14);
  padding: 9px 12px;
  text-align: left;
}
.docs-article th { background: rgba(255, 255, 255, 0.05); color: #eceef1; font-family: "Inter", system-ui, sans-serif; font-size: .8rem; letter-spacing: .04em; font-weight: 500; }
.docs-article .mermaid { background: rgba(255,255,255,.03); border-radius: 10px; padding: 14px; margin: 0 0 1.2rem; text-align: center; }

/* ── index / overview ── */
.docs-hero { margin-bottom: 34px; }
.docs-hero h1 {
  font-family: "Cormorant Garamond", Georgia, serif;
  font-weight: 500;
  color: #eceef1;
  font-size: 2.8rem;
  text-align: left;
  margin: 0 0 .6rem;
}
.docs-hero p { text-align: left; max-width: 760px; margin: 0; padding: 0; color: #a9aeb6; font-size: 1rem; font-weight: 400; line-height: 1.65; }
.docs-cards {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(240px, 1fr));
  gap: 18px;
}
.doc-card {
  background: rgba(255, 255, 255, 0.04);
  border: 1px solid rgba(255, 255, 255, 0.1);
  border-radius: 12px;
  padding: 18px 20px;
  transition: border-color .2s ease, background .2s ease;
}
.doc-card:hover { border-color: rgba(255, 255, 255, 0.22); background: rgba(255, 255, 255, 0.06); }
.doc-card h3 { font-family: "Cormorant Garamond", Georgia, serif; font-weight: 600; color: #eceef1; margin: 0 0 .5rem; font-size: 1.15rem; text-align: left; }
.doc-card h3 a { color: #fff; text-decoration: none; }
.doc-card h3 a:hover { color: silver; }
.doc-card ul { list-style: none; margin: 0; padding: 0; }
.doc-card li { margin: .35rem 0; }
.doc-card li a { color: #aab0b9; text-decoration: none; font-family: "Inter", system-ui, sans-serif; font-size: .95rem; }
.doc-card li a:hover { color: #fff; }

/* ── responsive ── */
@media (max-width: 820px) {
  .docs-shell { grid-template-columns: 1fr; gap: 18px; }
  .docs-side { position: static; max-height: none; border-bottom: 1px solid rgba(255,255,255,.1); padding-bottom: 12px; }
  .docs-nav { flex-flow: row wrap; gap: 4px; }
  .docs-nav .nav-section { width: 100%; margin: 10px 0 2px; }
}

/* (23 IX) phones: the top bar in one row, the page first, the list of pages after it */
@media (max-width: 820px) {
  .docs-topbar { padding: 10px 16px; gap: 12px; }
  .docs-brand img { height: 36px; }
  .docs-brand a span { display: none; }
  .docs-topnav { gap: 14px; overflow-x: auto; white-space: nowrap; -webkit-overflow-scrolling: touch; scrollbar-width: none; }
  .docs-topnav::-webkit-scrollbar { display: none; }
  .docs-topnav a { font-size: 0.72rem; letter-spacing: 0.1em; flex: none; }
  .docs-shell { display: flex; flex-direction: column; padding: 18px 16px 56px; gap: 24px; }
  .docs-side { order: 2; border-top: 1px solid rgba(255,255,255,.08); border-bottom: 0; padding-top: 14px; }
  .docs-side::before { content: "All pages"; display: block; font-family: "Inter", system-ui, sans-serif; font-size: 0.72rem; letter-spacing: 0.16em; text-transform: uppercase; color: #8b929c; margin: 0 0 6px 12px; }
  .docs-nav { flex-flow: row wrap; gap: 2px 6px; }
  .docs-nav a { font-size: 0.95rem; padding: 5px 10px; }
  .docs-article { font-size: 1.05rem; }
  .docs-article h1 { font-size: 1.9rem; }
  .docs-article h2 { font-size: 1.45rem; }
  .docs-hero h1 { font-size: 2.1rem; }
  .docs-cards { grid-template-columns: 1fr; }
}

.docs-article p, .docs-article li, .docs-article td { overflow-wrap: anywhere; }

/* ── timeline page (25 IX 2026) ── */
.docs-article .tl { position: relative; margin-top: 1.4rem; }
.tl-filter { display: flex; flex-wrap: wrap; gap: 8px; margin: 0 0 14px; }
.tl-filter button { font-family: "Inter", system-ui, sans-serif; font-size: .74rem; letter-spacing: .12em; text-transform: uppercase;
  background: transparent; color: #9aa1ab; border: 1px solid rgba(185,192,201,.3); border-radius: 999px; padding: 6px 14px; cursor: pointer; }
.tl-filter button:hover { color: #eceef1; border-color: rgba(185,192,201,.6); }
.tl-filter button.on { color: #14171c; background: #b9c0c9; border-color: #b9c0c9; }
.tl-periods { display: flex; flex-wrap: wrap; gap: 4px 16px; margin: 0 0 2.2rem; font-family: "Inter", system-ui, sans-serif; font-size: .78rem; }
.docs-article .tl-periods a { color: #8b929c; border: 0; }
.docs-article .tl-periods a:hover { color: #eceef1; }
.tl-period { position: relative; }
.docs-article h2.tl-ph { position: sticky; top: 72px; z-index: 3; margin: 2.4rem 0 1.2rem; padding: 10px 0; background: #15181d;
  display: flex; align-items: baseline; gap: 14px; flex-wrap: wrap; border: 0; font-size: 1.55rem; }
.tl-ph small { font-family: "Inter", system-ui, sans-serif; font-size: .74rem; letter-spacing: .12em; text-transform: uppercase; color: #8b929c; font-weight: 400; }
.tl-item { position: relative; display: grid; grid-template-columns: 150px 1fr; gap: 0 34px; padding: 0 0 26px; }
.tl-item::before { content: ""; position: absolute; left: 167px; top: 0; bottom: 0; width: 2px; background: linear-gradient(#3a414b, #2b3038); }
.tl-item::after { content: ""; position: absolute; left: 161px; top: 8px; width: 14px; height: 14px; border-radius: 50%;
  background: #14171c; border: 2px solid #b9c0c9; box-shadow: 0 0 0 4px #14171c, 0 0 14px rgba(185,192,201,.35); }
.tl-item[data-s~="concept"]::after { border-color: #c9b6e8; }
.tl-item[data-s~="engine"]::after { border-color: #9cc3e6; }
.tl-item[data-s~="research"]::after { border-color: #9fd3ad; }
.tl-item[data-s~="paper"]::after { border-color: #e2cf8f; }
.tl-date { font-family: "Inter", system-ui, sans-serif; font-size: .8rem; letter-spacing: .04em; color: #aab0b9; text-align: right; padding-top: 5px; line-height: 1.35; }
.tl-card { background: rgba(255,255,255,.025); border: 1px solid rgba(255,255,255,.07); border-radius: 10px; padding: 14px 18px 6px; }
.docs-article .tl-card h3 { margin: 0 0 6px; font-size: 1.3rem; }
.tl-tags { display: flex; gap: 6px; margin: 0 0 10px; }
.tl-tag { font-family: "Inter", system-ui, sans-serif; font-size: .64rem; letter-spacing: .12em; text-transform: uppercase; padding: 2px 8px; border-radius: 999px; border: 1px solid; }
.t-concept { color: #c9b6e8; border-color: rgba(201,182,232,.45); }
.t-engine { color: #9cc3e6; border-color: rgba(156,195,230,.45); }
.t-research { color: #9fd3ad; border-color: rgba(159,211,173,.45); }
.t-paper { color: #e2cf8f; border-color: rgba(226,207,143,.45); }
.docs-article .tl-card p { font-size: 1.02rem; margin-bottom: .8rem; }
.docs-article .tl-card blockquote { font-size: 1.12rem; margin: 0 0 .5rem; }
.docs-article .tl-src { font-family: "Inter", system-ui, sans-serif; font-size: .72rem; color: #737a84; }
.tl-fig { margin: 4px 0 12px; }
.docs-article .tl-fig img { width: 100%; height: auto; border-radius: 8px; padding: 6px; background: #fff; margin: 0; }
.docs-article .tl-fig.small img { width: 150px; background: none; padding: 0; }
.tl-fig figcaption { font-family: "Inter", system-ui, sans-serif; font-size: .74rem; color: #8b929c; margin-top: 6px; }
@media (max-width: 820px) {
  .docs-article h2.tl-ph { top: 56px; font-size: 1.3rem; }
  .tl-item { grid-template-columns: 1fr; padding-left: 26px; gap: 4px; }
  .tl-item::before { left: 6px; }
  .tl-item::after { left: 0; top: 4px; }
  .tl-date { text-align: left; padding-top: 0; }
}
.tl [hidden] { display: none !important; }

/* ── quiet scrollbars (25 IX 2026): thin, dark, lighter on hover ── */
.docs-side { scrollbar-width: thin; scrollbar-color: rgba(185,192,201,.14) transparent; padding-right: 6px; }
.docs-side:hover { scrollbar-color: rgba(185,192,201,.35) transparent; }
.docs-side::-webkit-scrollbar { width: 6px; }
.docs-side::-webkit-scrollbar-track { background: transparent; }
.docs-side::-webkit-scrollbar-thumb { background: rgba(185,192,201,.14); border-radius: 6px; }
.docs-side:hover::-webkit-scrollbar-thumb { background: rgba(185,192,201,.35); }
.docs-side::-webkit-scrollbar-thumb:hover { background: rgba(185,192,201,.55); }
html { scrollbar-width: thin; scrollbar-color: rgba(185,192,201,.22) #14171c; }
html::-webkit-scrollbar { width: 8px; }
html::-webkit-scrollbar-track { background: #14171c; }
html::-webkit-scrollbar-thumb { background: rgba(185,192,201,.22); border-radius: 8px; border: 2px solid #14171c; }
html::-webkit-scrollbar-thumb:hover { background: rgba(185,192,201,.45); }
.docs-article table::-webkit-scrollbar { height: 6px; }
.docs-article table::-webkit-scrollbar-thumb { background: rgba(185,192,201,.2); border-radius: 6px; }
.docs-article table { scrollbar-width: thin; scrollbar-color: rgba(185,192,201,.2) transparent; }

.docs-brand { display: flex; align-items: center; gap: 12px; }
.docs-brand a { border: 0; }

/* ── layout of the home page for /article and /docs (25 IX 2026) ── */
.docs-page.l3 { display: grid; grid-template-columns: 300px minmax(0, 1fr); min-height: 100vh; }
.l3-side { position: sticky; top: 0; align-self: start; height: 100vh; box-sizing: border-box; overflow-y: auto;
  padding: 44px 26px 32px 44px; border-right: 1px solid rgba(255,255,255,.07); display: flex; flex-direction: column; gap: 20px; max-height: none; }
.l3-head { display: flex; flex-direction: column; gap: 16px; }
.l3-brand { border: 0; display: block; width: 132px; }
.l3-brand img { width: 132px; height: auto; display: block; filter: drop-shadow(0 0 16px rgba(170,185,205,.2)); }
.l3-tag { margin: 0; font-family: "Cormorant Garamond", Georgia, serif; font-style: italic; font-size: 1.15rem; line-height: 1.35; }
.l3-tag a { color: #aab0b9; text-decoration: none; border: 0; }
.l3-tag a:hover { color: #fff; }
.l3-nav { display: flex; flex-direction: column; gap: 9px; font-family: "Inter", system-ui, sans-serif; font-size: .76rem; letter-spacing: .14em; text-transform: uppercase; }
.l3-nav a { color: #9aa1ab; text-decoration: none; border: 0; }
.l3-nav a:hover, .l3-nav a[aria-current="page"] { color: #eceef1; }
.l3-list { border-top: 1px solid rgba(255,255,255,.07); padding-top: 12px; }
.l3-list .nav-section { padding-left: 0; }
.l3-list a { padding-left: 10px; margin-left: -10px; }
.l3-logout { margin-top: 18px; font-family: "Inter", system-ui, sans-serif !important; font-size: .78rem !important; color: #737a84 !important; }
.l3-main { padding: 56px 6vw 96px 5vw; min-width: 0; }
.l3-main .docs-article, .l3-main .docs-hero p { max-width: 760px; }
.l3-main .docs-cards { max-width: 1100px; }
.docs-page.l3 .docs-article h2.tl-ph { top: 0; }
@media (max-width: 860px) {
  .docs-page.l3 { display: flex; flex-direction: column; }
  .l3-side { display: contents; }
  .l3-head { order: 1; position: static; display: grid; grid-template-columns: 76px 1fr; align-items: center; gap: 10px 16px;
    padding: 18px 18px 14px; border-bottom: 1px solid rgba(255,255,255,.07); }
  .l3-brand, .l3-brand img { width: 76px; }
  .l3-nav { grid-column: 1 / -1; flex-direction: row; flex-wrap: wrap; gap: 6px 16px; font-size: .7rem; }
  .l3-main { order: 2; padding: 26px 18px 40px; }
  .l3-list { order: 3; padding: 16px 18px 40px; flex-direction: row; flex-wrap: wrap; gap: 2px 6px; }
  .l3-list::before { content: "All pages"; width: 100%; display: block; font-family: "Inter", system-ui, sans-serif; font-size: .7rem; letter-spacing: .16em; text-transform: uppercase; color: #8b929c; margin: 0 0 6px; }
  .docs-page.l3 .docs-article h2.tl-ph { top: 0; }
}
.l3-side, .l3-head { text-align: left; }

/* ── 25 IX, second pass: brand row, menu on top right, no justification ── */
.l3-side { padding: 36px 24px 32px 36px; gap: 22px; }
.l3-head { flex-direction: row; align-items: center; gap: 14px; }
.l3-brand, .l3-brand img { width: 64px; flex: none; }
.docs-page.l3 p.l3-tag { text-align: left; margin: 0; padding: 0; max-width: none; font-size: 1.12rem; line-height: 1.3; }
.l3-main { padding-top: 26px; }
.docs-page.l3 .l3-nav { flex-direction: row; justify-content: flex-end; flex-wrap: wrap; gap: 8px 26px; margin: 0 0 42px; font-size: .74rem; }
.l3-list { border-top: 0; padding-top: 0; }
.docs-page.l3 .docs-cards { max-width: 1120px; width: 100%; grid-template-columns: repeat(auto-fill, minmax(250px, 1fr)); box-sizing: border-box; }
.docs-page.l3 .doc-card { min-width: 0; }
@media (max-width: 860px) {
  .l3-head { display: flex; flex-direction: row; padding: 16px 18px 12px; border-bottom: 1px solid rgba(255,255,255,.07); }
  .l3-brand, .l3-brand img { width: 52px; }
  .docs-page.l3 .l3-nav { justify-content: flex-start; margin: 0 0 26px; gap: 6px 16px; font-size: .7rem; }
}
.docs-article .tl-card ul.tl-list { margin: 0 0 .9rem; padding-left: 1.1rem; }
.docs-article .tl-card ul.tl-list li { font-size: 1rem; margin: .35rem 0; }
.docs-article .tl-card ul.tl-list strong { color: #eceef1; font-weight: 500; }

html, body { background-color: #14171c; }

/* ── ontology page (28 IX 2026): wider tables, contents, anchors per term ── */
.l3-main .docs-article:has(.ont-toc) { max-width: 1080px; }
.docs-article:has(.ont-toc) > p,
.docs-article:has(.ont-toc) > blockquote,
.docs-article:has(.ont-toc) > ul { max-width: 760px; }
.docs-article:has(.ont-toc) h2,
.docs-article:has(.ont-toc) h3,
.docs-article .ont-term,
.docs-article .ont-anchor { scroll-margin-top: 24px; }
.docs-article:has(.ont-toc) table { font-size: .9rem; line-height: 1.45; }
.docs-article:has(.ont-toc) th,
.docs-article:has(.ont-toc) td { overflow-wrap: normal; word-break: normal; hyphens: manual; vertical-align: top; min-width: 7.5rem; }
.docs-article:has(.ont-toc) td:first-child,
.docs-article:has(.ont-toc) th:first-child { white-space: nowrap; min-width: 0; color: #eceef1; }
.docs-article:has(.ont-toc) td:last-child { min-width: 16rem; }
.docs-article .ont-term { margin: 1.7rem 0 .45rem; }
.docs-article .ont-term strong { color: #eceef1; font-family: "Inter", system-ui, sans-serif; font-size: .95rem; font-weight: 600; letter-spacing: .01em; }
.docs-article .ont-term:target strong { background: rgba(185, 192, 201, .16); padding: 3px 8px; border-radius: 5px; }
.docs-article .ont-anchor { margin: 0; height: 0; }

.docs-article .ont-toc { max-width: 760px; margin: 1.6rem 0 2.4rem; padding: 18px 22px 8px; border: 1px solid rgba(255, 255, 255, .12); border-radius: 12px; background: rgba(255, 255, 255, .025); font-family: "Inter", system-ui, sans-serif; }
.docs-article .ont-toc p.ont-toc-title { margin: 0 0 12px; font-family: "Inter", system-ui, sans-serif; font-size: .72rem; letter-spacing: .16em; text-transform: uppercase; color: #8b929c; }
.docs-article .ont-toc ol { margin: 0; padding-left: 1.3rem; }
.docs-article .ont-toc ol > li { margin: 0 0 12px; font-size: 1rem; line-height: 1.4; color: #8b929c; }
.docs-article .ont-toc ol > li > a { color: #eceef1; font-weight: 500; }
.docs-article .ont-toc ul { list-style: none; margin: 6px 0 0; padding: 0; }
.docs-article .ont-toc ul li { margin: 0 0 7px; font-size: .9rem; line-height: 1.5; }
.docs-article .ont-toc a.ont-toc-sub { color: #cfd3d9; }
.docs-article .ont-toc .ont-toc-terms { display: block; font-size: .84rem; line-height: 1.6; color: #5f6670; }
.docs-article .ont-toc .ont-toc-terms a { color: #aab0b9; }
.docs-article .ont-toc a:hover { color: #fff; }

.docs-article .ont-top { position: fixed; right: 22px; bottom: 22px; z-index: 20; padding: 8px 14px; border-radius: 999px; border: 1px solid rgba(185, 192, 201, .3); background: rgba(20, 23, 28, .92); color: #cfd3d9; font-family: "Inter", system-ui, sans-serif; font-size: .8rem; text-decoration: none; }
.docs-article .ont-top:hover { color: #fff; border-color: rgba(185, 192, 201, .6); }

/* ── nav divider: after publication (28 IX 2026) ── */
.docs-nav .nav-divider { margin: 26px 0 4px; padding-top: 16px; border-top: 1px solid rgba(185, 192, 201, .28); font-family: "Inter", system-ui, sans-serif; font-size: .74rem; letter-spacing: .16em; text-transform: uppercase; color: #eceef1; }
.docs-cards .cards-divider { grid-column: 1 / -1; text-align: left; margin: 18px 0 0; padding-top: 18px; border-top: 1px solid rgba(185, 192, 201, .28); font-family: "Inter", system-ui, sans-serif; font-size: .8rem; font-weight: 500; letter-spacing: .16em; text-transform: uppercase; color: #eceef1; }
@media (max-width: 860px) { .docs-nav .nav-divider { width: 100%; } }

/* ── research page (28 IX 2026) ── */
.l3-main .docs-article.research { max-width: 1080px; }
.docs-article.research > p, .docs-article.research > ul, .docs-article.research > pre { max-width: 760px; }
.docs-article.research .scroll { overflow-x: auto; margin: 14px 0 8px; }
.docs-article.research table { display: table; min-width: 760px; font-size: .9rem; line-height: 1.45; }
.docs-article.research td, .docs-article.research th { overflow-wrap: normal; vertical-align: top; }
.docs-article.research td:first-child { white-space: nowrap; color: #eceef1; font-family: "Inter", system-ui, sans-serif; font-size: .82rem; }
.docs-article.research .tag { display: inline-block; font-family: "Inter", system-ui, sans-serif; font-size: .68rem; letter-spacing: .06em; text-transform: uppercase; padding: 2px 8px; border-radius: 999px; border: 1px solid; white-space: nowrap; }
.docs-article.research .tag.same { color: #b9c0c9; border-color: rgba(185, 192, 201, .4); }
.docs-article.research .tag.diff { color: #9fc3a8; border-color: rgba(159, 195, 168, .45); }
.docs-article.research .tag.theirs { color: #d3a38f; border-color: rgba(211, 163, 143, .45); }
.docs-article.research td.num { white-space: nowrap; font-variant-numeric: tabular-nums; }
.docs-article.research .yes { color: #9fc3a8; }
.docs-article.research .no { color: #d3a38f; }
.docs-article.research .run { color: #d9c48a; font-family: "Inter", system-ui, sans-serif; font-size: .82rem; }
.docs-article.research .small { font-family: "Inter", system-ui, sans-serif; font-size: .8rem; color: #8b929c; }
.docs-article.research .ask { border-left: 2px solid #b9c0c9; padding: 4px 0 4px 18px; margin: 16px 0; font-family: "Cormorant Garamond", Georgia, serif; font-size: 1.45rem; color: #eceef1; line-height: 1.3; max-width: 40ch; }
.docs-article.research pre { background: rgba(255, 255, 255, .04); border: 1px solid rgba(255, 255, 255, .12); border-radius: 8px; padding: 14px 16px; overflow-x: auto; font-size: .85rem; color: #eceef1; }

/* ── links read as links: amber, underlined, with an arrow in the cards (3 X 2026) ── */
:root { --link: #e3c36a; --link-hi: #fff1bf; --link-dim: rgba(227, 195, 106, .45); }
.docs-article a { color: var(--link); border-bottom: 1px solid var(--link-dim); }
.docs-article a:hover { color: var(--link-hi); border-bottom-color: var(--link-hi); }
.docs-article .ont-toc ol > li > a { color: var(--link); }
.docs-article .ont-toc .ont-toc-terms a { color: var(--link); opacity: .85; }
.doc-card h3 a { color: var(--link); border-bottom: 1px solid var(--link-dim); }
.doc-card h3 a:hover { color: var(--link-hi); border-bottom-color: var(--link-hi); }
.doc-card h3 a::after { content: "\00a0→"; opacity: .8; }
.doc-card li { position: relative; padding-left: 1.2em; }
.doc-card li::before { content: "→"; position: absolute; left: 0; top: 0; color: var(--link); opacity: .85; }
.doc-card li a { color: var(--link); border-bottom: 1px solid var(--link-dim); }
.doc-card li a:hover { color: var(--link-hi); border-bottom-color: var(--link-hi); }
.docs-article p.paper-download a { display: inline-block; font-family: "Inter", system-ui, sans-serif; font-size: .92rem; font-weight: 500; color: #15171b; background: var(--link); border: 0; border-radius: 999px; padding: 9px 18px; }
.docs-article p.paper-download a:hover { background: var(--link-hi); color: #15171b; }

/* ── table of contents of the paper's full text (python-markdown "toc"), styled like the ontology's (4 X 2026) ── */
.docs-article .toc { max-width: 760px; margin: 1.6rem 0 2.4rem; padding: 18px 22px 10px; border: 1px solid rgba(255, 255, 255, .12); border-radius: 12px; background: rgba(255, 255, 255, .025); font-family: "Inter", system-ui, sans-serif; }
.docs-article .toc::before { content: "Contents"; display: block; margin: 0 0 12px; font-size: .72rem; letter-spacing: .16em; text-transform: uppercase; color: #8b929c; }
.docs-article .toc ul { list-style: none; margin: 0; padding-left: 0; }
.docs-article .toc ul ul { padding-left: 1.1rem; margin-top: 4px; }
.docs-article .toc li { margin: 0 0 6px; font-size: .95rem; line-height: 1.4; }
.docs-article .toc > ul > li > a { color: #eceef1; font-weight: 500; }
.docs-article .toc ul ul a { color: var(--link); opacity: .9; }
.docs-article .toc ul ul ul ul { display: none; }
.docs-article .toc a { border-bottom: 0; }
.docs-article .toc a:hover { color: var(--link-hi); }

/* ── tables of the paper's full text (4 X 2026): no letter-by-letter breaking, the first column keeps its words, wider page ── */
.l3-main .docs-article:has(.toc) { max-width: 1080px; }
.docs-article:has(.toc) > p,
.docs-article:has(.toc) > blockquote,
.docs-article:has(.toc) > ul,
.docs-article:has(.toc) > ol { max-width: 760px; }
.docs-article:has(.toc) table { font-size: .9rem; line-height: 1.45; }
.docs-article:has(.toc) th,
.docs-article:has(.toc) td { overflow-wrap: normal; word-break: normal; hyphens: manual; vertical-align: top; min-width: 6.5rem; }
.docs-article:has(.toc) td:first-child,
.docs-article:has(.toc) th:first-child { white-space: nowrap; min-width: 0; color: #eceef1; }
.docs-article:has(.toc) td:last-child { min-width: 12rem; }
.docs-article:has(.toc) h2, .docs-article:has(.toc) h3 { scroll-margin-top: 24px; }

/* ── reference list on the theories page (5 X 2026) ── */
.docs-article .refs p { margin: 0 0 .5rem; padding-left: 1.6rem; text-indent: -1.6rem; font-size: .92rem; line-height: 1.45; }

/* ── sidebar legible: sans, compact, short lines (5 X 2026) ── */
.docs-nav a { font-family: "Inter", system-ui, sans-serif; font-size: .84rem; line-height: 1.35; padding: 5px 10px; color: #aab0b9; letter-spacing: .005em; }
.docs-nav a.top { font-weight: 500; color: #cfd5dd; }
.docs-nav a.active { font-weight: 500; }
.docs-nav .nav-section { font-size: .68rem; letter-spacing: .12em; color: #7f8893; margin: 16px 0 4px; padding-left: 10px; }
.docs-nav .nav-divider { font-size: .68rem; margin: 22px 0 2px; padding-top: 14px; }
.l3-tag, .docs-page.l3 p.l3-tag { font-family: "Inter", system-ui, sans-serif; font-style: normal; font-size: .74rem; letter-spacing: .16em; text-transform: uppercase; line-height: 1.4; }
.l3-tag a { color: #8b929c; }
.l3-list .nav-divider:first-child { margin-top: 0; padding-top: 0; border-top: 0; }