.nav-item[data-lesson] { display: flex; line-height: 1.5; padding: 8px 11px; }
.nav-number { flex-shrink: 0; padding-top: 2px; }
.nav-item.read .nav-number { color: var(--green); }
.nav-item.read .nav-number::after { content: '·'; margin-left: 3px; }
.top-tabs a.active { color: var(--green); font-weight: 700; }
.status-dot.offline { background: var(--orange); }
.runtime-strip { margin: 38px 0 65px; padding: 18px 0; border-block: 1px solid var(--line); display: flex; justify-content: space-between; gap: 16px; align-items: center; font-size: 11px; }
.runtime-strip strong { font-weight: 600; margin-right: 20px; }
.runtime-strip div > span:last-child { color: var(--muted); }
.runtime-strip a { white-space: nowrap; }
.section-heading { display: flex; align-items: end; justify-content: space-between; gap: 20px; margin-bottom: 25px; }
.section-heading h2 { margin: 0; }
.section-heading > span { color: var(--muted); font-size: 11px; max-width: 240px; }
.section-heading .eyebrow { margin-bottom: 12px; }
.part-row { display: grid; grid-template-columns: 65px 1fr; padding: 29px 0; border-top: 1px solid var(--line); }
.part-number { font: italic 30px var(--serif); color: var(--subtle); }
.part-row h3 { font: 24px var(--serif); margin: 3px 0 19px; }
.part-lessons a { display: flex; align-items: baseline; gap: 14px; padding: 7px 0; font-size: 12px; color: var(--nav-ink); }
.part-lessons a span { font-size: 10px; color: var(--subtle); }
.part-lessons a b { margin-left: auto; font-size: 14px; font-weight: 400; color: var(--subtle); }
.part-lessons a:hover { color: var(--green); }
.closing-note { border-top: 1px solid var(--line); margin-top: 25px; padding-top: 45px; max-width: 730px; }
.closing-note p:not(.eyebrow) { color: var(--muted); font-size: 13px; }
.page-heading { max-width: 800px; margin-bottom: 38px; }
.page-heading h1 { font-size: 48px; }
.page-heading > p:not(.eyebrow) { max-width: 650px; color: var(--muted); font-size: 14px; }
.back-link { font-size: 11px; display: inline-block; margin-bottom: 27px; color: var(--muted); }
.lesson-heading { max-width: 920px; }
.lesson-heading h1 { font-size: 45px; max-width: 850px; }
.lesson-heading .eyebrow span { color: var(--subtle); margin-left: 10px; }
.lesson-summary { font-size: 16px; color: var(--muted); max-width: 750px; border-left: 3px solid var(--box-border); padding-left: 18px; }
.lesson-layout { display: grid; grid-template-columns: minmax(0, 1fr) 245px; gap: 45px; margin-top: 36px; align-items: start; }
.prose { min-width: 0; font-size: 14px; line-height: 1.9; }
.prose > p:first-child { margin-top: 0; }
.prose h2 { font-size: 27px; margin: 35px 0 17px; }
.prose h3 { font-size: 18px; margin-top: 30px; }
.prose a { border-bottom: 1px solid var(--box-border); }
.prose ul, .prose ol { padding-left: 23px; }
.prose li { padding-left: 4px; margin: 7px 0; }
.prose code { background: var(--code-bg); border: 1px solid var(--code-border); padding: 1px 4px; border-radius: 3px; font: 11px/1.75 ui-monospace, monospace; overflow-wrap: anywhere; }
.prose pre { padding: 18px; background: var(--code-bg); border: 1px solid var(--code-border); border-radius: 4px; overflow: auto; font: 11px/1.8 ui-monospace, monospace; }
.prose pre code { border: 0; padding: 0; background: transparent; overflow-wrap: normal; }
.prose pre.mermaid { padding: 23px 10px; background: var(--mermaid-bg); white-space: normal; margin: 28px 0; }
.mermaid svg { max-width: 100%; height: auto; }
.prose table { border-collapse: collapse; width: 100%; font-size: 12px; display: block; overflow-x: auto; margin-block: 25px; }
.prose th, .prose td { padding: 10px; border: 1px solid var(--line); text-align: left; }
.prose th { background: var(--pale); }
.lesson-aside { position: sticky; top: 24px; }
.side-box { border: 1px solid var(--line); border-radius: 5px; padding: 21px; background: var(--surface-soft); margin-bottom: 18px; }
.side-box .eyebrow { font-size: 9px; margin-bottom: 12px; }
.side-box h3 { font: 22px var(--serif); margin: 0 0 13px; }
.side-box p { font-size: 11px; color: var(--muted); line-height: 1.8; }
.side-box label { font-size: 10px; }
.side-box select { font-size: 11px; padding: 8px; }
.source-list a { display: flex; justify-content: space-between; gap: 8px; font: 10px/1.6 ui-monospace, monospace; padding: 9px 0; border-bottom: 1px solid var(--line); overflow-wrap: anywhere; }
.source-list a:last-child { border: 0; }
.full-width { width: 100%; padding-inline: 12px; }
.small-note { font-size: 10px; color: var(--muted); }
.lesson-bottom { margin-top: 50px; border-top: 1px solid var(--line); padding-top: 25px; display: flex; justify-content: space-between; gap: 20px; align-items: center; }
.lesson-bottom > div { display: flex; align-items: center; gap: 20px; font-size: 12px; }
.badge { display: inline-block; font: 10px/1.5 var(--sans); border-radius: 3px; padding: 5px 9px; background: var(--badge-bg); color: var(--badge-ink); white-space: nowrap; }
.badge.completed { background: var(--success-bg); color: var(--success-ink); }
.badge.running, .badge.queued { background: var(--active-bg); color: var(--active-ink); }
.badge.waiting_user, .badge.waiting_approval, .badge.partial, .badge.interrupted { background: var(--warning-bg); color: var(--warning-ink); }
.badge.failed, .badge.model_error, .badge.validation_failed { background: var(--error-bg); color: var(--error-ink); }
label { display: block; font-size: 12px; font-weight: 500; margin: 17px 0 7px; }
input, select, textarea { width: 100%; border: 1px solid var(--input-border); border-radius: 4px; padding: 11px 12px; color: var(--ink); background: var(--white); font-size: 12px; }
textarea { line-height: 1.75; resize: vertical; }
textarea:focus, input:focus, select:focus { outline-color: var(--focus); border-color: var(--green); }
.lab-layout { display: grid; grid-template-columns: minmax(0, 1fr) 260px; gap: 30px; align-items: start; }
.form-panel, .brief-panel { border: 1px solid var(--line); border-radius: 5px; background: var(--white); padding: 28px; min-width: 0; }
.panel-heading { display: flex; justify-content: space-between; align-items: center; gap: 15px; padding-bottom: 18px; border-bottom: 1px solid var(--line); margin-bottom: 20px; }
.panel-heading h2 { font-size: 26px; margin: 0; }
.form-row { display: grid; grid-template-columns: 1fr 1fr; gap: 18px; }
.form-row label { margin-top: 0; }
.form-row { margin-top: 20px; }
.field-help { font-size: 10px; color: var(--muted); margin: 5px 0 16px; }
.checkbox { display: flex; align-items: center; gap: 9px; font-size: 11px; font-weight: 400; margin: 21px 0; }
.checkbox input { width: 14px; accent-color: var(--green); }
.form-footer { display: flex; justify-content: space-between; align-items: center; gap: 20px; padding-top: 22px; border-top: 1px solid var(--line); }
.form-footer > span { font-size: 10px; color: var(--muted); max-width: 180px; }
.example-button { display: flex; justify-content: space-between; border: 0; border-bottom: 1px solid var(--line); background: transparent; padding: 12px 0; width: 100%; color: var(--green); font-size: 13px; }
.example-button:last-child { border: 0; }
.notice { padding: 16px 20px; border: 1px solid var(--notice-border); border-radius: 4px; background: var(--notice-bg); font-size: 12px; margin: 18px 0; overflow-wrap: anywhere; }
.notice.error { background: var(--error-bg); border-color: var(--error-border); color: var(--error-ink); }
.notice p:last-child { margin-bottom: 0; }
.static-notice strong { font-weight: 600; }
.static-notice p { margin: 5px 0 0; }
.static-notice a, .static-control-note a { text-decoration: underline; text-underline-offset: 3px; }
.static-control-note { font-size: 11px; line-height: 1.8; padding: 13px 0; margin-bottom: 12px; border-block: 1px solid var(--line); }
.static-control-note strong { font-weight: 500; }
.static-control-note p { margin: 6px 0 0; }
.run-heading .eyebrow { margin-bottom: 10px; }
.run-heading .eyebrow span { color: var(--subtle); margin-left: 10px; }
.run-title-row { display: flex; align-items: center; justify-content: space-between; gap: 25px; }
.run-title-row h1 { font-size: 45px; margin-bottom: 15px; }
.run-question { max-width: 790px; font-size: 15px; color: var(--muted); }
.run-tags { display: flex; flex-wrap: wrap; gap: 12px 20px; font-size: 10px; color: var(--muted); margin-top: 22px; }
.fictional-label { color: var(--warning-ink); }
.run-stats { display: flex; align-items: center; gap: 35px; margin: 30px 0; padding: 21px 0; border-block: 1px solid var(--line); }
.run-stats strong { display: block; font: 25px var(--serif); }
.run-stats strong small { font: 12px var(--sans); color: var(--subtle); }
.run-stats div > span { font-size: 9px; text-transform: uppercase; letter-spacing: .06em; color: var(--muted); }
.run-controls { margin-left: auto; display: flex; flex-wrap: wrap; gap: 8px; }
.run-layout { display: grid; grid-template-columns: minmax(0, 1.3fr) minmax(290px, 1fr); gap: 25px; align-items: start; }
.brief-panel { padding: 25px; }
.brief-summary { font-size: 14px; line-height: 1.85; }
.finding { display: flex; gap: 15px; border-top: 1px solid var(--line); padding: 23px 0 17px; }
.finding-number { font: italic 20px var(--serif); color: var(--subtle); }
.finding p { font-size: 12px; margin: 0; }
.finding blockquote { font-size: 11px; margin: 13px 0; border-left: 2px solid var(--box-border); padding-left: 13px; color: var(--muted); line-height: 1.8; }
.finding small { display: block; font-size: 9px; color: var(--subtle); margin-top: 5px; }
.citation { font-size: 10px; }
.verification-note { margin-top: 24px; border-top: 1px solid var(--line); padding-top: 15px; font-size: 10px; color: var(--muted); }
.verification-note strong { color: var(--green); }
.activity-panel { padding-top: 9px; min-width: 0; }
.activity-panel .panel-heading { padding-inline: 4px; margin-bottom: 0; }
.activity-panel h2 { font-size: 25px; }
.live-label { font-size: 9px; color: var(--green); letter-spacing: .08em; }
.live-label .status-dot { animation: pulse 1.5s infinite; }
.events { max-height: 670px; overflow-y: auto; padding-right: 6px; }
.event { border-bottom: 1px solid var(--line); }
.event summary { display: flex; gap: 12px; padding: 15px 4px; cursor: pointer; list-style: none; }
.event-dot { width: 6px; height: 6px; background: var(--subtle); border-radius: 50%; margin-top: 7px; flex-shrink: 0; }
.event strong { font-size: 10px; font-weight: 500; display: block; }
.event strong b { font-weight: 600; margin-left: 5px; color: var(--green); }
.event small { display: block; font-size: 9px; color: var(--subtle); margin-top: 3px; }
.event-expand { margin-left: auto; color: var(--subtle); }
.event pre, .checkpoint-details pre { background: var(--code-bg); font: 10px/1.7 ui-monospace, monospace; padding: 14px; overflow: auto; max-height: 340px; white-space: pre-wrap; overflow-wrap: anywhere; }
.event-error .event-dot { background: var(--orange); }
.event-error-text { display: block; font-size: 10px; color: var(--orange); margin-top: 7px; }
.empty-state { padding: 35px 10px; text-align: center; }
.empty-state p { color: var(--muted); font-size: 12px; }
.waiting-mark { font: 45px var(--serif); color: var(--subtle); }
.pending-panel { background: var(--pending-bg); border: 1px solid var(--pending-border); padding: 25px; border-radius: 5px; margin-bottom: 28px; }
.pending-panel h3 { font: 24px var(--serif); margin-top: 0; }
.pending-panel p { font-size: 13px; }
.pending-panel textarea { margin-bottom: 14px; max-width: 700px; display: block; }
.pending-panel details { margin-top: 15px; font-size: 10px; overflow-wrap: anywhere; }
.approval-buttons { display: flex; gap: 12px; }
.evidence-section, .plan-section { margin-top: 55px; }
.evidence-card { border: 1px solid var(--line); padding: 17px 21px; background: var(--surface-soft); margin-bottom: 10px; border-radius: 4px; }
.evidence-card summary { cursor: pointer; list-style: none; display: flex; align-items: center; justify-content: space-between; font-size: 12px; }
.evidence-card small { display: block; color: var(--muted); font-size: 9px; margin-top: 5px; }
.evidence-card blockquote { font-size: 12px; line-height: 1.85; margin: 20px 0; max-width: 850px; }
.evidence-card > a { font-size: 10px; }
.plan-history { display: grid; grid-template-columns: repeat(auto-fit, minmax(250px, 1fr)); gap: 18px; }
.plan-card { background: var(--plan-bg); border: 1px solid var(--line); border-radius: 4px; padding: 22px; font-size: 12px; }
.plan-card ol { padding-left: 18px; }
.plan-card small { color: var(--muted); font-size: 10px; }
.artifact-section, .checkpoint-details { font-size: 11px; margin-top: 30px; border-top: 1px solid var(--line); padding-top: 20px; }
.artifact-section summary, .checkpoint-details summary { cursor: pointer; }
.artifact-list { display: grid; grid-template-columns: repeat(auto-fit, minmax(200px, 1fr)); padding-top: 15px; gap: 8px; font: 10px ui-monospace, monospace; }
.archive-list { margin-top: 40px; }
.archive-row { display: flex; align-items: center; justify-content: space-between; gap: 25px; padding: 24px 0; border-top: 1px solid var(--line); color: var(--ink); }
.archive-row h3 { font-size: 14px; line-height: 1.7; font-weight: 500; margin: 8px 0; max-width: 750px; }
.archive-row p, .archive-label { color: var(--muted); font-size: 10px; margin: 0; }
.archive-row > div:last-child { display: flex; align-items: center; gap: 25px; }
.archive-arrow { color: var(--subtle); }
.source-heading h1 { font-size: 36px; overflow-wrap: anywhere; }
.source-code { font: 11px/1.8 ui-monospace, monospace; background: var(--code-bg); border: 1px solid var(--line); padding: 25px; overflow-x: auto; border-radius: 4px; }
.code-line { min-height: 1em; }
.line-number { display: inline-block; width: 35px; color: var(--subtle); user-select: none; }
.loading-state { color: var(--muted); font-size: 13px; padding-block: 80px; }
[hidden] { display: none !important; }
#lesson-search { margin-bottom: 25px; max-width: 620px; }
.review-prose { max-width: 880px; }
.prose img { display: block; max-width: 100%; height: auto; border-radius: 6px; }
.review-prose h1 { font-size: 44px; }
.glossary-list { max-width: 800px; }
.glossary-term { border-bottom: 1px solid var(--line); padding: 24px 0; }
.glossary-term h2 { font-size: 27px; margin: 0; }
.glossary-term p { font-size: 14px; color: var(--muted); }
.glossary-term a { font-size: 12px; }
.comparison-table { overflow-x: auto; margin-top: 25px; }
.comparison-table table { border-collapse: collapse; width: 100%; font-size: 11px; }
.comparison-table th, .comparison-table td { border: 1px solid var(--line); text-align: left; padding: 8px; }
.baseline-output { border-top: 1px solid var(--line); margin-top: 25px; padding-top: 20px; }
.baseline-output h3 { font: 22px var(--serif); }
.baseline-answer { white-space: pre-wrap; overflow-wrap: anywhere; font-size: 12px; line-height: 1.8; margin: 18px 0; }
@keyframes pulse { 50% { opacity: .3; } }
@media (max-width: 1200px) {
  .lesson-layout { grid-template-columns: minmax(0, 1fr) 215px; gap: 27px; }
  .lab-layout { grid-template-columns: minmax(0, 1fr) 230px; gap: 20px; }
  .run-layout { grid-template-columns: minmax(0, 1fr); }
  .events { max-height: 380px; }
}
@media (max-width: 950px) {
  .lesson-layout, .lab-layout { grid-template-columns: minmax(0, 1fr); }
  .lesson-aside { position: static; display: grid; grid-template-columns: 1fr 1fr; gap: 18px; }
  .lesson-aside .side-box:last-child { display: none; }
  .lab-aside { display: grid; grid-template-columns: 1fr 1fr; gap: 18px; }
  .section-heading > span { display: none; }
}
@media (max-width: 600px) {
  .page-heading h1, .lesson-heading h1, .run-title-row h1 { font-size: 35px; }
  .lesson-heading .eyebrow span, .run-heading .eyebrow span { display: block; margin: 8px 0 0; }
  .lesson-aside, .lab-aside, .form-row { grid-template-columns: 1fr; }
  .form-panel, .brief-panel { padding: 20px; }
  .lesson-bottom { align-items: start; flex-direction: column; }
  .lesson-bottom > div { width: 100%; justify-content: space-between; }
  .run-stats { flex-wrap: wrap; gap: 20px; }
  .run-controls { margin: 0; width: 100%; }
  .run-title-row { align-items: start; }
  .runtime-strip { align-items: start; }
  .runtime-strip div > span:last-child { display: block; margin: 6px 0 0 14px; }
  .archive-row { gap: 15px; }
  .archive-row > div:last-child { flex-direction: column; gap: 10px; }
  .prose { font-size: 14px; }
  .part-row { grid-template-columns: 45px 1fr; }
  .part-lessons a { gap: 9px; }
  .form-footer { flex-direction: column; align-items: stretch; }
  .form-footer > span { max-width: none; }
}
@media (prefers-reduced-motion: reduce) { * { scroll-behavior: auto !important; animation: none !important; } }