body.logic-body:has(.logic-shell) {
  background: #101413;
  color: #e9eeeb;
  --logic-text: #e9eeeb;
  --logic-muted: #b0bcb7;
  --logic-line: #36413d;
  --logic-panel: #1a211e;
  --logic-blue: #9fcdd8;
  --logic-amber: #ebc387;
  --logic-green: #b4d7be;
}
.logic-body * { box-sizing: border-box; letter-spacing: 0; }
.logic-shell.static-page { width: min(1220px, calc(100% - 48px)); padding-top: 18px; }
.logic-body a { color: var(--logic-blue); text-underline-offset: 4px; }
.logic-body a:hover { color: #fff; }
.logic-body :focus-visible { outline: 2px solid var(--logic-blue); outline-offset: 4px; }
.logic-body [hidden] { display: none !important; }
.logic-body .logic-icon { width: 18px; height: 18px; flex: 0 0 18px; }
.logic-body button, .logic-body .logic-primary {
  display: inline-flex; align-items: center; justify-content: center; gap: 8px;
  min-height: 40px; padding: 8px 13px; font: inherit; font-size: 14px; line-height: 1.4;
  font-weight: 600; color: var(--logic-text); background: #242e29;
  border: 1px solid #55665c; border-radius: 5px; cursor: pointer; text-decoration: none;
}
.logic-body button:hover { background: #303d35; }
.logic-body button:disabled { opacity: 0.48; cursor: not-allowed; }
.logic-body .logic-primary { background: #c6ddce; color: #142319; border-color: #c6ddce; }
.logic-body .logic-primary:hover { background: #e1efe4; color: #142319; }
.logic-body .logic-icon-button { width: 40px; height: 40px; min-width: 40px; min-height: 40px; max-height: 40px; padding: 0; flex: 0 0 40px; }
.logic-body input, .logic-body select, .logic-body textarea {
  color: var(--logic-text); background: #101714; border: 1px solid #697b70;
  border-radius: 4px; font: inherit; font-size: 15px; line-height: 1.5; margin: 0;
}
.logic-body input[type="checkbox"], .logic-body input[type="radio"] { width: 19px; height: 19px; min-width: 19px; accent-color: #b4d7be; }
.logic-body select { min-width: 0; max-width: 100%; min-height: 42px; padding: 8px 28px 8px 9px; }
.logic-body textarea { width: 100%; padding: 12px; resize: vertical; min-height: 130px; }
.logic-body input[type="number"] { width: 100%; min-width: 0; min-height: 44px; padding: 8px 10px; }
.logic-body summary { color: var(--logic-text); cursor: pointer; font-weight: 600; }
.logic-body code { color: #dcebf0; background: none; font: 14px/1.6 ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; white-space: normal; overflow-wrap: anywhere; }
.logic-body p { margin: 0 0 16px; }
.logic-body h1, .logic-body h2, .logic-body h3 { color: #f1f4f2; line-height: 1.35; margin: 0; }
.logic-body h1 { font-size: 34px; font-weight: 730; }
.logic-body h2 { font-size: 22px; font-weight: 680; }
.logic-body h3 { font-size: 17px; font-weight: 650; }
.logic-body strong { color: var(--logic-text); }
.logic-body small { font-size: 12px; }
.logic-breadcrumb { display: flex; flex-wrap: wrap; align-items: center; gap: 12px; margin: 24px 0 30px; font-size: 13px; color: var(--logic-muted); }
.logic-breadcrumb a { text-decoration: none; }
.logic-layout { display: grid; grid-template-columns: 236px minmax(0, 1fr); gap: 54px; align-items: start; }
.logic-sidebar { position: sticky; top: 20px; max-height: calc(100dvh - 40px); overflow-y: auto; overscroll-behavior: contain; scrollbar-width: thin; scrollbar-color: #5e7166 transparent; padding-right: 16px; font-size: 13px; }
.logic-course-name { display: block; font-weight: 700; font-size: 12px; text-decoration: none; margin: 0 0 20px; }
.logic-progress { padding-bottom: 20px; border-bottom: 1px solid var(--logic-line); }
.logic-progress > span { display: block; font-weight: 600; }
.logic-progress progress { display: block; width: 100%; height: 5px; margin: 12px 0; border: 0; border-radius: 0; accent-color: #b4d7be; background: #2f3b34; }
.logic-progress progress::-webkit-progress-bar { background: #2f3b34; }
.logic-progress progress::-webkit-progress-value { background: #b4d7be; }
.logic-progress small { display: block; color: var(--logic-muted); line-height: 1.6; }
.logic-sidebar details { margin: 0; border: 0; border-bottom: 1px solid var(--logic-line); border-radius: 0; padding: 0; max-width: none; background: none; }
.logic-sidebar > .logic-sidebar-panel { border: 0; }
.logic-sidebar-panel > summary { display: none; }
.logic-sidebar summary { padding: 14px 0; font-size: 13px; }
.logic-outline-group { padding: 5px 0 12px; }
.logic-outline-group > a { display: flex; align-items: baseline; gap: 8px; padding: 8px 6px; font-size: 12px; text-decoration: none; line-height: 1.5; }
.logic-outline-group > a:first-child { color: var(--logic-muted); font-weight: 600; padding-left: 0; }
.logic-outline-group a[data-lesson-link] { color: var(--logic-text); }
.logic-outline-group a[aria-current="page"] { background: #24312a; border-left: 2px solid var(--logic-green); padding-left: 4px; }
.logic-outline-group a > span:first-child { color: var(--logic-muted); font-variant-numeric: tabular-nums; flex: 0 0 18px; }
.logic-dot { display: inline-block; width: 7px; height: 7px; flex: 0 0 7px; margin-left: auto; border: 1px solid #728176; border-radius: 50%; align-self: center; }
.logic-dot[data-done="true"] { background: var(--logic-green); border-color: var(--logic-green); }
.logic-review ul { padding: 0 0 14px 18px; margin: 0; }
.logic-review ul { max-height: 280px; overflow-y: auto; }
.logic-review li { padding: 5px 0; }
.logic-reference dl { margin: 0 0 16px; }
.logic-reference dt { margin-top: 12px; }
.logic-reference dd { margin: 4px 0 0; color: var(--logic-muted); }
.logic-backup { display: flex; flex-wrap: wrap; gap: 8px; margin: 20px 0 12px; }
.logic-backup button { font-size: 12px; min-height: 36px; padding: 7px 9px; }
.logic-backup .logic-text-button { padding: 4px 0; min-height: 28px; border: 0; background: none; color: var(--logic-muted); font-weight: 400; }
.logic-storage { color: var(--logic-muted); font-size: 12px; line-height: 1.65; overflow-wrap: anywhere; }
.logic-storage[data-error="true"] { color: #f4c17d; }
.logic-main { min-width: 0; max-width: 900px; font-size: 16px; line-height: 1.85; }
.logic-page-header { padding-bottom: 30px; border-bottom: 1px solid var(--logic-line); margin-bottom: 32px; }
.logic-eyebrow { color: var(--logic-blue); font-size: 12px; line-height: 1.5; margin-bottom: 16px !important; font-weight: 600; }
.logic-page-header > p:not(.logic-eyebrow) { color: var(--logic-muted); max-width: 70ch; margin: 16px 0 0; }
.logic-page-header .logic-prerequisite { font-size: 13px; }
.logic-skip-practice { display: inline-block; font-size: 13px; margin-top: 14px; }
.logic-header-actions { display: flex; align-items: center; flex-wrap: wrap; gap: 18px; margin-top: 24px; }
.logic-header-actions span { font-size: 13px; color: var(--logic-muted); }
.logic-orientation { padding-bottom: 30px; }
.logic-orientation h2 { font-size: 18px; margin-bottom: 12px; }
.logic-orientation p { font-size: 15px; color: var(--logic-muted); }
.logic-course-map > section { border-top: 1px solid var(--logic-line); padding: 26px 0 16px; scroll-margin-top: 20px; }
.logic-module-heading { display: flex; gap: 20px; align-items: flex-start; margin-bottom: 16px; }
.logic-module-heading > span { font: 14px/1.6 ui-monospace, monospace; color: var(--logic-amber); padding-top: 4px; }
.logic-module-heading h2 { font-size: 20px; }
.logic-module-heading p { margin: 6px 0 0; font-size: 13px; color: var(--logic-muted); }
.logic-course-map ol { list-style: none; margin: 0; padding: 0; }
.logic-course-map li + li { border-top: 1px solid #263029; }
.logic-course-map li a { display: grid; grid-template-columns: 24px minmax(0,1fr) 8px 18px; align-items: center; gap: 16px; padding: 16px 10px; color: var(--logic-text); text-decoration: none; }
.logic-course-map li a:hover { background: #1d2721; }
.logic-lesson-number { font-size: 12px; color: var(--logic-muted); font-variant-numeric: tabular-nums; }
.logic-course-map strong { display: block; font-size: 16px; }
.logic-course-map small { display: block; color: var(--logic-muted); font-size: 13px; margin-top: 3px; }
.logic-course-boundary { border-top: 1px solid var(--logic-line); margin-top: 24px; padding-top: 24px; font-size: 14px; color: var(--logic-muted); }
.logic-course-boundary h2 { font-size: 19px; margin-bottom: 16px; }
.logic-copy h2 { font-size: 13px; color: var(--logic-muted); font-weight: 500; }
.logic-copy blockquote { font-size: 22px; line-height: 1.65; margin: 10px 0 24px; padding: 0; border: 0; font-weight: 600; color: #e8d1a9; }
.logic-copy p, .logic-worked li { max-width: 74ch; }
.logic-worked { border-top: 1px solid var(--logic-line); margin-top: 28px; padding-top: 24px; }
.logic-worked h2 { font-size: 18px; }
.logic-worked ol { padding-left: 25px; margin: 16px 0 0; }
.logic-worked li { padding: 0 0 12px 5px; }
.logic-worked li::marker { color: var(--logic-blue); font-size: 13px; }
.logic-caution { border-left: 2px solid #d7b574; margin: 24px 0 34px; padding: 3px 0 3px 18px; color: var(--logic-muted); font-size: 14px; }
.logic-caution strong { color: var(--logic-amber); }
.logic-caution p { margin: 5px 0 0; }
.logic-practice, .logic-exercise { scroll-margin-top: 24px; }
.logic-section-heading { display: flex; align-items: baseline; justify-content: space-between; gap: 14px; margin-bottom: 18px; }
.logic-section-heading > span { font: 13px ui-monospace, monospace; color: var(--logic-muted); }
.logic-exercise { border: 1px solid #425047; border-radius: 6px; padding: 22px; background: var(--logic-panel); margin: 0 0 18px; min-width: 0; }
.logic-exercise-heading { display: flex; justify-content: space-between; gap: 12px; font-size: 12px; color: var(--logic-blue); line-height: 1.4; margin-bottom: 14px; }
.logic-exercise-heading [data-exercise-state] { color: var(--logic-muted); text-align: right; }
.logic-exercise h3 { margin-bottom: 20px; overflow-wrap: anywhere; }
.logic-exercise form { margin: 0; }
.logic-inputs { margin: 0; padding: 0; border: 0; min-width: 0; }
.logic-choices { display: grid; gap: 8px; }
.logic-choices > label { display: flex; align-items: flex-start; gap: 12px; padding: 12px; border: 1px solid #46594c; border-radius: 4px; font-size: 15px; line-height: 1.6; cursor: pointer; }
.logic-choices input { margin-top: 3px !important; }
.logic-choices label:has(input:checked) { background: #283e31; border-color: #9dc5aa; }
.logic-exercise-actions { display: flex; align-items: center; flex-wrap: wrap; gap: 10px; margin-top: 20px; }
.logic-exercise-actions .logic-icon-button { margin-left: auto; }
.logic-hints { border-left: 2px solid var(--logic-amber); margin-top: 18px; padding-left: 14px; color: #e5d4b8; font-size: 14px; }
.logic-hints p { margin-bottom: 8px; }
.logic-feedback { margin-top: 18px; font-size: 14px; border-top: 1px solid var(--logic-line); padding-top: 16px; color: #eed2a8; }
.logic-feedback[data-correct="true"] { color: #c1e4cb; }
.logic-feedback strong { color: inherit; }
.logic-feedback p { margin: 6px 0 0; }
.logic-solution { border: 0; border-top: 1px solid var(--logic-line); border-radius: 0; margin-top: 20px; padding: 14px 0 0; background: none; max-width: none; }
.logic-solution summary { color: var(--logic-muted); font-weight: 400; font-size: 12px; }
.logic-solution > div { margin-top: 16px; font-size: 14px; color: var(--logic-muted); }
.logic-solution ol, .logic-solution ul { padding-left: 22px; }
.logic-solution li { margin-bottom: 8px; }
.logic-label-rows { display: grid; gap: 10px; }
.logic-label-rows > div { display: grid; grid-template-columns: minmax(0,1fr) minmax(160px, 0.9fr); align-items: center; gap: 16px; }
.logic-label-rows label { font-size: 14px; line-height: 1.65; }
.logic-label-rows select { width: 100%; font-size: 13px; }
.logic-givens { list-style: none; padding: 0; margin: 0 0 18px; font-family: ui-monospace, monospace; font-size: 14px; }
.logic-table-scroll { max-width: 100%; overflow-x: auto; border-radius: 3px; }
.logic-table { width: 100%; border-collapse: collapse; font-size: 14px; text-align: center; }
.logic-table caption { caption-side: bottom; text-align: left; padding: 8px 0; font-size: 12px; color: var(--logic-muted); }
.logic-table th { background: #202f26; font-weight: 600; }
.logic-table th, .logic-table td { border: 1px solid #4a5c50; padding: 9px; min-width: 45px; }
.logic-table th code { white-space: nowrap; }
.logic-table select { width: 70px; }
.logic-body [data-wrong="true"] { border-color: #e8b581; outline: 1px solid #e8b581; outline-offset: 1px; }
.logic-argument { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 0.7fr); gap: 20px; padding-bottom: 16px; border-bottom: 1px solid var(--logic-line); }
.logic-argument span { display: block; color: var(--logic-muted); font-size: 12px; margin-bottom: 10px; }
.logic-argument code { display: block; font-size: 16px; }
.logic-truth-inputs { display: flex; gap: 24px; margin-top: 20px; }
.logic-truth-inputs label { display: grid; gap: 8px; text-align: center; font-family: ui-monospace, monospace; }
.logic-truth-inputs select { width: 74px; }
.logic-model-status { font-size: 13px; color: var(--logic-muted); margin-top: 16px; }
.logic-domain { color: var(--logic-muted); font-size: 13px; }
.logic-world-targets { list-style: none; padding: 0; margin: 0 0 22px; font-size: 13px; }
.logic-world-targets li { display: flex; flex-wrap: wrap; align-items: baseline; justify-content: space-between; gap: 8px; padding: 6px 0; border-bottom: 1px solid var(--logic-line); }
.logic-world-targets span { color: var(--logic-amber); }
.logic-world { display: grid; grid-template-columns: repeat(3, minmax(0,1fr)); gap: 18px; }
.logic-object { display: flex; flex-direction: column; align-items: center; gap: 16px; padding: 14px 0 0; }
.logic-shape { display: grid; place-items: center; width: 62px; height: 62px; flex: 0 0 62px; background: #77847c; color: #090f0b; font: 600 17px ui-monospace, monospace; border: 2px solid #c6d0c9; }
.logic-shape[data-circle="true"] { border-radius: 50%; }
.logic-shape[data-red="true"] { background: #e3908c; border-color: #ffd0ca; }
.logic-object fieldset { border: 0; padding: 0; margin: 0; min-width: 0; font-size: 13px; }
.logic-object legend { padding: 0; margin-bottom: 10px; text-align: center; color: var(--logic-muted); }
.logic-object label { display: flex; align-items: center; gap: 8px; padding: 7px 0; cursor: pointer; }
.logic-relations { max-width: 380px; }
.logic-relations td { height: 58px; }
.logic-population { font-size: 12px; margin-bottom: 24px; }
.logic-population-track { height: 12px; display: flex; background: #52675a; }
.logic-population-track > span { display: block; height: 100%; background: #ebc387; }
.logic-population-legend { display: flex; flex-wrap: wrap; justify-content: space-between; gap: 8px; padding-top: 8px; }
.logic-population-legend > span:first-child { color: var(--logic-amber); }
.logic-count-inputs { display: grid; grid-template-columns: repeat(2,minmax(0,1fr)); gap: 18px; }
.logic-count-inputs label { display: flex; flex-direction: column; gap: 8px; font-size: 13px; }
.logic-count-inputs input { margin-top: auto; }
.logic-notebook { margin: 38px 0 30px; padding-top: 30px; border-top: 1px solid var(--logic-line); }
.logic-notebook h2 { margin-bottom: 14px; }
.logic-notebook > p { font-size: 15px; color: var(--logic-muted); }
.logic-notebook > label { display: block; margin: 20px 0 8px; font-size: 13px; }
.logic-note-meta { display: flex; justify-content: space-between; gap: 14px; color: var(--logic-muted); font-size: 12px; }
.logic-lesson-result { color: var(--logic-green); font-size: 14px; margin-bottom: 20px; }
.logic-related { margin: 30px 0; border-top: 1px solid var(--logic-line); padding-top: 24px; }
.logic-related h2 { font-size: 18px; }
.logic-related ul { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 24px; list-style: none; margin: 8px 0 0; padding: 0; }
.logic-related li { min-width: 0; }
.logic-related a { display: grid; grid-template-columns: minmax(0, 1fr) 18px; align-items: center; gap: 12px; padding: 12px 0; text-decoration: none; line-height: 1.65; overflow-wrap: anywhere; }
.logic-related strong { display: block; font-size: 15px; }
.logic-related small { display: block; margin-top: 5px; color: var(--logic-muted); font-size: 13px; }
.logic-related a:hover strong { color: var(--logic-blue); text-decoration: underline; }
.logic-pagination { display: flex; justify-content: space-between; gap: 24px; border-top: 1px solid var(--logic-line); padding-top: 20px; }
.logic-pagination a { display: flex; align-items: center; gap: 10px; max-width: 48%; font-size: 14px; text-decoration: none; line-height: 1.5; }
.logic-pagination a:last-child { margin-left: auto; text-align: right; }
.logic-pagination small { display: block; color: var(--logic-muted); margin-bottom: 5px; }
.logic-footer { border-top: 1px solid var(--logic-line); margin-top: 36px; padding-top: 20px; font-size: 13px; color: var(--logic-muted); }
.logic-footer details { border: 0; padding: 0; margin: 0; background: none; max-width: none; }
.logic-footer summary { margin-bottom: 20px; }
.logic-footer ul { padding-left: 20px; }
.logic-footer li p { margin-top: 4px; }
.logic-dialog { width: min(460px, calc(100% - 32px)); border: 1px solid #6e8374; border-radius: 8px; padding: 26px; background: #19211c; color: var(--logic-text); }
.logic-dialog::backdrop { background: rgb(0 0 0 / 72%); }
.logic-dialog h2 { font-size: 20px; margin-bottom: 16px; }
.logic-dialog p { font-size: 14px; line-height: 1.7; }
.logic-dialog form > div { display: flex; justify-content: flex-end; gap: 10px; margin-top: 22px; }
.logic-sr { position: absolute; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip-path: inset(50%); white-space: nowrap; border: 0; }
.logic-skip { position: absolute; left: 16px; top: -100px; padding: 12px; background: #162a20; z-index: 50; }
.logic-skip:focus { top: 10px; }
.logic-noscript { padding: 14px 0; color: var(--logic-amber); font-size: 14px; }
@media (max-width: 1050px) {
  .logic-layout { grid-template-columns: 210px minmax(0,1fr); gap: 30px; }
  .logic-body h1 { font-size: 29px; }
  .logic-label-rows > div { grid-template-columns: minmax(0,1fr); gap: 7px; }
}
@media (max-width: 760px) {
  .logic-shell.static-page { width: calc(100% - 32px); padding-top: 12px; }
  .logic-layout { display: flex; flex-direction: column; gap: 28px; }
  .logic-sidebar { position: static; max-height: none; overflow: visible; width: 100%; padding: 0; }
  .logic-sidebar-panel > summary { display: flex; align-items: center; justify-content: space-between; gap: 12px; border-top: 1px solid var(--logic-line); border-bottom: 1px solid var(--logic-line); }
  .logic-sidebar-panel > summary::before { content: "+"; color: var(--logic-blue); }
  .logic-sidebar-panel[open] > summary::before { content: "−"; }
  .logic-sidebar-panel > summary span { margin-left: auto; font-size: 12px; color: var(--logic-muted); }
  .logic-sidebar-panel > div { padding-top: 20px; }
  .logic-course-name { margin-bottom: 12px; }
  .logic-progress { padding-bottom: 12px; }
  .logic-progress small { font-size: 12px; }
  .logic-sidebar .logic-backup { margin-top: 12px; }
  .logic-outline nav { max-height: 340px; overflow-y: auto; overscroll-behavior: contain; }
  .logic-reference dl { max-height: 280px; overflow-y: auto; }
  .logic-sidebar .logic-storage { margin-bottom: 0; }
  .logic-main { max-width: none; width: 100%; }
  .logic-related ul { grid-template-columns: minmax(0, 1fr); gap: 0; }
  .logic-related li + li { border-top: 1px solid var(--logic-line); }
  .logic-breadcrumb { margin: 16px 0 20px; }
  .logic-page-header { margin-bottom: 26px; padding-bottom: 24px; }
  .logic-body h1 { font-size: 27px; }
  .logic-body h2 { font-size: 20px; }
  .logic-copy blockquote { font-size: 20px; }
  .logic-exercise { padding: 18px 14px; }
  .logic-exercise-actions { gap: 8px; }
  .logic-exercise-actions button { font-size: 13px; padding: 8px 10px; }
  .logic-world { gap: 8px; }
  .logic-world-targets code { font-size: 12px; }
  .logic-count-inputs { gap: 12px; }
  .logic-course-map li a { gap: 10px; padding: 14px 0; grid-template-columns: 20px minmax(0,1fr) 8px 16px; }
  .logic-course-map strong { font-size: 15px; }
  .logic-module-heading { gap: 14px; }
  .logic-body .logic-table th, .logic-body .logic-table td { padding: 7px; }
}
@media (max-width: 480px) {
  .logic-body .logic-shell .primary-nav-links { gap: 8px; }
  .logic-body .logic-shell .top-nav .primary-nav-links a { font-size: 12px; }
}
@media (prefers-reduced-motion: reduce) { .logic-body * { scroll-behavior: auto !important; transition: none !important; } }
@media print {
  body.logic-body:has(.logic-shell) { color: #111; background: #fff; --logic-text: #111; --logic-muted: #333; --logic-line: #bbb; --logic-panel: #fff; --logic-blue: #222; }
  .logic-shell.static-page { width: 100%; }
  .logic-layout { display: block; }
  .logic-sidebar, .logic-shell > .top-nav, .logic-exercise-actions, .logic-pagination, .logic-backup { display: none; }
  .logic-body h1, .logic-body h2, .logic-body h3, .logic-body code, .logic-copy blockquote { color: #111; }
  .logic-body input, .logic-body select, .logic-body textarea { color: #111; background: white; }
  .logic-exercise { break-inside: avoid; }
}