.manual-workspace {
  display: grid;
  grid-template-columns: 300px minmax(0, 1fr);
  gap: 0;
}
.sidebar {
  border-right: 1px solid var(--border);
  background: var(--subtle);
  padding: 20px 18px 24px;
  align-self: start;
  position: sticky;
  top: calc(var(--topbar-sticky-offset) - var(--sticky-stack-overlap));
  z-index: 40;
  min-width: 0;
  max-height: calc(100vh - var(--topbar-sticky-offset) - var(--space-4));
  overflow-y: auto;
  scrollbar-width: thin;
  scrollbar-color: var(--border) transparent;
}
.sidebar::-webkit-scrollbar {
  width: 10px;
}
.sidebar::-webkit-scrollbar-track {
  background: transparent;
}
.sidebar::-webkit-scrollbar-thumb {
  background: var(--border);
  border-radius: 999px;
  border: 2px solid transparent;
  background-clip: padding-box;
}
.sidebar-desktop-nav {
  margin: 0 0 18px;
}
.nav-shell {
  margin: 0 0 18px;
}
.nav-shell-compact {
  display: none;
}
.nav-toggle {
  display: none;
}
.nav-toggle::-webkit-details-marker {
  display: none;
}
.nav-toggle-label {
  display: inline-flex;
  align-items: center;
}
.nav-toggle-icon {
  display: none;
}
.nav-shell-body {
  display: block;
}
.manual-search {
  position: relative;
  width: min(100%, 360px);
  margin-left: auto;
}
.manual-header-tools {
  display: flex;
  justify-content: flex-end;
  align-items: stretch;
  gap: 12px;
  width: 100%;
}
.manual-search-input {
  width: 100%;
  min-height: 44px;
  border: 1px solid var(--border);
  border-radius: 12px;
  background: color-mix(in srgb, var(--surface) 92%, white 8%);
  color: var(--text);
  padding: 0 14px;
  font: inherit;
  font-size: 14px;
  line-height: 1.4;
  box-shadow: inset 0 1px 0 color-mix(in srgb, var(--surface-glow) 72%, white 28%);
}
.manual-search-input::placeholder {
  color: var(--text-muted);
}
.manual-search-input:focus-visible {
  outline: 2px solid color-mix(in srgb, var(--accent) 34%, white 66%);
  outline-offset: 2px;
  border-color: color-mix(in srgb, var(--accent) 42%, var(--border) 58%);
}
.manual-search-dropdown {
  position: absolute;
  top: calc(100% + 8px);
  left: 0;
  right: 0;
  z-index: 70;
  border: 1px solid var(--border);
  border-radius: 14px;
  background: var(--surface);
  box-shadow: var(--shadow);
  overflow: hidden;
}
.manual-search-list {
  margin: 0;
  padding: 8px;
  list-style: none;
  display: grid;
  gap: 4px;
}
.manual-search-item {
  min-width: 0;
}
.manual-search-option {
  display: grid;
  gap: 3px;
  width: 100%;
  padding: 10px 12px;
  border-radius: 10px;
  color: var(--text);
  cursor: pointer;
}
.manual-search-option.active,
.manual-search-option:hover {
  background: var(--accent-soft);
}
.manual-search-option[aria-selected="true"] {
  color: var(--accent);
}
.manual-search-option-empty {
  color: var(--text-muted);
  cursor: default;
}
.manual-search-label {
  font-size: 14px;
  line-height: 1.45;
}
.manual-search-meta {
  color: var(--text-muted);
  font-size: 12px;
  line-height: 1.4;
}
.manual-assistant-launch {
  position: fixed;
  right: 20px;
  bottom: calc(20px + env(safe-area-inset-bottom, 0px));
  z-index: 46;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 10px;
  min-height: 48px;
  padding: 0 16px;
  border: 1px solid var(--border);
  border-radius: 999px;
  background: color-mix(in srgb, var(--surface) 94%, white 6%);
  color: var(--text);
  font: inherit;
  font-size: 14px;
  font-weight: 700;
  letter-spacing: 0.01em;
  white-space: nowrap;
  cursor: pointer;
  box-shadow:
    0 12px 32px rgba(19, 33, 48, 0.16),
    inset 0 1px 0 color-mix(in srgb, var(--surface-glow) 72%, white 28%);
  transition: transform 140ms ease, opacity 140ms ease, background 140ms ease;
}
.manual-assistant-launch:hover {
  background: var(--accent-hover);
}
.manual-assistant-active .manual-assistant-launch {
  opacity: 0;
  pointer-events: none;
  transform: translateY(8px);
}
.manual-assistant-launch:focus-visible {
  outline: 2px solid color-mix(in srgb, var(--accent) 34%, white 66%);
  outline-offset: 2px;
  border-color: color-mix(in srgb, var(--accent) 42%, var(--border) 58%);
}
.manual-assistant-launch-label {
  overflow: hidden;
  text-overflow: ellipsis;
}
.manual-assistant-launch-icon {
  width: 10px;
  height: 10px;
  border-radius: 999px;
  background: linear-gradient(135deg, var(--accent), color-mix(in srgb, var(--accent) 60%, white 40%));
  box-shadow:
    0 0 0 4px color-mix(in srgb, var(--accent) 12%, transparent 88%),
    0 0 0 1px color-mix(in srgb, var(--accent) 28%, white 72%);
  flex: 0 0 auto;
}
.manual-assistant-dialog {
  width: 100%;
  max-width: none;
  height: 100dvh;
  max-height: none;
  margin: 0;
  padding: 0;
  border: 0;
  background: transparent;
  overflow: visible;
}
.manual-assistant-dialog::backdrop {
  background: color-mix(in srgb, var(--text) 18%, transparent 82%);
  backdrop-filter: blur(3px);
}
.manual-assistant-panel {
  margin-left: auto;
  width: min(100vw, clamp(420px, 46vw, 720px));
  height: 100dvh;
  display: grid;
  grid-template-rows: auto auto minmax(0, 1fr);
  border-left: 1px solid var(--border);
  background: var(--surface);
  box-shadow: 0 24px 56px rgba(19, 33, 48, 0.18);
  overflow: hidden;
}
.manual-assistant-panel:focus-visible {
  outline: 2px solid color-mix(in srgb, var(--accent) 30%, white 70%);
  outline-offset: 2px;
}
.manual-assistant-panel-header {
  display: flex;
  justify-content: space-between;
  align-items: flex-start;
  gap: 16px;
  padding: 18px 20px 16px;
  border-bottom: 1px solid var(--border);
  background: linear-gradient(180deg, color-mix(in srgb, var(--surface-alt) 82%, white 18%) 0%, var(--surface) 100%);
}
.manual-assistant-panel-copy {
  display: grid;
  gap: 4px;
}
.manual-assistant-panel-header h2 {
  margin: 0;
  font-size: 18px;
  line-height: 1.22;
  letter-spacing: -0.02em;
  max-width: 28ch;
}
.manual-assistant-description {
  margin: 0;
  color: var(--text-muted);
  font-size: 14px;
  line-height: 1.55;
  max-width: 54ch;
}
.manual-assistant-tags {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
}
.manual-assistant-tag {
  display: inline-flex;
  align-items: center;
  min-height: 28px;
  padding: 0 10px;
  border: 1px solid var(--border);
  border-radius: 999px;
  background: var(--surface-alt);
  color: var(--text-muted);
  font-size: 12px;
  font-weight: 700;
  letter-spacing: 0.03em;
  text-transform: uppercase;
}
.manual-assistant-panel-note {
  display: grid;
  gap: 8px;
  padding: 14px 20px 16px;
  border-bottom: 1px solid var(--border);
  background: color-mix(in srgb, var(--surface-alt) 60%, white 40%);
}
.manual-assistant-panel-note p {
  margin: 0;
  color: var(--text-muted);
  font-size: 13px;
  line-height: 1.55;
}
.manual-assistant-panel-note strong {
  color: var(--text);
}
.manual-assistant-panel-actions {
  display: flex;
  align-items: center;
  gap: 10px;
  flex: 0 0 auto;
}
.manual-assistant-sheet-handle {
  display: none;
}
.manual-assistant-close {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-height: 40px;
  padding: 0 14px;
  border: 1px solid var(--border);
  border-radius: 999px;
  background: var(--surface);
  color: var(--text);
  font: inherit;
  font-size: 13px;
  font-weight: 700;
  cursor: pointer;
  white-space: nowrap;
}
.manual-assistant-close:hover {
  background: var(--accent-hover);
  text-decoration: none;
}
.manual-assistant-close:focus-visible {
  outline: 2px solid color-mix(in srgb, var(--accent) 34%, white 66%);
  outline-offset: 2px;
  border-color: color-mix(in srgb, var(--accent) 42%, var(--border) 58%);
}
.manual-assistant-frame {
  width: 100%;
  height: 100%;
  min-height: 0;
  border: 0;
  background: var(--page-bg);
}
.doc-nav {
  display: grid;
  gap: 16px;
  margin: 0;
}
.doc-nav-group {
  padding: 14px 12px 12px;
  border: 1px solid var(--border);
  border-radius: 14px;
  background: var(--surface-alt);
}
.nav-label {
  margin: 0 0 12px;
  font-size: 13px;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  color: var(--text-muted);
  font-weight: 700;
}
.doc-list,
.toc-panel ul {
  margin: 0;
  padding: 0;
  list-style: none;
  display: grid;
  gap: 6px;
}
.doc-list li,
.toc-panel li {
  min-width: 0;
}
.doc-link,
.toc-panel a {
  display: block;
  color: var(--text-muted);
  font-size: 14px;
}
.doc-link {
  padding: 8px 10px;
  border-radius: 10px;
}
.proof-nav-group {
  background: var(--proof-accent-surface);
  border-color: var(--proof-accent-line);
}
.proof-nav-label {
  color: var(--proof-accent);
}
.doc-link:hover {
  background: var(--accent-hover);
  text-decoration: none;
}
.doc-link.active {
  color: var(--accent);
  font-weight: 700;
  background: var(--accent-soft);
}
.toc-panel {
  border-top: 1px solid var(--border);
  padding-top: 16px;
}
.desktop-toc {
  display: block;
}
.mobile-toc {
  display: none;
}
.toc-panel .nav-label {
  margin-bottom: 10px;
}
.toc-panel ul {
  margin: 0;
  padding: 0;
  list-style: none;
  gap: 4px;
}
.toc-panel li {
  margin: 0;
}
.toc-panel a {
  display: grid;
  grid-template-columns: auto minmax(0, 1fr);
  column-gap: 10px;
  align-items: start;
  font-size: 13px;
  line-height: 1.4;
  overflow-wrap: anywhere;
}
.toc-index {
  color: var(--text-muted);
  font-variant-numeric: tabular-nums;
  white-space: nowrap;
}
.toc-text {
  min-width: 0;
}
.toc-text-only {
  grid-column: 1 / -1;
}
.content h1,
.content h2,
.content h3 {
  scroll-margin-top: var(--anchor-offset);
  letter-spacing: -0.04em;
  line-height: 1.08;
  margin: 1.6em 0 0.5em;
}
.content h1 { font-size: 34px; }
.content h2 { font-size: 24px; }
.content h3 { font-size: 18px; }
.content p,
.content ul,
.content ol,
.content blockquote {
  margin: 0 0 var(--space-4);
  max-width: var(--measure-content);
}
.content ul:not(.page-footnote-list),
.content ol:not(.page-footnote-list) {
  margin-left: 0;
  padding-left: 0;
  list-style: none;
}
.content ul:not(.page-footnote-list) > li {
  display: grid;
  grid-template-columns: 1.1em minmax(0, 1fr);
  column-gap: 10px;
  align-items: start;
  margin-bottom: 0.45em;
}
.content ul:not(.page-footnote-list) > li::before {
  content: "•";
  color: var(--text-muted);
  font-weight: 700;
  line-height: inherit;
}
.content ol:not(.page-footnote-list) {
  counter-reset: goingninja-list-item;
}
.content ol:not(.page-footnote-list) > li {
  display: grid;
  grid-template-columns: 1.4em minmax(0, 1fr);
  column-gap: 10px;
  align-items: start;
  counter-increment: goingninja-list-item;
  margin-bottom: 0.45em;
}
.content ol:not(.page-footnote-list) > li::before {
  content: counter(goingninja-list-item) ".";
  color: var(--text-muted);
  font-variant-numeric: tabular-nums;
}
.content ul:not(.page-footnote-list) > li > .list-item-body,
.content ol:not(.page-footnote-list) > li > .list-item-body {
  grid-column: 2;
  min-width: 0;
}
.content ul:not(.page-footnote-list) > li > .list-item-body > :last-child,
.content ol:not(.page-footnote-list) > li > .list-item-body > :last-child {
  margin-bottom: 0;
}
.content ul:not(.page-footnote-list) > li > .list-item-body > p,
.content ol:not(.page-footnote-list) > li > .list-item-body > p {
  max-width: none;
}
.content li > ul,
.content li > ol {
  margin-top: 0.45em;
}
.content a,
.content code {
  overflow-wrap: anywhere;
}
.content img {
  display: block;
  max-width: min(100%, 980px);
  height: auto;
  margin: 0 0 var(--space-5);
  border-radius: 12px;
  box-shadow: var(--shadow);
}
.content .table-wrap {
  max-width: 100%;
  border: 0;
  border-radius: 6px;
  overflow: hidden;
  overflow-x: auto;
  overscroll-behavior-x: contain;
  -webkit-overflow-scrolling: touch;
  background: var(--surface);
}
.content figure,
.content .code-block,
.content .table-wrap,
.content .diagram-block {
  margin: 0 0 var(--space-5);
}
.content table {
  border-collapse: collapse;
  width: max-content;
  min-width: 100%;
  table-layout: auto;
}
.content th,
.content td {
  padding: 12px 14px;
  text-align: left;
  vertical-align: top;
  border-bottom: 1px solid var(--border);
}
.content th {
  background: var(--table-header-bg);
  font-size: 13px;
  font-weight: 700;
  letter-spacing: 0.01em;
  overflow-wrap: anywhere;
}
.content td {
  font-size: 14px;
  line-height: 1.65;
  overflow-wrap: anywhere;
}
.content th code,
.content td code {
  white-space: nowrap;
  overflow-wrap: normal;
}
.content tbody tr:last-child td {
  border-bottom: 0;
}
.content blockquote {
  padding: 12px 18px;
  border-left: 4px solid var(--accent);
  background: var(--quote-bg);
  border-radius: 0 14px 14px 0;
}
.content .code-block,
.content .diagram-block {
  max-width: 100%;
  border-radius: 6px;
  overflow: hidden;
}
.content .code-block {
  border: 0;
  background: var(--code-bg);
  box-shadow: inset 0 1px 0 var(--code-inset-highlight);
}
.content pre {
  margin: 0;
  padding: 18px 20px;
  overflow: auto;
  background: transparent;
  color: var(--code-text);
  font-size: 14px;
  line-height: 1.65;
}
.content pre code {
  padding: 0;
  background: transparent;
  color: inherit;
  border-radius: 0;
}
.content .diagram-block {
  border: 0;
  background: var(--subtle);
}
.content .mermaid {
  padding: 22px;
  overflow-x: auto;
  overflow-y: hidden;
}
.content .diagram-fallback {
  border-top: 1px solid var(--border);
  background: var(--diagram-fallback-bg);
}
.content .diagram-fallback summary {
  cursor: pointer;
  padding: 10px 14px;
  font-family: "IBM Plex Mono", monospace;
  font-size: 12px;
  color: var(--quiet-text);
}
.content .diagram-fallback pre {
  border-top: 1px solid var(--border);
  background: var(--code-bg);
}
.content .mermaid svg {
  display: block;
  max-width: none;
  height: auto;
}
.content .mermaid .label,
.content .mermaid .nodeLabel,
.content .mermaid .edgeLabel,
.content .mermaid .cluster-label,
.content .mermaid foreignObject div {
  font-size: 14px !important;
  line-height: 1.4;
}
.content .mermaid svg rect,
.content .mermaid svg polygon,
.content .mermaid svg path {
  /* Mermaid inlines stroke widths in the generated SVG, so the override must win. */
  stroke-width: 1.5px !important;
}
.content .footnote-ref {
  font-size: 0.76em;
  line-height: 0;
  vertical-align: super;
}
.content .footnote-ref + .content .footnote-ref {
  margin-left: 4px;
}
.content .footnote-ref a {
  color: var(--accent);
  text-decoration: none;
}
.content .footnote-trail {
  display: flex;
  justify-content: flex-end;
  gap: 4px;
  padding: 8px 12px 0;
  color: var(--text-muted);
}
.content .page-footnotes {
  width: var(--section-measure);
  max-width: none;
  margin: var(--space-6) 0 0;
  padding-top: var(--space-5);
  border-top: 1px solid var(--border);
}
.content .page-footnotes h2 {
  margin: 0 0 12px;
  font-size: 13px;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  color: var(--text-muted);
}
.content .page-footnote-list {
  margin: 0;
  padding-left: 1.35em;
  max-width: var(--measure-support);
  color: var(--text-muted);
}
.content .page-footnote-list li {
  margin: 0 0 10px;
  padding-left: 4px;
  font-size: 13px;
  line-height: 1.65;
}
.content .page-footnote-list li:last-child {
  margin-bottom: 0;
}
.content .page-footnote-list code,
.content .page-footnote-list a {
  overflow-wrap: anywhere;
}
.footer-nav {
  display: flex;
  flex-direction: column;
  gap: 12px;
  margin-top: 0;
  padding-top: 0;
  border-top: 0;
  max-width: 100%;
}
.footer-nav-links {
  display: flex;
  justify-content: space-between;
  gap: 16px;
}
.footer-link {
  display: inline-flex;
  align-items: center;
  min-height: 44px;
  padding: 10px 14px;
  border: 1px solid var(--border);
  border-radius: 12px;
  background: var(--subtle);
  color: var(--text);
  font-weight: 600;
}
.footer-link.next {
  margin-left: auto;
  text-align: right;
}
.footer-link:hover {
  background: var(--table-header-bg);
  text-decoration: none;
}
.footer-link.placeholder {
  visibility: hidden;
}
.content td > code:only-child {
  display: inline-flex;
  align-items: center;
  min-height: 28px;
  padding: 4px 10px;
  border: 1px solid var(--border);
  border-radius: 999px;
  background: var(--surface-alt);
  font-size: 12px;
  font-weight: 700;
  letter-spacing: 0.02em;
}
@media (max-width: 1024px) {
  .manual-header-tools {
    justify-content: stretch;
  }
  .manual-search {
    width: 100%;
    margin-left: 0;
  }
  .manual-workspace {
    grid-template-columns: 1fr;
  }
  .sidebar {
    position: sticky;
    top: calc(var(--topbar-sticky-offset) - var(--sticky-stack-overlap));
    z-index: 45;
    padding: 0;
    border-right: 0;
    border-bottom: 0;
    background: var(--surface);
    max-height: none;
    overflow: visible;
  }
  .sidebar-desktop-nav,
  .desktop-toc {
    display: none;
  }
  .nav-shell-compact {
    display: block;
    position: static;
    top: auto;
    z-index: auto;
    margin: 0;
    background: var(--surface);
  }
  .nav-shell {
    margin: 0;
    border: 0;
    background: var(--surface);
  }
  .nav-toggle {
    display: flex;
    align-items: center;
    justify-content: space-between;
    width: 100%;
    min-height: 44px;
    padding: 14px var(--space-4) 13px;
    cursor: pointer;
    border: 0;
    border-bottom: 1px solid var(--border);
    border-radius: 0;
    background: var(--surface);
    font-size: 13px;
    font-weight: 700;
    letter-spacing: 0.08em;
    text-transform: uppercase;
    color: var(--text-muted);
    text-align: left;
    list-style: none;
  }
  .nav-toggle-icon {
    display: inline-grid;
    gap: 4px;
    width: 18px;
    flex: 0 0 auto;
  }
  .nav-toggle-icon-line {
    display: block;
    height: 2px;
    border-radius: 999px;
    background: currentColor;
    transform-origin: center;
    transition: transform 160ms ease, opacity 160ms ease;
  }
  .nav-shell[open] .nav-toggle-icon-line:nth-child(1) {
    transform: translateY(6px) rotate(45deg);
  }
  .nav-shell[open] .nav-toggle-icon-line:nth-child(2) {
    opacity: 0;
  }
  .nav-shell[open] .nav-toggle-icon-line:nth-child(3) {
    transform: translateY(-6px) rotate(-45deg);
  }
  .nav-shell:not([open]) > .nav-shell-body {
    display: none !important;
  }
  .nav-shell[open] > .nav-shell-body {
    display: block !important;
    padding: 16px var(--space-4) 18px;
    background: var(--surface);
    border-bottom: 1px solid var(--border);
  }
  .doc-list {
    display: grid;
    gap: 6px;
  }
  .doc-list li {
    min-width: 0;
  }
  .doc-nav {
    gap: 14px;
  }
  .doc-nav-group {
    padding: 0;
    border: 0;
    border-radius: 0;
    background: transparent;
  }
  .proof-nav-group {
    padding-top: 12px;
    border-top: 1px solid var(--proof-accent-line);
  }
  .doc-link {
    min-height: 40px;
    display: flex;
    align-items: center;
    width: 100%;
    white-space: normal;
  }
  .mobile-toc {
    display: block;
    margin-top: 16px;
    padding-top: 16px;
    border-top: 1px solid var(--border);
  }
  .manual-assistant-panel {
    width: min(100vw, 700px);
  }
  .manual-assistant-panel-header {
    flex-direction: column;
    align-items: stretch;
  }
  .manual-assistant-panel-note {
    padding: 14px 18px 16px;
  }
  .manual-assistant-panel-actions {
    justify-content: space-between;
  }
}
@media (max-width: 720px) {
  .manual-search-input {
    min-height: 42px;
  }
  .manual-assistant-launch {
    right: 14px;
    bottom: calc(14px + env(safe-area-inset-bottom, 0px));
    min-height: 46px;
    padding: 0 14px;
    font-size: 13px;
    max-width: calc(100vw - 28px);
  }
  .content th,
  .content td {
    padding: 10px 12px;
    overflow-wrap: normal;
    word-break: normal;
    hyphens: none;
  }
  .content table {
    min-width: 760px;
  }
  .content pre {
    padding: 16px;
    font-size: 13px;
  }
  .content .mermaid {
    padding: 16px;
  }
  .content .mermaid svg {
    min-width: 560px;
  }
  .footer-nav-links { flex-direction: column; }
  .footer-link {
    width: 100%;
  }
  .footer-link.next { margin-left: 0; text-align: left; }
  .manual-assistant-dialog {
    display: flex;
    align-items: flex-end;
    justify-content: stretch;
    padding: 0;
  }
  .manual-assistant-panel {
    margin-left: 0;
    width: 100%;
    height: min(88dvh, 920px);
    border: 1px solid var(--border);
    border-bottom: 0;
    border-radius: 24px 24px 0 0;
    box-shadow: 0 -18px 44px rgba(19, 33, 48, 0.18);
  }
  .manual-assistant-panel-header {
    padding: 14px 16px 16px;
  }
  .manual-assistant-panel-header h2 {
    font-size: 18px;
  }
  .manual-assistant-panel-note {
    padding: 12px 16px 14px;
  }
  .manual-assistant-sheet-handle {
    display: block;
    width: 52px;
    height: 5px;
    margin: 10px auto 0;
    border-radius: 999px;
    background: color-mix(in srgb, var(--text-muted) 32%, transparent 68%);
  }
  .manual-assistant-panel-actions {
    gap: 8px;
  }
  .manual-assistant-close {
    flex: 1 1 auto;
    min-height: 42px;
  }
}