*,*::before,*::after{box-sizing:border-box;margin:0;padding:0}

/* ── DARK THEME (default) ── */
:root,[data-theme="dark"]{
  --bg:#0b0d12;--bg2:#10131a;--bg3:#161b25;--bg4:#1d2334;
  --surface:#1a1f2e;--surface2:#212840;
  --border:#242d45;--border2:#2e3a58;
  --text:#e6e9f4;--text2:#8e97b8;--text3:#4e5a7a;
  --accent:#5b7df8;--accent2:#38c9b9;
  --green:#22d3a0;--green-bg:rgba(34,211,160,.1);--green-bd:rgba(34,211,160,.28);
  --amber:#f5a623;--amber-bg:rgba(245,166,35,.1);--amber-bd:rgba(245,166,35,.28);
  --red:#f06767;--red-bg:rgba(240,103,103,.1);--red-bd:rgba(240,103,103,.28);
  --blue:#5ba4fb;--blue-bg:rgba(91,164,251,.1);--blue-bd:rgba(91,164,251,.28);
  --purple:#b97cf8;--purple-bg:rgba(185,124,248,.1);--purple-bd:rgba(185,124,248,.28);
  --cyan:#34d4e8;--cyan-bg:rgba(52,212,232,.1);--cyan-bd:rgba(52,212,232,.28);
  --shadow:rgba(0,0,0,.4);
  --topbar-bg:rgba(11,13,18,.94);
}

/* ── LIGHT THEME ── */
[data-theme="light"]{
  --bg:#f4f6fb;--bg2:#ffffff;--bg3:#eef1f8;--bg4:#e5eaf5;
  --surface:#ffffff;--surface2:#f0f3fc;
  --border:#d4daf0;--border2:#c2cbea;
  --text:#1a1d2e;--text2:#4a5278;--text3:#8892b4;
  --accent:#4060e8;--accent2:#0fa89a;
  --green:#0fa875;--green-bg:rgba(15,168,117,.08);--green-bd:rgba(15,168,117,.25);
  --amber:#d4820a;--amber-bg:rgba(212,130,10,.08);--amber-bd:rgba(212,130,10,.25);
  --red:#d94040;--red-bg:rgba(217,64,64,.08);--red-bd:rgba(217,64,64,.25);
  --blue:#2e6fe8;--blue-bg:rgba(46,111,232,.08);--blue-bd:rgba(46,111,232,.25);
  --purple:#7b40d6;--purple-bg:rgba(123,64,214,.08);--purple-bd:rgba(123,64,214,.25);
  --cyan:#0a9fb5;--cyan-bg:rgba(10,159,181,.08);--cyan-bd:rgba(10,159,181,.25);
  --shadow:rgba(0,0,0,.1);
  --topbar-bg:rgba(244,246,251,.94);
}

html{scroll-behavior:smooth}
body{background:var(--bg);color:var(--text);font-family:'Inter',sans-serif;font-feature-settings:'cv02','cv03','cv04','liga';-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;font-size:14px;line-height:1.65;min-height:100vh;transition:background .25s,color .25s}
.layout{display:flex;min-height:100vh}

/* SIDEBAR */
.sidebar{width:268px;flex-shrink:0;background:var(--bg2);border-right:1px solid var(--border);position:fixed;top:0;left:0;height:100vh;overflow-y:auto;z-index:100;display:flex;flex-direction:column;scrollbar-width:thin;scrollbar-color:var(--border) transparent;transition:background .25s,border-color .25s}
.sidebar::-webkit-scrollbar{width:4px}.sidebar::-webkit-scrollbar-thumb{background:var(--border)}
.sb-hdr{padding:16px 16px 10px;border-bottom:1px solid var(--border);flex-shrink:0}
.sb-logo{font-family:'Syne',sans-serif;font-size:13.5px;font-weight:800;color:var(--accent)}
.sb-sub{font-size:10px;color:var(--text3);margin-top:2px}
.sb-search{margin:8px 12px;position:relative}
.sb-search input{width:100%;background:var(--bg3);border:1px solid var(--border);border-radius:9px;padding:6px 10px 6px 28px;font-size:12px;color:var(--text);outline:none;font-family:'Inter',sans-serif;transition:all .15s}
.sb-search input::placeholder{color:var(--text3)}.sb-search input:focus{border-color:var(--accent);background:var(--surface)}
.sb-si{position:absolute;left:8px;top:50%;transform:translateY(-50%);color:var(--text3);pointer-events:none}
.sb-grp{padding:6px 0 2px}
.sb-gl{font-size:9px;font-weight:700;letter-spacing:1.1px;text-transform:uppercase;color:var(--text3);padding:0 14px 4px}
.sb-item{display:flex;align-items:center;gap:8px;padding:5px 14px;font-size:12px;color:var(--text2);cursor:pointer;border-left:2px solid transparent;transition:all .12s;user-select:none;line-height:1.3}
.sb-item:hover{background:var(--bg3);color:var(--text)}
.sb-item.active{background:var(--blue-bg);color:var(--blue);border-left-color:var(--blue);font-weight:500}
.sb-item .n{font-family:'JetBrains Mono',monospace;font-size:8.5px;color:var(--text3);min-width:18px;flex-shrink:0}
.sb-item.active .n{color:var(--blue)}

