/* synsema.dev — a reference manual, set for the screen.
 *
 * The direction: ink on paper. Synsema's syntax already reads like prose, so the page
 * treats prose and code as one continuum instead of two worlds — one superfamily (IBM
 * Plex) in two voices. The SERIF carries what you read; the MONO carries structure and
 * machinery: navigation labels, captions, controls, and the code itself.
 *
 * Color is rationed and each hue means one thing. Ink blue = a link, or where you
 * are. Rubric red = the signpost: which section you are in, which page to start with,
 * and — in code — the `require` line that says what a program may touch. In Synsema
 * permission IS syntax, and it is the one thing worth spotting from across the room.
 * Nothing else gets a color just to look alive.
 *
 * Dark is the default; [data-theme=light] flips it. Both are declared in full.
 */

/* ---- type ---- */
@font-face{font-family:"Plex Serif";font-style:normal;font-weight:400;font-display:swap;src:url(/assets/fonts/plex-serif-400-latin.woff2) format("woff2");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:"Plex Serif";font-style:normal;font-weight:400;font-display:swap;src:url(/assets/fonts/plex-serif-400-latin-ext.woff2) format("woff2");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}
@font-face{font-family:"Plex Serif";font-style:italic;font-weight:400;font-display:swap;src:url(/assets/fonts/plex-serif-400i-latin.woff2) format("woff2");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:"Plex Serif";font-style:italic;font-weight:400;font-display:swap;src:url(/assets/fonts/plex-serif-400i-latin-ext.woff2) format("woff2");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}
@font-face{font-family:"Plex Serif";font-style:normal;font-weight:600;font-display:swap;src:url(/assets/fonts/plex-serif-600-latin.woff2) format("woff2");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:"Plex Serif";font-style:normal;font-weight:600;font-display:swap;src:url(/assets/fonts/plex-serif-600-latin-ext.woff2) format("woff2");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}
@font-face{font-family:"Plex Mono";font-style:normal;font-weight:400;font-display:swap;src:url(/assets/fonts/plex-mono-400-latin.woff2) format("woff2");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:"Plex Mono";font-style:normal;font-weight:400;font-display:swap;src:url(/assets/fonts/plex-mono-400-latin-ext.woff2) format("woff2");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}
@font-face{font-family:"Plex Mono";font-style:normal;font-weight:600;font-display:swap;src:url(/assets/fonts/plex-mono-600-latin.woff2) format("woff2");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:"Plex Mono";font-style:normal;font-weight:600;font-display:swap;src:url(/assets/fonts/plex-mono-600-latin-ext.woff2) format("woff2");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}

/* ---- tokens ---- */
:root,:root[data-theme=dark]{
  --paper:#131412; --paper-2:#1b1c19; --paper-3:#212320;
  --ink:#e9e8df; --ink-2:#9b9c90; --ink-3:#848678;
  --rule:#2b2c27; --rule-2:#3c3d36;
  --accent:#8fb4dc; --accent-bg:#1b2836;
  --rubric:#d98670; --str:#a8bd84;
  --sel:#33465b; --shadow:0 10px 30px rgba(0,0,0,.55);
  --serif:"Plex Serif",Georgia,"Times New Roman",serif;
  --mono:"Plex Mono",ui-monospace,SFMono-Regular,Consolas,"Liberation Mono",monospace;
  --maxw:1320px; --prose:720px; --side:264px; --toc:210px; --head:52px;
  --r:3px;
}
:root[data-theme=light]{
  --paper:#fcfcfa; --paper-2:#f4f3ee; --paper-3:#ecebe3;
  --ink:#1a1b18; --ink-2:#56584f; --ink-3:#6a6c61;
  --rule:#e4e3da; --rule-2:#cfcec2;
  --accent:#21578c; --accent-bg:#e9eef4;
  --rubric:#99372a; --str:#4a6b3f;
  --sel:#cfe0f0; --shadow:0 6px 22px rgba(26,27,24,.13);
}

/* ---- base ---- */
*{box-sizing:border-box}
body{margin:0;background:var(--paper);color:var(--ink);
  font:400 16.5px/1.62 var(--serif);
  -webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility}
