:root { --bg: #f6f1e7; --fg: #1f2a3a; --muted: #5c6878; --line: #ddd5c5; --side: #efe8da; --accent: #35557a; --accent-2: #d9684b; --code-bg: #ede6d8; --k: #7a3f8f; --t: #0b6e99; --s: #3e7f2f; --n: #a0620a; --c: #7a8290; --f: #35557a; --b: #c0392b; }
@media (prefers-color-scheme: dark) { :root { --bg: #1b2a3c; --fg: #e6ecf1; --muted: #9fb0c2; --line: #2e4258; --side: #142030; --accent: #9fc0dc; --accent-2: #e08a6c; --code-bg: #142030; --k: #d6a4ec; --t: #7fcbff; --s: #9ad27a; --n: #f0b25a; --c: #8a9bab; --f: #b8cde4; --b: #ff8c7a; } }
* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body { margin: 0; font: 16px/1.6 -apple-system, 'Segoe UI', Roboto, Helvetica, Arial, sans-serif; color: var(--fg); background: var(--bg); }
a { color: var(--accent); text-decoration: none; }
a:hover { text-decoration: underline; }
code, pre { font-family: ui-monospace, 'Cascadia Code', 'JetBrains Mono', Consolas, 'Liberation Mono', Menlo, monospace; font-size: 0.92em; }
code { background: var(--code-bg); padding: 0.1em 0.35em; border-radius: 4px; overflow-wrap: anywhere; }
pre.code { background: var(--code-bg); border: 1px solid var(--line); border-radius: 8px; padding: 0.9rem 1.1rem; overflow-x: auto; line-height: 1.5; }
pre.code code { background: none; padding: 0; font-size: 0.9em; }
.k { color: var(--k); font-weight: 600; } .t { color: var(--t); } .s { color: var(--s); } .n { color: var(--n); } .c { color: var(--c); font-style: italic; } .d { color: var(--c); } .f { color: var(--f); } .b { color: var(--b); } .p { color: var(--muted); }
.layout { display: grid; grid-template-columns: 270px minmax(0, 1fr); min-height: 100vh; }
nav.side { background: var(--side); border-right: 1px solid var(--line); padding: 1.2rem 1rem 3rem; position: sticky; top: 0; height: 100vh; overflow-y: auto; }
nav.side .brand { display: flex; align-items: center; gap: 0.6rem; font-weight: 700; font-size: 1.15rem; margin-bottom: 1rem; color: var(--fg); }
nav.side .brand img { width: 30px; height: 30px; }
nav.side h4 { margin: 1.1rem 0 0.35rem; font-size: 0.72rem; letter-spacing: 0.08em; text-transform: uppercase; color: var(--muted); }
nav.side a { display: block; padding: 0.22rem 0.5rem; border-radius: 6px; color: var(--fg); font-size: 0.93rem; }
nav.side a:hover { background: var(--line); text-decoration: none; }
nav.side a.current { background: var(--accent); color: var(--bg); }
nav.side a .num { color: var(--muted); font-variant-numeric: tabular-nums; margin-right: 0.35rem; }
nav.side a.current .num { color: #eee; }
main { padding: 2rem 3rem 4rem; max-width: 62rem; }
main { overflow-wrap: break-word; }
main h1 { font-size: 2.1rem; margin: 0 0 1rem; line-height: 1.2; }
main h2 { margin-top: 2.2rem; border-bottom: 1px solid var(--line); padding-bottom: 0.3rem; }
main h3 { margin-top: 1.6rem; }
main h2 .anchor, main h3 .anchor, main h4 .anchor { opacity: 0; margin-left: 0.4rem; font-weight: 400; color: var(--muted); }
main h2:hover .anchor, main h3:hover .anchor, main h4:hover .anchor { opacity: 1; }
main img { max-width: 100%; }
.table { overflow-x: auto; margin: 1rem 0; -webkit-overflow-scrolling: touch; }
table { border-collapse: collapse; width: 100%; font-size: 0.93rem; }
th, td { border: 1px solid var(--line); padding: 0.4rem 0.6rem; text-align: left; vertical-align: top; }
th { background: var(--side); }
blockquote { margin: 1rem 0; padding: 0.2rem 1rem; border-left: 4px solid var(--accent-2); color: var(--muted); }
hr { border: 0; border-top: 1px solid var(--line); margin: 2rem 0; }
.included .file { display: inline-block; font-family: ui-monospace, Consolas, monospace; font-size: 0.78rem; color: var(--muted); background: var(--side); border: 1px solid var(--line); border-bottom: 0; border-radius: 6px 6px 0 0; padding: 0.15rem 0.6rem; }
.included pre.code { margin-top: 0; border-top-left-radius: 0; }
.toc { float: right; width: 15rem; margin: 0 0 1rem 1.5rem; padding: 0.6rem 0.9rem; border: 1px solid var(--line); border-radius: 8px; background: var(--side); font-size: 0.85rem; }
.toc h4 { margin: 0 0 0.3rem; font-size: 0.72rem; letter-spacing: 0.08em; text-transform: uppercase; color: var(--muted); }
.toc a { display: block; color: var(--fg); padding: 0.1rem 0; }
.toc a.l3 { padding-left: 0.9rem; color: var(--muted); }
.exercise { margin: 1.5rem 0 2rem; padding: 0 0 0 1rem; border-left: 4px solid var(--accent-2); }
.exercise h3 { margin-top: 0; }
.exercise .kind { display: inline-block; font-size: 0.72rem; letter-spacing: 0.06em; text-transform: uppercase; color: var(--muted); margin-left: 0.5rem; }
.exercise details { margin: 0.5rem 0; }
.exercise summary { cursor: pointer; color: var(--accent); }
.exercise label.done { display: inline-block; margin-top: 0.4rem; font-size: 0.9rem; color: var(--muted); cursor: pointer; }
.quiz ol { padding-left: 1.4rem; }
.quiz ol > li { margin-bottom: 0.9rem; }
.quiz ul { list-style: none; padding-left: 0.4rem; margin: 0.3rem 0; }
.quiz ul li { margin: 0.1rem 0; }
.quiz details { margin: 0.2rem 0; }
.quiz summary { cursor: pointer; color: var(--accent); font-size: 0.9rem; }
nav.side a .done { color: var(--accent); margin-left: 0.3rem; font-size: 0.85em; }
.pager { display: flex; justify-content: space-between; margin-top: 3rem; padding-top: 1rem; border-top: 1px solid var(--line); gap: 1rem; }
.pager a { max-width: 48%; }
.pager .label { display: block; font-size: 0.75rem; color: var(--muted); }
footer { margin-top: 3rem; color: var(--muted); font-size: 0.85rem; }
.hero { padding: 1rem 0 2rem; }
.hero h1 { font-size: 2.6rem; }
.hero p.tag { font-size: 1.2rem; color: var(--muted); max-width: 46rem; }
.cards { display: grid; grid-template-columns: repeat(auto-fit, minmax(15rem, 1fr)); gap: 1rem; margin: 1.5rem 0; }
.card { border: 1px solid var(--line); border-radius: 10px; padding: 1rem 1.1rem; background: var(--side); }
.card h3 { margin: 0 0 0.4rem; }
.card p { margin: 0; color: var(--muted); font-size: 0.93rem; }
.two { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 1rem; }
.play-bar { display: flex; align-items: center; gap: 0.5rem; margin: -0.6rem 0 0.8rem; flex-wrap: wrap; }
.play-bar button, .play-guess button { font: inherit; font-size: 0.85rem; padding: 0.25rem 0.9rem; border-radius: 6px; border: 1px solid var(--line); background: var(--side); color: var(--fg); cursor: pointer; }
.play-bar button.play-run { background: var(--accent); border-color: var(--accent); color: var(--bg); }
.play-bar button:disabled { opacity: 0.6; cursor: progress; }
.play-status { font-size: 0.85rem; color: var(--muted); }
pre.code code[contenteditable] { outline: none; display: block; min-height: 1.5em; caret-color: var(--accent); }
pre.code code.edited span { color: inherit; font-weight: inherit; font-style: inherit; }
pre.code:focus-within { border-color: var(--accent); }
.play-out { margin: 0 0 1rem; }
.play-out pre { margin: 0 0 0.4rem; padding: 0.6rem 0.9rem; border-radius: 6px; border: 1px dashed var(--line); background: var(--bg); white-space: pre-wrap; font-size: 0.85em; }
.play-out pre.play-stderr { color: var(--b); }
.play-out pre.play-empty { color: var(--muted); }
.play-verdict { margin: 0.3rem 0; font-weight: 600; }
.play-ok { color: var(--accent-2); }
.play-no { color: var(--b); }
.play-guess { margin: 0 0 0.8rem; }
.quiz ul[data-right] li { cursor: pointer; padding: 0.1rem 0.4rem; border-radius: 4px; }
.quiz ul[data-right] li:hover { background: var(--side); }
.quiz li.q-right { color: var(--accent-2); font-weight: 600; }
.quiz li.q-right::before { content: '\2713  '; }
.quiz li.q-wrong { color: var(--b); text-decoration: line-through; }
.quiz p.says { margin: 0.4rem 0 0.2rem; font-size: 0.85rem; color: var(--muted); }
.play-guess textarea { display: block; width: 100%; font-family: ui-monospace, Consolas, monospace; font-size: 0.85em; padding: 0.5rem 0.7rem; border: 1px solid var(--line); border-radius: 6px; background: var(--code-bg); color: var(--fg); margin-bottom: 0.4rem; }
.menu-toggle, .menu-label { display: none; }
.brand-row { display: flex; align-items: center; justify-content: space-between; }
@media (max-width: 900px) {
  .layout { grid-template-columns: minmax(0, 1fr); }
  nav.side { position: static; height: auto; border-right: 0; border-bottom: 1px solid var(--line); padding-bottom: 0.8rem; }
  nav.side .brand { margin-bottom: 0; }
  .menu-label { display: inline-block; cursor: pointer; padding: 0.3rem 0.8rem; border: 1px solid var(--line); border-radius: 6px; font-size: 0.9rem; color: var(--fg); }
  nav.side .menu { display: none; margin-top: 0.8rem; }
  .menu-toggle:checked ~ .layout nav.side .menu { display: block; }
  nav.side a { padding: 0.45rem 0.6rem; font-size: 1rem; }
  main { padding: 1.2rem 1rem 3rem; }
  main h1 { font-size: 1.75rem; }
  .hero h1 { font-size: 2.1rem; }
  .hero p.tag { font-size: 1.1rem; }
  .toc { float: none; width: auto; margin: 0 0 1rem; }
  .two { grid-template-columns: minmax(0, 1fr); }
  .cards { grid-template-columns: minmax(0, 1fr); }
  pre.code { padding: 0.8rem 0.9rem; font-size: 0.9em; }
  .pager { flex-direction: column; }
  .pager a { max-width: none; }
}