/* MAIN */
.main{margin-left:268px;flex:1;padding:0 36px 80px;max-width:960px}

/* TOPBAR */
.topbar{position:sticky;top:0;background:var(--topbar-bg);backdrop-filter:blur(14px);-webkit-backdrop-filter:blur(14px);border-bottom:1px solid var(--border);padding:8px 0;z-index:50;display:flex;align-items:center;justify-content:space-between;margin-bottom:28px;gap:12px;transition:background .25s,border-color .25s}
.tb-left{display:flex;align-items:center;gap:8px;min-width:0}
.tb-crumb{font-size:10px;color:var(--text3);flex-shrink:0}
.tb-sep{color:var(--text3);font-size:11px;flex-shrink:0}
.tb-title{font-family:'Syne',sans-serif;font-size:14px;font-weight:700;color:var(--text);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}
.tb-right{display:flex;align-items:center;gap:8px;flex-shrink:0}
.tb-tag{font-size:10px;padding:2px 9px;border-radius:20px;background:var(--blue-bg);color:var(--blue);border:1px solid var(--blue-bd);flex-shrink:0}

/* THEME TOGGLE BUTTON */
.theme-btn{display:flex;align-items:center;gap:5px;background:var(--surface);border:1px solid var(--border);border-radius:20px;padding:4px 10px 4px 8px;cursor:pointer;font-size:11px;color:var(--text2);font-family:'Inter',sans-serif;transition:all .15s;flex-shrink:0;white-space:nowrap}
.theme-btn:hover{border-color:var(--accent);color:var(--text)}
.theme-btn .icon{font-size:13px;line-height:1;transition:transform .3s}
[data-theme="light"] .theme-btn .icon{transform:rotate(180deg)}
.theme-btn .lbl{font-size:10.5px;font-weight:500}

/* SECTIONS */
.section{display:none;animation:fadein .18s ease}.section.active{display:block}
@keyframes fadein{from{opacity:0;transform:translateY(4px)}to{opacity:1;transform:translateY(0)}}
.sec-title{font-family:'Syne',sans-serif;font-size:25px;font-weight:800;color:var(--text);margin-bottom:5px;line-height:1.2}
.sec-desc{font-size:13.5px;color:var(--text2);margin-bottom:24px;line-height:1.75;max-width:680px}

/* CARDS */
.card{background:var(--surface);border:1px solid var(--border);border-radius:13px;padding:15px 20px;margin-bottom:13px;transition:background .25s,border-color .25s}
.card-title{font-family:'Syne',sans-serif;font-size:14.5px;font-weight:700;color:var(--text);margin-bottom:7px}
.card-body{font-size:13.5px;color:var(--text2);line-height:1.75}
.card.cb{border-left:3px solid var(--blue)}.card.cg{border-left:3px solid var(--green)}
.card.ca{border-left:3px solid var(--amber)}.card.cr{border-left:3px solid var(--red)}
.card.cp{border-left:3px solid var(--purple)}.card.cc{border-left:3px solid var(--cyan)}

/* GRIDS */
.g2{display:grid;grid-template-columns:1fr 1fr;gap:13px;margin-bottom:13px}
.g3{display:grid;grid-template-columns:1fr 1fr 1fr;gap:11px;margin-bottom:13px}
@media(max-width:620px){.g2,.g3{grid-template-columns:1fr}}