::selection{background:var(--sel)}
a{color:var(--accent);text-decoration:none}
a:hover{text-decoration:underline;text-underline-offset:.18em;text-decoration-thickness:1px}
:focus-visible{outline:2px solid var(--accent);outline-offset:2px;border-radius:1px}
hr{border:0;border-top:1px solid var(--rule);margin:2em 0}

/* Keyboard readers get the content without walking 46 sidebar links first. */
.skip{position:absolute;left:-9999px;top:0;z-index:60;
  font:600 12px/1 var(--mono);background:var(--paper);color:var(--ink);
  border:1px solid var(--rule-2);padding:10px 14px}
.skip:focus{left:12px;top:9px;text-decoration:none}

/* ---- header ---- */
.top{display:flex;align-items:center;gap:16px;padding:0 24px;height:var(--head);
  border-bottom:1px solid var(--rule);position:sticky;top:0;z-index:30;background:var(--paper)}
.brand{font:600 14px/1 var(--mono);color:var(--ink);letter-spacing:-.01em;white-space:nowrap}
.brand:hover{text-decoration:none}
.brand span{color:var(--ink-3);font-weight:400;margin-left:.5em}
.ver{font:400 11.5px/1 var(--mono);color:var(--ink-3);letter-spacing:.02em}
.ver-select,.play-select{font:400 11.5px/1 var(--mono);color:var(--ink-2);background:var(--paper);
  border:1px solid var(--rule);border-radius:var(--r);padding:5px 6px;cursor:pointer}
.ver-select:hover,.play-select:hover{border-color:var(--rule-2);color:var(--ink)}

/* EN / ES read as what they are — two words, one of them current. Not two buttons. */
.langs{margin-left:auto;display:flex;gap:14px;align-items:center}
.langs a{font:400 11.5px/1 var(--mono);color:var(--ink-3);letter-spacing:.06em;
  padding-bottom:2px;border-bottom:1px solid transparent}
.langs a:hover{color:var(--ink);text-decoration:none}
.langs a.on{color:var(--ink);border-bottom-color:var(--accent)}

.theme-toggle,.nav-toggle{display:flex;align-items:center;justify-content:center;
  background:none;border:0;color:var(--ink-3);cursor:pointer;padding:6px;
  border-radius:var(--r);line-height:0}
.theme-toggle:hover,.nav-toggle:hover{color:var(--ink);background:var(--paper-2)}
.nav-toggle{display:none;flex:none;margin-left:-6px}

/* ---- search ---- */
.search{position:relative;display:flex;align-items:center;margin-left:8px}
.search-icon{position:absolute;left:9px;top:50%;transform:translateY(-50%);
  color:var(--ink-3);pointer-events:none;display:flex}
.search-input{width:210px;font:400 13px/1 var(--mono);color:var(--ink);background:var(--paper);
  border:1px solid var(--rule);border-radius:var(--r);padding:7px 30px 7px 30px;
  transition:border-color .12s}
.search-input::placeholder{color:var(--ink-3)}
.search-input:focus{outline:none;border-color:var(--rule-2);box-shadow:0 0 0 3px var(--accent-bg)}
.search-key{position:absolute;right:8px;top:50%;transform:translateY(-50%);pointer-events:none;
  font:400 10px/1 var(--mono);color:var(--ink-3);border:1px solid var(--rule);
  border-radius:2px;padding:3px 5px}
.search-input:focus~.search-key,.search-input:not(:placeholder-shown)~.search-key{display:none}
.search-results{position:absolute;top:calc(100% + 7px);left:0;
  width:420px;max-width:min(420px,86vw);max-height:min(70vh,440px);overflow:auto;
  background:var(--paper);border:1px solid var(--rule-2);border-radius:var(--r);
  box-shadow:var(--shadow);padding:5px;z-index:40}
