.docs-nav,
.docs-toc,
.docs-mobile-tree,
.docs-page-menu,
.docs-content,
.docs-content section,
.code-block,
.link-row,
.link-card {
  min-width: 0;
}

/* Desktop documentation information architecture */
.js .docs-layout {
  grid-template-columns: 220px minmax(0, 1fr) 180px;
  gap: 44px;
  align-items: start;
}

.docs-nav > strong,
.docs-toc > strong {
  display: block;
  margin-bottom: 14px;
  color: var(--muted-2);
  font: 11px var(--mono);
  text-transform: uppercase;
  letter-spacing: .09em;
}

.docs-nav-group + .docs-nav-group {
  margin-top: 18px;
  padding-top: 18px;
  border-top: 1px solid var(--line);
}

.docs-nav-label {
  display: block;
  margin-bottom: 6px;
  color: var(--muted-2);
  font: 10px var(--mono);
  text-transform: uppercase;
  letter-spacing: .1em;
}

.docs-nav a {
  display: flex;
  min-height: 36px;
  align-items: center;
  gap: 8px;
  padding: 7px 10px;
  margin-left: -10px;
  border-left: 1px solid transparent;
  color: var(--muted);
  font-size: 13px;
  line-height: 1.35;
}

.docs-nav a:hover,
.docs-nav a:focus-visible {
  color: var(--text);
  background: rgba(255,255,255,.025);
  outline: none;
}

.docs-nav a[aria-current="page"] {
  border-left-color: var(--accent);
  background: var(--accent-soft);
  color: var(--text);
  font-weight: 650;
}

.docs-nav a[aria-current="page"]::before { content: none; }

.docs-toc {
  position: sticky;
  top: 100px;
  align-self: start;
  max-height: calc(100vh - 126px);
  overflow-y: auto;
  padding-left: 16px;
  border-left: 1px solid var(--line);
}

.docs-toc ol,
.docs-page-menu-inner ol {
  margin: 0;
  padding: 0;
  list-style: none;
}

.docs-toc li + li { margin-top: 4px; }
.docs-toc li ol { margin: 5px 0 8px 10px; }
.docs-toc li ol li + li { margin-top: 2px; }

.docs-toc a {
  display: block;
  padding: 4px 0;
  color: var(--muted);
  font-size: 12px;
  line-height: 1.45;
  overflow-wrap: anywhere;
}

.docs-toc li ol a {
  color: var(--muted-2);
  font-size: 11px;
}

.docs-toc a:hover,
.docs-toc a:focus-visible {
  color: var(--text);
  outline: none;
}

.docs-mobile-tree,
.docs-page-menu { display: none; }

.docs-mobile-tree summary,
.docs-page-menu summary {
  list-style: none;
  min-height: 48px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 14px;
  padding: 0 16px;
  border: 1px solid var(--line-strong);
  background: #0d0d0d;
  color: var(--text);
  cursor: pointer;
  font-size: 14px;
  font-weight: 650;
}

.docs-mobile-tree summary::-webkit-details-marker,
.docs-page-menu summary::-webkit-details-marker { display: none; }

.docs-mobile-tree summary::after,
.docs-page-menu summary::after {
  content: "+";
  color: var(--muted);
  font: 17px var(--mono);
}

.docs-mobile-tree[open] summary::after,
.docs-page-menu[open] summary::after { content: "−"; }

.docs-mobile-tree > nav,
.docs-page-menu-inner {
  border: 1px solid var(--line-strong);
  border-top: 0;
  background: var(--panel);
  padding: 14px;
}

.docs-mobile-tree .docs-nav-group + .docs-nav-group {
  margin-top: 14px;
  padding-top: 14px;
  border-top: 1px solid var(--line);
}

.docs-mobile-tree .docs-nav-label {
  display: block;
  padding: 3px 10px 7px;
  color: var(--muted-2);
  font: 10px var(--mono);
  text-transform: uppercase;
  letter-spacing: .1em;
}

.docs-mobile-tree a {
  display: flex;
  min-height: 44px;
  align-items: center;
  justify-content: space-between;
  padding: 8px 10px;
  color: #bdbdb7;
  font-size: 14px;
}

.docs-mobile-tree a[aria-current="page"] {
  background: var(--accent-soft);
  color: var(--text);
}