/* BOXES */
.box{border-radius:9px;padding:11px 15px;margin-top:11px}
.box .bl{font-size:9px;font-weight:700;letter-spacing:1.1px;text-transform:uppercase;margin-bottom:5px}
.box p,.box li{font-size:13px;line-height:1.75;color:var(--text2)}
.box.story{background:var(--amber-bg);border-left:3px solid var(--amber-bd)}.box.story .bl{color:var(--amber)}
.box.ideal{background:var(--green-bg);border-left:3px solid var(--green-bd)}.box.ideal .bl{color:var(--green)}
.box.mem{background:var(--bg3);border:1px solid var(--border)}.box.mem .bl{color:var(--text3)}.box.mem p{color:var(--text);font-style:italic}
.box.warn{background:var(--red-bg);border-left:3px solid var(--red-bd)}.box.warn .bl{color:var(--red)}
.box.info{background:var(--blue-bg);border-left:3px solid var(--blue-bd)}.box.info .bl{color:var(--blue)}
.box.tip{background:var(--purple-bg);border-left:3px solid var(--purple-bd)}.box.tip .bl{color:var(--purple)}

/* FORMULA / CODE */
.formula{background:var(--bg);border:1px solid var(--border2);border-radius:9px;padding:12px 16px;font-family:'JetBrains Mono',monospace;font-size:12px;color:var(--accent2);margin:9px 0;overflow-x:auto;line-height:1.9;white-space:pre;transition:background .25s}
[data-theme="light"] .formula{background:var(--bg3);color:var(--accent)}
code{font-family:'JetBrains Mono',monospace;font-size:11px;background:var(--bg3);padding:1px 5px;border-radius:3px;color:var(--accent2);border:1px solid var(--border)}
[data-theme="light"] code{color:var(--accent)}

/* TAGS */
.tag{display:inline-block;padding:2px 9px;border-radius:20px;font-size:10.5px;font-weight:500;margin:2px 3px 2px 0}
.tb{background:var(--blue-bg);color:var(--blue);border:1px solid var(--blue-bd)}
.tg{background:var(--green-bg);color:var(--green);border:1px solid var(--green-bd)}
.ta{background:var(--amber-bg);color:var(--amber);border:1px solid var(--amber-bd)}
.tr{background:var(--red-bg);color:var(--red);border:1px solid var(--red-bd)}
.tp{background:var(--purple-bg);color:var(--purple);border:1px solid var(--purple-bd)}
.tc{background:var(--cyan-bg);color:var(--cyan);border:1px solid var(--cyan-bd)}

/* LISTS */
ul.bul{padding-left:1.15rem}
ul.bul li{font-size:13.5px;color:var(--text2);line-height:1.8;margin-bottom:2px}
ul.bul li strong{color:var(--text);font-weight:500}
ol.num{padding-left:1.25rem}
ol.num li{font-size:13.5px;color:var(--text2);line-height:1.8;margin-bottom:4px}
ol.num li strong{color:var(--text)}

/* TABLES */
.tbl{width:100%;border-collapse:collapse;font-size:13px}
.tbl th{background:var(--bg3);color:var(--text2);font-weight:600;padding:8px 12px;text-align:left;border-bottom:1px solid var(--border);font-size:11px;letter-spacing:.3px;text-transform:uppercase}
.tbl td{padding:8px 12px;color:var(--text2);border-bottom:1px solid var(--border);vertical-align:top;line-height:1.65}
.tbl tr:last-child td{border-bottom:none}.tbl tr:hover td{background:var(--bg3)}
.tbl td strong{color:var(--text);font-weight:500}

/* CONFUSION MATRIX */
.dot{display:inline-block;width:8px;height:8px;border-radius:50%;margin-right:3px;vertical-align:middle}
.dg{background:var(--green)}.da{background:var(--amber)}.dr{background:var(--red)}.db{background:var(--blue)}
.cgrid{display:grid;grid-template-columns:100px 1fr 1fr;gap:1px;background:var(--border);border-radius:9px;overflow:hidden;margin:12px 0;font-size:12.5px}
.ch{background:var(--bg3);color:var(--text2);font-weight:600;font-size:11px;padding:9px 12px;text-align:center}
.cg-cc{background:var(--surface);padding:11px;text-align:center;line-height:1.4}
.ctp{background:var(--green-bg);color:var(--green);font-weight:700}.ctn{background:var(--green-bg);color:var(--green);font-weight:700}
.cfp{background:var(--red-bg);color:var(--red);font-weight:700}.cfn{background:var(--amber-bg);color:var(--amber);font-weight:700}