.sr-item{display:block;padding:8px 10px;border-radius:2px;color:var(--ink)}
.sr-item:hover,.sr-item.active{background:var(--paper-2);text-decoration:none}
.sr-title{font:600 14px/1.3 var(--serif);color:var(--ink);display:flex;align-items:baseline;gap:10px}
.sr-group{margin-left:auto;font:400 10px/1 var(--mono);text-transform:uppercase;
  letter-spacing:.09em;color:var(--ink-3);white-space:nowrap}
.sr-desc{font:400 12.5px/1.5 var(--serif);color:var(--ink-2);margin-top:3px;
  overflow:hidden;display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical}
.sr-none{padding:12px;color:var(--ink-2);font:400 13px/1 var(--serif)}

/* ---- layout ---- */
.layout{display:grid;grid-template-columns:var(--side) minmax(0,1fr) var(--toc);
  max-width:var(--maxw);margin:0 auto;align-items:start}
@media(max-width:1180px){.layout{grid-template-columns:var(--side) minmax(0,1fr)}.toc{display:none}}

/* ---- sidebar ---- */
.side{position:sticky;top:var(--head);align-self:start;height:calc(100vh - var(--head));
  overflow-y:auto;overscroll-behavior:contain;border-right:1px solid var(--rule)}
.side-inner{padding:36px 20px 48px}
.side-group{font:400 10.5px/1.35 var(--mono);text-transform:uppercase;letter-spacing:.1em;
  color:var(--ink-3);margin:26px 0 9px 12px}
.side-group:first-child{margin-top:0}
.side ul{list-style:none;margin:0;padding:0;border-left:1px solid var(--rule)}
.side li{margin:0}
/* The 2px marker sits on top of the list's own hairline, so the active page reads as a
   notch in the rule rather than a highlighted box. */
.side a{display:block;font:400 13.5px/1.4 var(--serif);color:var(--ink-2);
  padding:5px 8px 5px 12px;margin-left:-1px;border-left:2px solid transparent}
.side a:hover{color:var(--ink);text-decoration:none}
.side a.active{color:var(--ink);font-weight:600;border-left-color:var(--accent)}
.star{display:inline-block;width:4px;height:4px;border-radius:50%;
  background:var(--rubric);margin-left:7px;vertical-align:.28em;opacity:.85}

/* ---- on this page ---- */
.toc{position:sticky;top:var(--head);align-self:start;max-height:calc(100vh - var(--head));overflow-y:auto}
.toc-inner{padding:36px 22px 48px 6px}
.toc-h{font:400 10.5px/1.35 var(--mono);text-transform:uppercase;letter-spacing:.1em;
  color:var(--ink-3);margin:0 0 10px 12px}
.toc ul{list-style:none;margin:0;padding:0;border-left:1px solid var(--rule)}
.toc a{display:block;font:400 12.5px/1.4 var(--serif);color:var(--ink-2);
  padding:4px 6px 4px 12px;margin-left:-1px;border-left:2px solid transparent}
.toc a:hover{color:var(--ink);text-decoration:none}
.toc a.active{color:var(--ink);border-left-color:var(--accent)}
.toc li.sub a{padding-left:24px;font-size:12px}

/* ---- prose ---- */
.prose{padding:36px 52px 72px;max-width:calc(var(--prose) + 104px);min-width:0}
.eyebrow{font:400 10.5px/1 var(--mono);text-transform:uppercase;letter-spacing:.12em;
  color:var(--rubric);margin:0 0 14px}
.prose h1{font:600 2.05rem/1.18 var(--serif);letter-spacing:-.022em;margin:0 0 .55em}
.prose h2{font:600 1.34rem/1.3 var(--serif);letter-spacing:-.012em;
  margin:2.5em 0 .7em;padding-top:1.5em;border-top:1px solid var(--rule)}
.prose h3{font:600 1.06rem/1.4 var(--serif);margin:2em 0 .5em}
.prose h2,.prose h3{scroll-margin-top:calc(var(--head) + 18px)}
.prose h1+h2{margin-top:1.6em}
.prose p{margin:.95em 0}
.prose .lead{font-size:1.08rem;color:var(--ink-2);margin-bottom:1.6em}
.prose ul{padding-left:1.25em;margin:.9em 0}
.prose li{margin:.34em 0}
.prose li::marker{color:var(--ink-3)}
.prose strong{font-weight:600;color:var(--ink)}
.prose em{font-style:italic}