.docs-mobile-tree a[aria-current="page"]::after {
  content: "Current";
  color: var(--accent);
  font: 10px var(--mono);
  text-transform: uppercase;
  letter-spacing: .06em;
}

.docs-page-menu { margin-bottom: 28px; }
.docs-page-menu-inner a {
  display: block;
  min-height: 40px;
  padding: 9px 8px;
  color: var(--muted);
  font-size: 13px;
}
.docs-page-menu-inner li ol {
  margin-left: 14px;
  padding-left: 10px;
  border-left: 1px solid var(--line);
}
.docs-page-menu-inner li ol a { color: var(--muted-2); font-size: 12px; }

.doc-breadcrumb {
  margin-bottom: 18px;
  color: var(--muted-2);
  font: 12px var(--mono);
}

.doc-breadcrumb a { color: var(--muted); }
.doc-breadcrumb a:hover { color: var(--text); }

.doc-lede {
  color: #c2c2bc !important;
  font-size: 18px;
  line-height: 1.65;
}

.docs-hub-grid,
.doc-card-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 14px;
  margin: 28px 0;
}

.doc-card {
  display: block;
  min-width: 0;
  padding: 24px;
  border: 1px solid var(--line);
  background: var(--panel);
}

.doc-card:hover,
.doc-card:focus-visible {
  border-color: var(--line-strong);
  background: var(--panel-2);
  outline: none;
}

.doc-card .doc-card-index {
  display: block;
  margin-bottom: 34px;
  color: var(--muted-2);
  font: 11px var(--mono);
}

.doc-card strong {
  display: block;
  margin-bottom: 8px;
  font-size: 18px;
}

.doc-card p,
.doc-card span {
  margin: 0;
  color: var(--muted);
  font-size: 14px;
}

.doc-diagram {
  margin: 26px 0;
  padding: 26px;
  border: 1px solid var(--line);
  background: #0d0d0d;
  overflow-x: auto;
  overscroll-behavior-inline: contain;
  -webkit-overflow-scrolling: touch;
}

.doc-flow {
  display: grid;
  grid-template-columns: minmax(150px, 1fr) 42px minmax(150px, 1fr) 42px minmax(150px, 1fr);
  align-items: stretch;
  min-width: 720px;
}

.doc-flow.compact {
  grid-template-columns: minmax(140px, 1fr) 42px minmax(140px, 1fr) 42px minmax(140px, 1fr);
}

.doc-node {
  display: flex;
  min-height: 116px;
  flex-direction: column;
  justify-content: center;
  padding: 18px;
  border: 1px solid var(--line-strong);
  background: var(--panel);
}

.doc-node.accent { border-color: rgba(245, 158, 11, .52); }
.doc-node.good { border-color: rgba(125, 211, 167, .45); }
.doc-node small { margin-bottom: 7px; color: var(--muted-2); font: 10px var(--mono); text-transform: uppercase; letter-spacing: .08em; }
.doc-node strong { font-size: 15px; }
.doc-node code { margin-top: 5px; color: var(--accent); font-size: 12px; }
.doc-node span { margin-top: 7px; color: var(--muted); font-size: 12px; }

.doc-arrow {
  display: grid;
  place-items: center;
  color: var(--muted-2);
  font: 20px var(--mono);
}

.doc-two-col,
.doc-boundary-grid,
.doc-metric-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 14px;
  margin: 24px 0;
}

.doc-boundary,
.doc-metric {
  min-width: 0;
  padding: 22px;
  border: 1px solid var(--line);
  background: var(--panel);
}

.doc-boundary strong,
.doc-metric strong { display: block; margin-bottom: 10px; }
.doc-boundary ul { margin: 0; padding-left: 18px; }
.doc-boundary li { font-size: 14px; }
.doc-boundary.good { border-top: 2px solid var(--good); }
.doc-boundary.no { border-top: 2px solid var(--muted-2); }

.doc-table-wrap {
  width: 100%;
  margin: 24px 0;
  overflow-x: auto;
  overscroll-behavior-inline: contain;
  -webkit-overflow-scrolling: touch;
  border: 1px solid var(--line);
}

.doc-table {
  width: 100%;
  min-width: 660px;
  border-collapse: collapse;
  background: var(--panel);
  font-size: 13px;
}