/* ANIMATIONS */
.anim-wrap{background:var(--bg);border:1px solid var(--border2);border-radius:13px;padding:4px;margin:14px 0;overflow:hidden;transition:background .25s}
[data-theme="light"] .anim-wrap{background:var(--bg3)}
.anim-title{font-size:10px;color:var(--text3);padding:8px 12px 4px;font-weight:700;letter-spacing:.6px;text-transform:uppercase}
.anim-wrap svg{display:block;width:100%}

/* HOME GRID */
.home-grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(180px,1fr));gap:10px;margin-bottom:18px}
.ht{background:var(--surface);border:1px solid var(--border);border-radius:13px;padding:12px 15px;cursor:pointer;transition:all .14s}
.ht:hover{border-color:var(--blue);transform:translateY(-1px);box-shadow:0 4px 16px var(--shadow)}
.ht .hn{font-family:'JetBrains Mono',monospace;font-size:9px;color:var(--text3);margin-bottom:5px}
.ht .hname{font-family:'Syne',sans-serif;font-size:13px;font-weight:700;color:var(--text);line-height:1.3}
.ht .hsub{font-size:11px;color:var(--text3);margin-top:3px;line-height:1.4}
.grp-label{font-size:10px;font-weight:700;letter-spacing:.9px;text-transform:uppercase;color:var(--text3);padding:14px 0 8px}
hr.div{border:none;border-top:1px solid var(--border);margin:18px 0}

