/* SimulationLab site: one deliberate dark world (every figure in the repo is a dark-ground render). */
:root{--ground:#0b0e13;--surface:#11161f;--line:#232b38;--ink:#e6e9ef;--soft:#b9c1ce;--muted:#8d97a8;--brass:#c9a227;
--brass-soft:rgba(201,162,39,.12);--ok:#5cc08f;--ok-soft:rgba(92,192,143,.1);--link:#e2c35a;
--display:"Archivo","Arial Narrow",system-ui,sans-serif;--body:"IBM Plex Sans",system-ui,-apple-system,"Segoe UI",sans-serif;
--mono:"IBM Plex Mono",ui-monospace,"Cascadia Mono",Consolas,monospace;color-scheme:dark}
*{box-sizing:border-box}
body{background:var(--ground);color:var(--ink);font:16px/1.65 var(--body);margin:0}
.wrap{max-width:1160px;margin:0 auto;padding-inline:24px}
@media (max-width:560px){.wrap{padding-inline:16px}}
a{color:inherit}
a:focus-visible,summary:focus-visible{outline:2px solid var(--brass);outline-offset:3px;border-radius:4px}
img,video{max-width:100%}
/* ---------- home */
.home-wrap{padding-block:56px 40px}
.hero{display:grid;grid-template-columns:minmax(0,1.25fr) minmax(0,1fr);gap:40px;align-items:end}
@media (max-width:860px){.hero{grid-template-columns:1fr;gap:28px}}
.eyebrow{font:600 12px/1 var(--mono);letter-spacing:.18em;text-transform:uppercase;color:var(--brass)}
h1{font-family:var(--display);font-stretch:125%;font-weight:800;font-size:clamp(38px,6.2vw,72px);line-height:.98;letter-spacing:-.02em;margin:14px 0 18px;text-wrap:balance}
h1 span{color:var(--brass)}
.thesis{color:var(--soft);max-width:62ch;margin:0}
.thesis b{color:var(--ink);font-weight:600}
.links{display:flex;flex-wrap:wrap;gap:10px;margin:18px 0 0}
.links a{font:600 13px var(--body);text-decoration:none;border:1px solid var(--line);border-radius:9px;padding:7px 12px;background:var(--surface)}
.links a:hover{border-color:#3a4760}
figure.stack{margin:0;background:var(--surface);border:1px solid var(--line);border-radius:14px;padding:18px 20px 16px}
figure.stack figcaption{font:600 12px var(--mono);letter-spacing:.08em;text-transform:uppercase;color:var(--muted);margin-bottom:12px}
.bars{display:grid;grid-template-columns:3.2em 1fr 2.4em;gap:5px 10px;align-items:center;font:12px var(--mono);font-variant-numeric:tabular-nums}
.bars .lv{color:var(--muted)}.bars .n{text-align:right}
.bars .track{height:9px;background:#1a202b;border-radius:5px;overflow:hidden}
.bars .fill{display:block;height:100%;background:linear-gradient(90deg,#7d6a2a,var(--brass));border-radius:5px}
.stack small{display:block;color:var(--muted);font-size:12px;line-height:1.4;margin-top:10px}
.ladder{list-style:none;margin:64px 0 0;padding:0}
.rung{display:grid;grid-template-columns:72px minmax(0,1.1fr) minmax(0,1fr);gap:0 28px;position:relative;padding-block:0 40px}
.rung::before{content:"";position:absolute;left:35px;top:44px;bottom:0;width:2px;background:var(--line)}
.rung:last-child::before{display:none}
.num{font:600 15px/1 var(--mono);color:var(--brass);width:72px;height:44px;display:flex;align-items:center;justify-content:center;
border:1px solid var(--line);border-radius:10px;background:var(--surface);position:relative;z-index:1}
.shot{display:block;border-radius:12px;overflow:hidden;border:1px solid var(--line);background:#05070b;align-self:start;transition:border-color .15s}
.shot:hover{border-color:var(--brass)}
.shot img{display:block;width:100%;height:auto}
.txt{min-width:0}
.field,.kicker{font:600 11.5px var(--mono);letter-spacing:.14em;text-transform:uppercase;color:var(--muted)}
.rung h2{font-family:var(--display);font-stretch:112%;font-weight:700;font-size:26px;line-height:1.1;margin:6px 0 4px;text-wrap:balance}
.rung h2 a{text-decoration:none}.rung h2 a:hover{color:var(--link)}
.para{color:var(--brass);font-size:14px;font-weight:500}
.rung p{color:var(--soft);margin:10px 0 12px}
.tools{display:flex;flex-wrap:wrap;gap:6px}
.tools span{font:600 12px var(--mono);padding:3px 8px;border-radius:6px;background:var(--brass-soft);color:var(--brass)}
.check{margin-top:12px;display:grid;grid-template-columns:auto 1fr;gap:8px;align-items:start;font-size:13.5px;line-height:1.45;
background:var(--ok-soft);border:1px solid rgba(92,192,143,.25);border-radius:9px;padding:9px 11px}
.check b{font:600 11px var(--mono);letter-spacing:.08em;color:var(--ok);padding-top:2px}
.acts{display:flex;flex-wrap:wrap;align-items:center;gap:10px 14px;margin-top:14px}
.open,.go{text-decoration:none;font:600 14px var(--body);padding:9px 14px;border-radius:9px}
.open{background:var(--brass);color:#14110a}.open:hover,.go:hover{filter:brightness(1.08)}
.go{border:1px solid var(--brass);color:var(--brass)}
.sub{font:13px var(--mono);color:var(--muted)}.sub:hover{color:var(--ink)}
@media (max-width:860px){.rung{grid-template-columns:52px minmax(0,1fr);gap:14px 16px}.rung::before{left:25px}.num{width:52px}.shot,.txt{grid-column:2}}
/* ---------- level pages */
.bar{position:sticky;top:0;z-index:5;background:rgba(11,14,19,.9);backdrop-filter:blur(10px);border-bottom:1px solid var(--line)}
.bar-in{display:flex;align-items:center;justify-content:space-between;gap:12px;min-height:54px;flex-wrap:wrap}
.home{font:600 13px var(--mono);letter-spacing:.06em;text-transform:uppercase;color:var(--brass);text-decoration:none}
.home::before{content:"← "}
.jump{display:flex;gap:14px;align-items:center;flex-wrap:wrap;font-size:14px}
.jump a{text-decoration:none;color:var(--soft)}.jump a:hover{color:var(--ink)}
.jump .go{padding:6px 11px;font-size:13px;color:var(--brass)}
.doc{padding-block:32px 48px}
.check.top{max-width:78ch;margin:12px 0 28px}
.md{max-width:78ch}
.md h1{font-size:clamp(30px,4.6vw,48px);margin:0 0 14px;font-stretch:118%}
.md h2,.sec{font-family:var(--display);font-stretch:112%;font-weight:700;font-size:25px;line-height:1.2;margin:44px 0 12px;
padding-top:14px;border-top:1px solid var(--line);text-wrap:balance}
.md h3{font-size:19px;margin:28px 0 8px}.md h4{font-size:16px;margin:22px 0 6px}
.md p,.md li{color:#d3d8e1}
.md a{color:var(--link)}
.md strong{color:#fff}
.md img{display:block;border-radius:10px;border:1px solid var(--line);margin:16px 0;background:#05070b}
.md video{display:block;width:100%;border-radius:10px;border:1px solid var(--line);margin:16px 0;background:#000}
.md blockquote{margin:16px 0;padding:8px 16px;border-left:3px solid var(--brass);background:var(--surface);border-radius:0 8px 8px 0;color:var(--soft)}
.md code{font:0.88em var(--mono);background:#161c27;border:1px solid #222a37;padding:1px 5px;border-radius:5px}
.md pre{background:#0d1117;border:1px solid var(--line);border-radius:10px;padding:14px 16px;overflow-x:auto;line-height:1.5}
.md pre code{background:none;border:0;padding:0;font-size:13px}
.tw{overflow-x:auto;margin:16px 0;border:1px solid var(--line);border-radius:10px}
.md table{border-collapse:collapse;width:100%;font-size:14px;font-variant-numeric:tabular-nums}
.md th,.md td{padding:8px 12px;border-bottom:1px solid var(--line);text-align:left;vertical-align:top}
.md th{background:var(--surface);font-weight:600;color:var(--ink)}
.md tr:last-child td{border-bottom:0}
.md hr{border:0;border-top:1px solid var(--line);margin:32px 0}
.katex-display{overflow-x:auto;overflow-y:hidden;padding:4px 0}
.gallery{display:grid;grid-template-columns:repeat(auto-fill,minmax(300px,1fr));gap:16px}
.gallery figure{margin:0;background:var(--surface);border:1px solid var(--line);border-radius:12px;overflow:hidden}
.gallery figure.wide{grid-column:1/-1}
.gallery img,.gallery video{display:block;width:100%;height:auto;background:#05070b}
.gallery figcaption{font:12px var(--mono);color:var(--muted);padding:8px 12px}
.chips{display:flex;flex-wrap:wrap;gap:8px;margin-top:14px}
.chip{font:13px var(--mono);text-decoration:none;border:1px solid var(--line);border-radius:8px;padding:6px 10px;background:var(--surface)}
.chip span{color:var(--muted)}
#code details{border:1px solid var(--line);border-radius:10px;margin:10px 0;background:#0d1117;overflow:hidden}
#code summary{cursor:pointer;padding:10px 14px;display:flex;justify-content:space-between;gap:12px;background:var(--surface)}
#code .fn{font:600 14px var(--mono)}#code .meta{font:12px var(--mono);color:var(--muted)}
#code .hl{margin:0}#code .hl pre{margin:0;padding:14px 16px;overflow-x:auto;font:12.5px/1.5 var(--mono)}
.pager{display:flex;justify-content:space-between;gap:16px;margin-top:48px;padding-top:18px;border-top:1px solid var(--line);flex-wrap:wrap}
.pager a{text-decoration:none;color:var(--link);font-weight:600}
.site-foot{color:var(--muted);font-size:13px;padding-block:20px 36px;border-top:1px solid var(--line)}
@media (prefers-reduced-motion:reduce){*{transition:none!important}}
pre { line-height: 125%; }
td.linenos .normal { color: #6e7681; background-color: #0d1117; padding-left: 5px; padding-right: 5px; }
span.linenos { color: #6e7681; background-color: #0d1117; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #e6edf3; background-color: #6e7681; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #e6edf3; background-color: #6e7681; padding-left: 5px; padding-right: 5px; }
.hl .hll { background-color: #6e7681 }
.hl { background: #0d1117; color: #E6EDF3 }
.hl .c { color: #8B949E; font-style: italic } /* Comment */
.hl .err { color: #F85149 } /* Error */
.hl .esc { color: #E6EDF3 } /* Escape */
.hl .g { color: #E6EDF3 } /* Generic */
.hl .k { color: #FF7B72 } /* Keyword */
.hl .l { color: #A5D6FF } /* Literal */
.hl .n { color: #E6EDF3 } /* Name */
.hl .o { color: #FF7B72; font-weight: bold } /* Operator */
.hl .x { color: #E6EDF3 } /* Other */
.hl .p { color: #E6EDF3 } /* Punctuation */
.hl .ch { color: #8B949E; font-style: italic } /* Comment.Hashbang */
.hl .cm { color: #8B949E; font-style: italic } /* Comment.Multiline */
.hl .cp { color: #8B949E; font-weight: bold; font-style: italic } /* Comment.Preproc */
.hl .cpf { color: #8B949E; font-style: italic } /* Comment.PreprocFile */
.hl .c1 { color: #8B949E; font-style: italic } /* Comment.Single */
.hl .cs { color: #8B949E; font-weight: bold; font-style: italic } /* Comment.Special */
.hl .gd { color: #FFA198; background-color: #490202 } /* Generic.Deleted */
.hl .ge { color: #E6EDF3; font-style: italic } /* Generic.Emph */
.hl .ges { color: #E6EDF3; font-weight: bold; font-style: italic } /* Generic.EmphStrong */
.hl .gr { color: #FFA198 } /* Generic.Error */
.hl .gh { color: #79C0FF; font-weight: bold } /* Generic.Heading */
.hl .gi { color: #56D364; background-color: #0F5323 } /* Generic.Inserted */
.hl .go { color: #8B949E } /* Generic.Output */
.hl .gp { color: #8B949E } /* Generic.Prompt */
.hl .gs { color: #E6EDF3; font-weight: bold } /* Generic.Strong */
.hl .gu { color: #79C0FF } /* Generic.Subheading */
.hl .gt { color: #FF7B72 } /* Generic.Traceback */
.hl .g-Underline { color: #E6EDF3; text-decoration: underline } /* Generic.Underline */
.hl .kc { color: #79C0FF } /* Keyword.Constant */
.hl .kd { color: #FF7B72 } /* Keyword.Declaration */
.hl .kn { color: #FF7B72 } /* Keyword.Namespace */
.hl .kp { color: #79C0FF } /* Keyword.Pseudo */
.hl .kr { color: #FF7B72 } /* Keyword.Reserved */
.hl .kt { color: #FF7B72 } /* Keyword.Type */
.hl .ld { color: #79C0FF } /* Literal.Date */
.hl .m { color: #A5D6FF } /* Literal.Number */
.hl .s { color: #A5D6FF } /* Literal.String */
.hl .na { color: #E6EDF3 } /* Name.Attribute */
.hl .nb { color: #E6EDF3 } /* Name.Builtin */
.hl .nc { color: #F0883E; font-weight: bold } /* Name.Class */
.hl .no { color: #79C0FF; font-weight: bold } /* Name.Constant */
.hl .nd { color: #D2A8FF; font-weight: bold } /* Name.Decorator */
.hl .ni { color: #FFA657 } /* Name.Entity */
.hl .ne { color: #F0883E; font-weight: bold } /* Name.Exception */
.hl .nf { color: #D2A8FF; font-weight: bold } /* Name.Function */
.hl .nl { color: #79C0FF; font-weight: bold } /* Name.Label */
.hl .nn { color: #FF7B72 } /* Name.Namespace */
.hl .nx { color: #E6EDF3 } /* Name.Other */
.hl .py { color: #79C0FF } /* Name.Property */
.hl .nt { color: #7EE787 } /* Name.Tag */
.hl .nv { color: #79C0FF } /* Name.Variable */
.hl .ow { color: #FF7B72; font-weight: bold } /* Operator.Word */
.hl .pm { color: #E6EDF3 } /* Punctuation.Marker */
.hl .w { color: #6E7681 } /* Text.Whitespace */
.hl .mb { color: #A5D6FF } /* Literal.Number.Bin */
.hl .mf { color: #A5D6FF } /* Literal.Number.Float */
.hl .mh { color: #A5D6FF } /* Literal.Number.Hex */
.hl .mi { color: #A5D6FF } /* Literal.Number.Integer */
.hl .mo { color: #A5D6FF } /* Literal.Number.Oct */
.hl .sa { color: #79C0FF } /* Literal.String.Affix */
.hl .sb { color: #A5D6FF } /* Literal.String.Backtick */
.hl .sc { color: #A5D6FF } /* Literal.String.Char */
.hl .dl { color: #79C0FF } /* Literal.String.Delimiter */
.hl .sd { color: #A5D6FF } /* Literal.String.Doc */
.hl .s2 { color: #A5D6FF } /* Literal.String.Double */
.hl .se { color: #79C0FF } /* Literal.String.Escape */
.hl .sh { color: #79C0FF } /* Literal.String.Heredoc */
.hl .si { color: #A5D6FF } /* Literal.String.Interpol */
.hl .sx { color: #A5D6FF } /* Literal.String.Other */
.hl .sr { color: #79C0FF } /* Literal.String.Regex */
.hl .s1 { color: #A5D6FF } /* Literal.String.Single */
.hl .ss { color: #A5D6FF } /* Literal.String.Symbol */
.hl .bp { color: #E6EDF3 } /* Name.Builtin.Pseudo */
.hl .fm { color: #D2A8FF; font-weight: bold } /* Name.Function.Magic */
.hl .vc { color: #79C0FF } /* Name.Variable.Class */
.hl .vg { color: #79C0FF } /* Name.Variable.Global */
.hl .vi { color: #79C0FF } /* Name.Variable.Instance */
.hl .vm { color: #79C0FF } /* Name.Variable.Magic */
.hl .il { color: #A5D6FF } /* Literal.Number.Integer.Long */