/* The anchor is a section sign, and it stays out of the way until you look for it. */
.anchor{margin-left:.4em;color:var(--ink-3);font-weight:400;opacity:0;transition:opacity .1s}
h2:hover .anchor,h3:hover .anchor,.anchor:focus-visible{opacity:1;text-decoration:none}

/* Tables read like a manual's: horizontal rules only, no cell grid. */
.prose table{border-collapse:collapse;margin:1.5em 0;width:100%;
  display:block;overflow-x:auto;font-size:.93em}
.prose th,.prose td{padding:9px 16px 9px 0;text-align:left;vertical-align:top;
  border-bottom:1px solid var(--rule)}
.prose th{font:400 10.5px/1.4 var(--mono);text-transform:uppercase;letter-spacing:.08em;
  color:var(--ink-3);border-bottom:1px solid var(--rule-2);white-space:nowrap;padding-bottom:7px}
.prose tr:last-child td{border-bottom:0}

/* An aside, not a pull quote: the reader is being handed a side note. */
.prose blockquote{margin:1.5em 0;padding:.9em 1.2em;background:var(--paper-2);
  border-left:2px solid var(--accent);color:var(--ink-2)}
.prose blockquote p:first-child{margin-top:0}
.prose blockquote p:last-child{margin-bottom:0}
.prose blockquote code,.prose blockquote strong{color:var(--ink)}

/* ---- code ---- */
/* A mono word inside serif prose is already a hard edge. Boxing every inline snippet
   turns a paragraph of rules into a row of buttons, so the tint carries it alone —
   and in a heading, nothing does. */
.prose code{font:400 .86em/1.5 var(--mono);background:var(--paper-2);
  border-radius:2px;padding:.08em .3em;color:var(--ink)}
.prose h1 code,.prose h2 code,.prose h3 code{background:none;padding:0;font-size:.8em;color:inherit}
.prose pre{position:relative;background:var(--paper-2);border:1px solid var(--rule);
  border-radius:var(--r);padding:16px 18px;overflow:auto;margin:1.4em 0}
.prose pre code{background:none;border:0;padding:0;font-size:13.5px;line-height:1.62}
.prose a code{color:inherit}

/* Examples are whole files, and they say so: the caption is the filename. */
figure.example{margin:1.5em 0;border:1px solid var(--rule);border-radius:var(--r);overflow:hidden}
figure.example figcaption{font:400 11px/1 var(--mono);color:var(--ink-3);letter-spacing:.05em;
  background:var(--paper-3);padding:9px 16px;border-bottom:1px solid var(--rule)}
figure.example pre{border:0;border-radius:0;margin:0;background:var(--paper-2)}

/* Minimal highlighting: comments recede, strings separate data from logic, the
   capability line is rubric, tests are ink blue. Keywords carry weight, not hue. */
.tok-c{color:var(--ink-3)}
.tok-s{color:var(--str)}
.tok-k{font-weight:600}
.tok-t{color:var(--accent)}
.tok-r{color:var(--rubric);font-weight:600}
.tok-r .tok-k,.tok-r .tok-t{color:inherit;font-weight:inherit}

.copy{position:absolute;top:9px;right:9px;font:400 10px/1 var(--mono);
  text-transform:uppercase;letter-spacing:.09em;color:var(--ink-3);
  background:var(--paper);border:1px solid var(--rule);border-radius:2px;
  padding:5px 8px;cursor:pointer;opacity:0;transition:opacity .12s}
pre:hover .copy,.copy:focus-visible{opacity:1}
.copy:hover{color:var(--ink);border-color:var(--rule-2)}

/* ---- runner ---- */
figure.example code[contenteditable]{outline:none;display:block}
figure.example code[contenteditable]:focus{background:var(--paper-3)}
.run-bar{display:flex;gap:8px;align-items:center;padding:10px 16px;
  background:var(--paper-3);border-top:1px solid var(--rule)}