.doc-table th,
.doc-table td {
  padding: 14px 16px;
  border-bottom: 1px solid var(--line);
  text-align: left;
  vertical-align: top;
}

.doc-table th {
  color: var(--muted);
  background: #0d0d0d;
  font: 11px var(--mono);
  text-transform: uppercase;
  letter-spacing: .05em;
}

.doc-table td { color: #b9b9b3; }
.doc-table tr:last-child td { border-bottom: 0; }
.doc-table code { color: var(--accent); }

.doc-pill-row {
  display: flex;
  flex-wrap: wrap;
  gap: 7px;
  margin: 14px 0;
}

.doc-pill {
  display: inline-flex;
  align-items: center;
  min-height: 28px;
  padding: 0 9px;
  border: 1px solid var(--line-strong);
  background: #0d0d0d;
  color: #bebeb8;
  font: 11px var(--mono);
}

.doc-pill.optional { color: var(--muted); }
.doc-pill.proven { border-color: rgba(125, 211, 167, .4); color: var(--good); }
.doc-pill.next { border-color: rgba(245, 158, 11, .4); color: var(--accent); }

.doc-sequence {
  margin: 24px 0;
  border-top: 1px solid var(--line);
}

.doc-sequence-step {
  display: grid;
  grid-template-columns: 42px minmax(0, 1fr);
  gap: 18px;
  padding: 18px 0;
  border-bottom: 1px solid var(--line);
}

.doc-sequence-step > span {
  color: var(--accent);
  font: 12px var(--mono);
}

.doc-sequence-step strong { display: block; margin-bottom: 4px; }
.doc-sequence-step p { margin: 0; font-size: 14px; }

.doc-proof-map {
  display: grid;
  grid-template-columns: 1fr;
  gap: 12px;
  margin: 26px 0;
}

.doc-proof-row {
  display: grid;
  grid-template-columns: 120px minmax(160px, .8fr) minmax(230px, 1.2fr) 120px;
  gap: 16px;
  align-items: center;
  padding: 18px;
  border: 1px solid var(--line);
  background: var(--panel);
}

.doc-proof-row > strong { font-size: 15px; }
.doc-proof-row > code { color: var(--accent); font-size: 12px; }
.doc-proof-row > span { color: var(--muted); font-size: 13px; }

.doc-identity {
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  gap: 16px;
  align-items: center;
  margin: 24px 0;
}

.doc-identity > div {
  min-width: 0;
  padding: 20px;
  border: 1px solid var(--line);
  background: var(--panel);
}

.doc-identity > span { color: var(--accent); font: 20px var(--mono); }
.doc-identity code { display: block; overflow-wrap: anywhere; color: var(--muted); font-size: 11px; }

.source-link {
  display: inline-flex;
  margin-top: 12px;
  color: var(--muted);
  font-size: 12px;
}
.source-link:hover { color: var(--text); }

.docs-content h2,
.docs-content h3,
.docs-content p,
.docs-content li,
.docs-nav a,
.link-card { overflow-wrap: anywhere; }

@media (max-width: 1120px) {
  .js .docs-layout {
    grid-template-columns: 220px minmax(0, 1fr);
    gap: 46px;
  }

  .docs-toc { display: none; }
  .docs-page-menu { display: block; }
}

@media (max-width: 900px) {
  .js .docs-layout {
    grid-template-columns: minmax(0, 1fr);
    gap: 22px;
  }

  .js .docs-nav { display: none; }
  .docs-mobile-tree { display: block; }
  .docs-page-menu { margin-bottom: 22px; }

  .docs-hub-grid,
  .doc-card-grid,
  .doc-two-col,
  .doc-boundary-grid,
  .doc-metric-grid { grid-template-columns: 1fr; }

  .doc-proof-row { grid-template-columns: 1fr; gap: 6px; }
}

@media (max-width: 620px) {
  .docs-mobile-tree summary,
  .docs-page-menu summary { min-height: 50px; }

  .doc-diagram { padding: 16px; }
  .doc-identity { grid-template-columns: 1fr; }
  .doc-identity > span { transform: rotate(90deg); justify-self: center; }
  .doc-card { padding: 20px; }

  .doc-sequence-step {
    grid-template-columns: 32px minmax(0, 1fr);
    gap: 12px;
  }

  .doc-table { min-width: 620px; }
}