/* MOBILE */
.mob-tog{display:none;position:fixed;bottom:18px;right:18px;width:44px;height:44px;background:var(--accent);border-radius:50%;border:none;cursor:pointer;z-index:200;font-size:17px;color:#fff;align-items:center;justify-content:center;box-shadow:0 4px 16px var(--shadow)}
@media(max-width:768px){.sidebar{transform:translateX(-100%);transition:transform .2s}.sidebar.open{transform:translateX(0)}.main{margin-left:0;padding:0 14px 80px}.mob-tog{display:flex}}

/* LIGHT MODE SVG OVERRIDES — bg rects in SVGs */
[data-theme="light"] svg rect[fill="#1a1f2e"]{fill:var(--surface)!important}
[data-theme="light"] svg rect[fill="#212840"]{fill:var(--bg3)!important}
[data-theme="light"] svg rect[fill="#1d2334"]{fill:var(--bg4)!important}
[data-theme="light"] svg text[fill="#4e5a7a"]{fill:var(--text3)!important}
[data-theme="light"] svg text[fill="#8e97b8"]{fill:var(--text2)!important}
[data-theme="light"] svg line[stroke="#2e3a58"]{stroke:var(--border2)!important}
[data-theme="light"] svg line[stroke="#242d45"]{stroke:var(--border)!important}
[data-theme="light"] svg circle[fill="#1a1f2e"]{fill:var(--surface)!important}
/* ─── SIDEBAR COLLAPSE ─────────────────────────────────────── */
.sb-top-controls{display:flex;align-items:center;justify-content:space-between;padding:6px 10px 4px;border-bottom:1px solid var(--border);gap:6px;flex-shrink:0}
.sb-ctrl-btn{background:var(--bg3);border:1px solid var(--border);border-radius:7px;color:var(--text3);font-size:10px;padding:3px 7px;cursor:pointer;font-family:'Inter',sans-serif;transition:all .15s;white-space:nowrap;display:flex;align-items:center;gap:3px}
.sb-ctrl-btn:hover{border-color:var(--accent);color:var(--text)}
.sb-collapse-btn{background:var(--bg3);border:1px solid var(--border);border-radius:7px;color:var(--text3);font-size:11px;width:24px;height:24px;cursor:pointer;display:flex;align-items:center;justify-content:center;transition:all .15s;flex-shrink:0}
.sb-collapse-btn:hover{border-color:var(--accent);color:var(--text)}

/* Collapsed sidebar — icon-only mode */
.sidebar.sb-collapsed{width:44px}
.sidebar.sb-collapsed .sb-sub,
.sidebar.sb-collapsed .sb-search,
.sidebar.sb-collapsed .sb-grp,
.sidebar.sb-collapsed .sb-ctrl-right{display:none}
.sidebar.sb-collapsed .sb-logo{font-size:0;overflow:hidden}
.sidebar.sb-collapsed .sb-logo::after{content:'ML';font-size:11px;font-family:'Syne',sans-serif;font-weight:800;color:var(--accent)}
.sidebar.sb-collapsed .sb-hdr{padding:14px 8px 10px}
.sidebar.sb-collapsed .sb-top-controls{justify-content:center;padding:6px 0}
.sidebar.sb-collapsed .sb-collapse-btn{margin:0 auto}
.main{transition:margin-left .2s}
.sidebar.sb-collapsed ~ .main{margin-left:44px}
@media(max-width:768px){.sidebar.sb-collapsed ~ .main{margin-left:0}}

/* ─── GROUP COLLAPSE ──────────────────────────────────────── */
.sb-gl{display:flex;align-items:center;justify-content:space-between;cursor:pointer;user-select:none;transition:color .12s}
.sb-gl:hover{color:var(--text2)}
.grp-arrow{font-size:9px;color:var(--text3);transition:transform .15s;margin-left:4px;flex-shrink:0}
.sb-grp.grp-collapsed .sb-item{display:none!important}

/* ─── HOME BUTTON IN TOPBAR ──────────────────────────────── */
.tb-home-btn{display:flex;align-items:center;gap:4px;background:var(--surface);border:1px solid var(--border);border-radius:20px;padding:4px 10px 4px 8px;cursor:pointer;font-size:11px;color:var(--text2);font-family:'Inter',sans-serif;transition:all .15s;flex-shrink:0;white-space:nowrap;text-decoration:none}
.tb-home-btn:hover{border-color:var(--accent);color:var(--text)}
.tb-home-btn .icon{font-size:12px;line-height:1}

/* ─── CODEMIRROR 6 IDE-STYLE EDITOR ──────────────────────── */
.cm-editor{font-family:'JetBrains Mono',monospace;font-size:12px;line-height:1.8;outline:none}
.cm-editor.cm-focused{outline:none}
.cm-scroller{overflow:auto;min-height:120px;max-height:420px}
.cm-content{padding:12px 14px;caret-color:var(--accent)}

/* Dark theme tokens */
[data-theme="dark"] .cm-editor{background:#0b0d12;color:#e6e9f4}
[data-theme="dark"] .cm-gutters{background:#10131a;border-right:1px solid #242d45;color:#4e5a7a}
[data-theme="dark"] .cm-activeLineGutter{background:#161b25}
[data-theme="dark"] .cm-activeLine{background:rgba(91,125,248,.06)}
[data-theme="dark"] .cm-selectionBackground,[data-theme="dark"] .cm-editor ::selection{background:rgba(91,125,248,.25)!important}
[data-theme="dark"] .cm-cursor{border-left-color:#5b7df8}
[data-theme="dark"] .cm-matchingBracket{background:rgba(91,125,248,.3);border-radius:2px}

/* Dark syntax tokens */
[data-theme="dark"] .tok-keyword{color:#b97cf8}        /* def, for, if, import, return… */
[data-theme="dark"] .tok-definitionKeyword{color:#b97cf8}
[data-theme="dark"] .tok-comment{color:#4e5a7a;font-style:italic}   /* # comments */
[data-theme="dark"] .tok-string{color:#f5a623}          /* "strings" */
[data-theme="dark"] .tok-number{color:#34d4e8}          /* 42, 3.14 */
[data-theme="dark"] .tok-operator{color:#f06767}        /* =, +, -, *, @ */
[data-theme="dark"] .tok-punctuation{color:#8e97b8}
[data-theme="dark"] .tok-variableName{color:#e6e9f4}
[data-theme="dark"] .tok-variableName.tok-definition{color:#5ba4fb}  /* function args/definitions */
[data-theme="dark"] .tok-function(.tok-variableName){color:#38c9b9}
[data-theme="dark"] .tok-typeName{color:#22d3a0}
[data-theme="dark"] .tok-bool{color:#34d4e8}
[data-theme="dark"] .tok-null{color:#34d4e8}
[data-theme="dark"] .tok-self{color:#f06767}            /* self */
[data-theme="dark"] .tok-propertyName{color:#38c9b9}    /* obj.method */

/* Light theme tokens */
[data-theme="light"] .cm-editor{background:#f4f6fb;color:#1a1d2e}
[data-theme="light"] .cm-gutters{background:#eef1f8;border-right:1px solid #d4daf0;color:#8892b4}
[data-theme="light"] .cm-activeLineGutter{background:#e5eaf5}
[data-theme="light"] .cm-activeLine{background:rgba(64,96,232,.05)}
[data-theme="light"] .cm-selectionBackground,[data-theme="light"] .cm-editor ::selection{background:rgba(64,96,232,.2)!important}
[data-theme="light"] .cm-cursor{border-left-color:#4060e8}
[data-theme="light"] .cm-matchingBracket{background:rgba(64,96,232,.2);border-radius:2px}

[data-theme="light"] .tok-keyword{color:#7b40d6}
[data-theme="light"] .tok-definitionKeyword{color:#7b40d6}
[data-theme="light"] .tok-comment{color:#8892b4;font-style:italic}
[data-theme="light"] .tok-string{color:#d4820a}
[data-theme="light"] .tok-number{color:#0a9fb5}
[data-theme="light"] .tok-operator{color:#d94040}
[data-theme="light"] .tok-punctuation{color:#4a5278}
[data-theme="light"] .tok-variableName{color:#1a1d2e}
[data-theme="light"] .tok-variableName.tok-definition{color:#2e6fe8}
[data-theme="light"] .tok-typeName{color:#0fa875}
[data-theme="light"] .tok-bool{color:#0a9fb5}
[data-theme="light"] .tok-null{color:#0a9fb5}
[data-theme="light"] .tok-self{color:#d94040}
[data-theme="light"] .tok-propertyName{color:#0fa89a}

/* Hide old textarea when CodeMirror is active */
.cm-active-runner .code-input{display:none}
.cm-editor-wrap{border:none}

/* ─── CODE RUNNER (moved from index.html inline style) ───────── */
.code-runner{background:var(--bg);border:1px solid var(--border2);border-radius:var(--r-lg);overflow:hidden;margin:12px 0}
.code-runner-header{display:flex;align-items:center;justify-content:space-between;padding:7px 12px;background:var(--bg3);border-bottom:1px solid var(--border)}
.code-runner-header span{font-size:10px;font-weight:700;letter-spacing:.8px;text-transform:uppercase;color:var(--text3)}
.runner-btns{display:flex;gap:6px}
.run-btn{background:var(--accent);color:#fff;border:none;border-radius:6px;padding:4px 12px;font-size:11.5px;font-family:'Inter',sans-serif;font-weight:600;cursor:pointer;transition:opacity .15s}
.run-btn:hover{opacity:.85}.run-btn:disabled{opacity:.5;cursor:not-allowed}
.reset-btn{background:var(--bg4);color:var(--text2);border:1px solid var(--border);border-radius:6px;padding:4px 10px;font-size:11px;font-family:'Inter',sans-serif;cursor:pointer;transition:all .15s}
.reset-btn:hover{border-color:var(--border2);color:var(--text)}
.code-input{display:block;width:100%;min-height:120px;background:var(--bg);color:var(--accent2);font-family:'JetBrains Mono',monospace;font-size:12px;line-height:1.8;padding:12px 14px;border:none;outline:none;resize:vertical;tab-size:4}
[data-theme="light"] .code-input{color:var(--accent)}
.code-output{display:block;padding:10px 14px;font-family:'JetBrains Mono',monospace;font-size:11.5px;line-height:1.7;min-height:28px;border-top:1px solid var(--border);white-space:pre-wrap;color:var(--text2)}
.code-output.ok{color:var(--green)}
.code-output.err{color:var(--red)}
.colab-link{display:inline-flex;align-items:center;gap:5px;font-size:11px;color:var(--text3);border:1px solid var(--border);border-radius:6px;padding:3px 10px;text-decoration:none;transition:all .15s}
.colab-link:hover{border-color:var(--amber);color:var(--amber)}

/* ─── MATH FORMULA (KaTeX display blocks) ────────────────────── */
.math-formula{padding:10px 16px}
.math-formula .katex-display{margin:2px 0;overflow-x:auto}