.run-btn{font:600 10.5px/1 var(--mono);text-transform:uppercase;letter-spacing:.09em;
  color:var(--ink-2);background:none;border:1px solid var(--rule-2);border-radius:2px;
  padding:6px 12px;cursor:pointer}
.run-btn:hover{color:var(--ink);border-color:var(--ink-3)}
.run-btn.primary{color:var(--paper);background:var(--ink);border-color:var(--ink)}
.run-btn.primary:hover{opacity:.85;color:var(--paper)}
.run-btn:disabled{opacity:.45;cursor:default}
.run-hint{margin-left:auto;font:400 10.5px/1 var(--mono);color:var(--ink-3);letter-spacing:.03em}
.run-output{margin:0;border:0;border-top:1px solid var(--rule);border-radius:0;
  background:var(--paper-2);padding:13px 16px;
  font:400 12.5px/1.6 var(--mono);white-space:pre-wrap;max-height:280px;overflow:auto}
.run-output.err{color:var(--rubric)}

/* ---- pager ---- */
.pager{display:flex;gap:16px;margin-top:4em;padding-top:1.6em;border-top:1px solid var(--rule)}
.pager a{flex:1 1 0;min-width:0;display:block;padding:14px 16px;
  border:1px solid var(--rule);border-radius:var(--r);color:var(--ink)}
.pager a:hover{border-color:var(--rule-2);background:var(--paper-2);text-decoration:none}
.pager span{display:block;font:400 10.5px/1 var(--mono);text-transform:uppercase;
  letter-spacing:.1em;color:var(--ink-3);margin-bottom:7px}
.pager b{font:600 15px/1.35 var(--serif);display:block}
.pager-next{text-align:right}
.pager-prev span::before{content:"← "}
.pager-next span::after{content:" →"}
.pager-next:only-child{margin-left:auto;flex:0 1 50%}

/* ---- version index ---- */
/* Columns, not a grid: the sections are wildly uneven (5 pages here, 12 there) and a
   grid would pad every short one out to the tallest in its row. */
.index-grid{columns:3 200px;column-gap:40px;margin-top:2.2em}
.index-grid section{break-inside:avoid;display:inline-block;width:100%}
.index-grid h2{font:400 10.5px/1.35 var(--mono);text-transform:uppercase;letter-spacing:.1em;
  color:var(--ink-3);margin:0 0 10px;padding:0;border:0}
.index-grid ul{list-style:none;margin:0 0 22px;padding:0}
.index-grid li{margin:0}
.index-grid a{display:block;font-size:14px;color:var(--ink-2);padding:3px 0}
.index-grid a:hover{color:var(--ink);text-decoration:none}

/* ---- footer ---- */
.foot{max-width:var(--maxw);margin:0 auto;padding:22px 52px 40px;
  border-top:1px solid var(--rule);display:flex;flex-wrap:wrap;gap:8px 28px;
  font:400 11.5px/1.6 var(--mono);color:var(--ink-3)}
.foot p{margin:0}
.foot p:last-child{margin-left:auto}
.foot code{font-size:11px;color:var(--ink-2)}
.foot a{color:var(--ink-2)}

/* ---- playground (/play) ----
   The docs chrome around a two-pane editor. Same tokens, same controls (.ver-select,
   .run-btn, .run-hint) the snippet runner already uses, so it reads as one site. */
.play{max-width:var(--maxw);margin:0 auto;padding:28px 52px 40px;min-width:0}
.play-head{max-width:var(--prose)}
.play-head h1{font:600 2.05rem/1.18 var(--serif);letter-spacing:-.022em;margin:0 0 .45em}
.play-head .lead{font-size:1.02rem;color:var(--ink-2);margin:0 0 1.6em}
.play-head .lead code{font:400 .86em/1.5 var(--mono);background:var(--paper-2);
  border:1px solid var(--rule);border-radius:2px;padding:.08em .35em;color:var(--ink)}
.play-grid{display:grid;grid-template-columns:minmax(0,1.15fr) minmax(0,1fr);gap:16px;
  height:calc(100vh - var(--head) - 260px);min-height:440px}
