/* minikotlin Library — supported stdlib areas, each with a self-contained,
   editable + runnable mini playground. Same "Ledger" theme as the landing.
   Zero external deps: the editor is a textarea with a lexer-highlight layer
   behind it, run by our own in-browser compiler. */

:root {
  --paper:#f4f1ea; --paper-2:#ece7dc; --panel:#fbfaf6;
  --ink:#1b1916; --ink-soft:#4b463e; --ink-faint:#857d6e;
  --line:#dcd6c8; --line-strong:#c2baa8;
  --accent:#bb4a18; --accent-deep:#933810;
  --term-bg:#16140f; --term-fg:#e9e3d4; --term-faint:#857f70;
  --term-prompt:#9aa86a; --term-ok:#d39a3a; --term-err:#e06a52;
  --kw:#bb4a18; --type:#2c6354; --str:#766325; --num:#7d4576; --fn:#2a4d8f; --com:#9a9484;
  --mono:"JetBrains Mono",ui-monospace,"SF Mono","Cascadia Code",Menlo,Consolas,monospace;
  --ui:-apple-system,BlinkMacSystemFont,"Segoe UI",Inter,Roboto,Helvetica,Arial,sans-serif;
  --serif:"Iowan Old Style","Palatino Linotype",Palatino,"Book Antiqua",Georgia,serif;
  --b1:8px;--b2:16px;--b3:24px;--b4:32px;--b5:48px;--b6:64px;--b7:96px;
}
*{box-sizing:border-box}
html,body{margin:0}
body{background:var(--paper);color:var(--ink);font-family:var(--ui);font-size:16px;line-height:1.55;-webkit-font-smoothing:antialiased}
a{color:inherit}
::selection{background:var(--accent);color:#fff}
:focus-visible{outline:2px solid var(--accent);outline-offset:3px;border-radius:2px}
.wrap{max-width:1080px;margin:0 auto;padding:0 28px}

/* top bar (mirrors the landing) */
header.top{position:sticky;top:0;z-index:20;background:color-mix(in srgb,var(--paper) 90%,transparent);backdrop-filter:saturate(1.05) blur(8px);border-bottom:1px solid var(--line)}
.top .wrap{display:flex;align-items:center;gap:18px;height:60px}
.brand{display:flex;align-items:center;gap:10px;text-decoration:none;font-weight:600}
.brand img{width:26px;height:26px;display:block}
.brand .name{font-size:17px;letter-spacing:-.01em}
.brand .name .mini{color:var(--ink-faint);font-weight:500}
.brand .name .core{color:var(--ink)}
.brand .crumb{font-family:var(--mono);font-size:13px;color:var(--ink-faint);margin-left:2px}
.brand .crumb::before{content:"/";margin-right:9px;color:var(--line-strong)}
.nav{margin-left:auto;display:flex;align-items:center;gap:24px}
.nav a:not(.btn){text-decoration:none;color:var(--ink-soft);font-family:var(--mono);font-size:14px;border-bottom:1px solid transparent;padding-bottom:2px}
.nav a:not(.btn):hover{color:var(--accent);border-bottom-color:var(--accent)}
.btn{display:inline-flex;align-items:center;gap:8px;font-family:var(--ui);font-weight:600;font-size:14px;text-decoration:none;border-radius:6px;padding:9px 15px;border:1px solid var(--accent);background:var(--accent);color:#fff;cursor:pointer}
.btn:hover{background:var(--accent-deep);border-color:var(--accent-deep)}
@media(max-width:760px){.nav a:not(.btn){display:none}}

/* hero */
.lib-hero{padding:var(--b6) 0 var(--b4);border-bottom:1px solid var(--line)}
.eyebrow{display:inline-flex;align-items:center;gap:9px;font-family:var(--mono);font-size:12px;letter-spacing:.04em;color:var(--ink-faint);margin-bottom:var(--b2)}
.eyebrow .dot{width:6px;height:6px;border-radius:50%;background:var(--accent)}
.lib-hero h1{font-family:var(--serif);font-weight:600;letter-spacing:-.02em;font-size:clamp(32px,4.4vw,50px);line-height:1.04;margin:0 0 var(--b2)}
.lib-hero h1 em{font-style:italic;color:var(--accent)}
.lib-hero p{font-size:17.5px;color:var(--ink-soft);max-width:60ch;margin:0}
.lib-hero p strong{color:var(--ink);font-weight:600}
.lib-hero code{font-family:var(--mono);font-size:.88em;color:var(--ink)}

/* category index chips */
.lib-index{display:flex;flex-wrap:wrap;gap:8px;margin-top:var(--b3)}
.lib-index a{font-family:var(--mono);font-size:12.5px;color:var(--ink-soft);text-decoration:none;padding:5px 11px;border:1px solid var(--line-strong);border-radius:20px;background:var(--panel)}
.lib-index a:hover{border-color:var(--accent);color:var(--accent)}

/* sections */
#cards{padding:var(--b5) 0 var(--b7)}
.card{padding:var(--b5) 0;border-bottom:1px solid var(--line);scroll-margin-top:78px}
.card:last-child{border-bottom:0}
.card-head{display:flex;align-items:baseline;gap:14px;flex-wrap:wrap;margin-bottom:6px}
.card-head h2{font-family:var(--serif);font-weight:600;font-size:clamp(22px,2.6vw,29px);letter-spacing:-.015em;margin:0}
.card-head .pkg{font-family:var(--mono);font-size:12px;color:var(--accent);text-decoration:none;border-bottom:1px solid transparent}
.card-head .pkg:hover{border-bottom-color:var(--accent)}
.card-head .pkg::after{content:"↗";margin-left:3px;font-size:10px;opacity:.7}
.card .blurb{color:var(--ink-soft);font-size:15px;margin:0 0 var(--b3);max-width:66ch}
.card .blurb code{font-family:var(--mono);font-size:12.5px;color:var(--ink);background:var(--paper-2);padding:1px 5px;border-radius:4px}

/* native-verified "supported surface" chips */
.surface{display:flex;flex-wrap:wrap;gap:6px;align-items:center;margin:0 0 var(--b3)}
.surface-label{font-family:var(--mono);font-size:10px;letter-spacing:.07em;text-transform:uppercase;color:var(--accent);margin-right:5px;display:inline-flex;align-items:center;gap:5px}
.surface-label::before{content:"";width:6px;height:6px;border-radius:50%;background:var(--accent)}
.chip{font-family:var(--mono);font-size:11.5px;color:var(--ink-soft);background:var(--panel);border:1px solid var(--line-strong);border-radius:5px;padding:2px 7px;white-space:nowrap;line-height:1.4}
.chip:hover{border-color:var(--accent);color:var(--accent)}

/* the mini playground */
.codelet{border:1px solid var(--line-strong);border-radius:9px;overflow:hidden;background:var(--panel);box-shadow:0 1px 0 rgba(255,255,255,.6) inset,0 14px 34px -28px rgba(40,28,12,.45)}
.cl-bar{display:flex;align-items:center;gap:9px;padding:8px 12px;background:var(--paper-2);border-bottom:1px solid var(--line);font-family:var(--mono);font-size:11.5px;color:var(--ink-faint)}
.cl-bar .file{color:var(--ink-soft)}
.cl-bar .hint{margin-left:auto;color:var(--line-strong);font-size:10.5px;letter-spacing:.02em}
.cl-bar .run{display:inline-flex;align-items:center;gap:6px;background:var(--accent);color:#fff;border:0;border-radius:5px;padding:5px 12px;font-family:var(--mono);font-size:11px;font-weight:600;letter-spacing:.06em;cursor:pointer}
.cl-bar .run:hover:not(:disabled){background:var(--accent-deep)}
.cl-bar .run:disabled{opacity:.55;cursor:default}
.cl-bar .run svg{width:9px;height:9px}

/* Monaco host — one small editor per codelet (the theme paints the bg) */
.cl-host{background:var(--panel);min-height:44px}
.cl-host .monaco-editor,.cl-host .monaco-editor .margin{background:var(--panel)}

/* console */
.cl-out{background:var(--term-bg);color:var(--term-fg);font-family:var(--mono);font-size:12px;line-height:1.7;padding:0;max-height:240px;overflow:auto;display:none}
.cl-out.show{display:block}
.cl-out .cl-status{display:flex;align-items:center;gap:8px;padding:6px 14px;border-bottom:1px solid rgba(255,255,255,.06);color:var(--term-faint);font-size:11px}
.cl-out .cl-status .arrow{color:var(--term-prompt)}
.cl-out .cl-status .ok{color:var(--term-ok)}
.cl-out .cl-status .err{color:var(--term-err)}
.cl-out pre{margin:0;padding:10px 14px;white-space:pre-wrap;word-break:break-word;color:var(--term-fg)}
.cl-out pre.err{color:var(--term-err)}
.cl-out .caret{display:inline-block;width:7px;height:13px;background:var(--accent);vertical-align:-2px;margin-left:1px;animation:blink 1.1s steps(1) infinite}
@keyframes blink{50%{opacity:0}}

/* footer */
footer{padding:var(--b5) 0 var(--b6);border-top:1px solid var(--line);margin-top:var(--b4)}
footer .wrap{display:flex;flex-wrap:wrap;gap:var(--b3);justify-content:space-between;align-items:center}
footer .credit{font-family:var(--mono);font-size:12.5px;color:var(--ink-faint)}
footer .credit a{color:var(--accent);text-decoration:none;border-bottom:1px solid transparent}
footer .credit a:hover{border-bottom-color:var(--accent)}
footer .meta{font-family:var(--mono);font-size:12px;color:var(--ink-faint)}

@media(prefers-reduced-motion:reduce){*{animation:none!important;transition:none!important}.caret{opacity:1}}