.play-pane{display:flex;flex-direction:column;min-width:0;min-height:0;
  border:1px solid var(--rule);border-radius:var(--r);background:var(--paper-2);overflow:hidden}
.play-bar{display:flex;flex-wrap:wrap;gap:8px 10px;align-items:center;padding:8px 12px;
  background:var(--paper-3);border-bottom:1px solid var(--rule);
  font:400 11px/1 var(--mono);color:var(--ink-3);letter-spacing:.05em}
.play-bar .sp{flex:1}
.play-file{color:var(--ink-2)}
.play-ceiling{display:flex;align-items:center;gap:6px}
.play-bar .play-select{max-width:220px;text-overflow:ellipsis}
.play-bar kbd{font:400 10px/1 var(--mono);border:1px solid var(--rule-2);border-radius:2px;padding:2px 4px}
.play-status{color:var(--ink-2);letter-spacing:.03em}
.play-status.err{color:var(--rubric)}
.play-src{flex:1;min-height:0;width:100%;margin:0;padding:14px 16px;border:0;resize:none;
  background:var(--paper-2);color:var(--ink);font:400 13.5px/1.62 var(--mono);
  white-space:pre;overflow:auto;tab-size:4}
.play-src:focus{outline:none;background:var(--paper)}
.play-out{position:relative;flex:1;min-height:0;margin:0;padding:14px 16px;border:0;
  background:var(--paper-2);color:var(--ink);font:400 13px/1.62 var(--mono);
  white-space:pre-wrap;overflow:auto}
.play-out .err{color:var(--rubric)}
.play-audit{border-top:1px solid var(--rule);padding:9px 14px;
  font:400 11px/1.6 var(--mono);color:var(--ink-3);max-height:7rem;overflow:auto}
.play-audit:empty{display:none}
.play-audit b{color:var(--ink);font-weight:600}
.play-audit .muted{color:var(--ink-3)}
@media(max-width:1180px){.play{padding:28px 44px 40px}}
@media(max-width:900px){
  .play{padding:24px 22px 40px}
  .play-grid{grid-template-columns:minmax(0,1fr);height:auto}
  .play-pane{min-height:320px}
  .play-src{min-height:300px}
}

/* ---- responsive ---- */
@media(max-width:1180px){.prose{padding:36px 44px 72px}.foot{padding-left:44px;padding-right:44px}}
@media(max-width:900px){
  /* minmax(0,…): long code lines scroll inside their <pre> instead of widening the page */
  .layout{grid-template-columns:minmax(0,1fr)}
  .nav-toggle{display:flex}
  .side{position:static;height:auto;border-right:0;border-bottom:1px solid var(--rule)}
  /* With JS the sidebar collapses behind the hamburger; without JS it stays inline. */
  html[data-js] .side{display:none}
  body.nav-open .side{display:block;border-bottom:0}
  body.nav-open .prose,body.nav-open .foot{display:none}
  .prose{padding:28px 22px 56px}
  .foot{padding:20px 22px 32px}
  .pager{flex-direction:column}
  .pager-next:only-child{flex:1 1 auto}
}
@media(max-width:660px){
  .top{gap:10px;padding:8px 14px;flex-wrap:wrap;height:auto;min-height:var(--head);row-gap:8px}
  .search{order:9;flex-basis:100%;margin-left:0}
  .search-input{width:100%}
  .search-results{left:0;right:0;width:auto}
  .prose h1{font-size:1.72rem}
  .side{max-height:none}
}

/* ---- quality floor ---- */
@media(prefers-reduced-motion:no-preference){html{scroll-behavior:smooth}}
@media(prefers-reduced-motion:reduce){*{transition:none!important;animation:none!important}}

@media print{
  .top,.side,.toc,.pager,.copy,.run-bar,.skip,.play-bar{display:none}
  .layout{display:block;max-width:none}
  .prose{padding:0;max-width:none}
  body{background:#fff;color:#000;font-size:11pt}
  .prose pre,figure.example{border:1px solid #ccc;background:#fafafa}
  .prose a::after{content:" (" attr(href) ")";font-size:9pt;color:#555}
}