:root{--color-bg:#0b1a2e;--color-surface:#102040;--color-border:#1b3355;--color-text:#e8e4dc;--color-text-muted:#8a9bb5;--color-accent:#f4e9cd;--color-accent-light:#fdf5e6;--color-success:#6db589;--color-warning:#e6a23c;--color-error:#d45d5d;--color-on-accent:#1a1a2e;--font-sans:system-ui,-apple-system,sans-serif;--font-mono:"JetBrains Mono","Fira Code",monospace;--max-width:900px}*,:before,:after{box-sizing:border-box;margin:0;padding:0}html{scroll-behavior:smooth;font-size:16px}body{font-family:var(--font-sans);background:var(--color-bg);color:var(--color-text);min-height:100vh;line-height:1.7}a{color:#e5c07b}a:hover{color:#f0d49a}.site-nav{border-bottom:1px solid var(--color-border);background:var(--color-surface);z-index:100;justify-content:space-between;align-items:center;padding:1rem 2rem;display:flex;position:sticky;top:0}.nav-logo{color:var(--color-accent);font-size:1.4rem;font-weight:700;text-decoration:none}.nav-links{gap:1.5rem;display:flex}.nav-link{color:var(--color-text-muted);font-size:.95rem;text-decoration:none;transition:color .2s}.nav-link:hover,.nav-link[aria-current=page]{color:var(--color-accent-light)}.main-content{max-width:var(--max-width);margin:0 auto;padding:2rem}.hero{text-align:center;padding:4rem 0 3rem}.hero h1{background:linear-gradient(135deg,var(--color-accent),#9bb7d4);-webkit-text-fill-color:transparent;-webkit-background-clip:text;background-clip:text;margin-bottom:.5rem;font-size:3rem;font-weight:800}.hero-subtitle{color:var(--color-text-muted);max-width:600px;margin:0 auto;font-size:1.2rem}.features{grid-template-columns:repeat(auto-fit,minmax(250px,1fr));gap:1.5rem;padding:2rem 0;display:grid}.feature-card{background:var(--color-surface);border:1px solid var(--color-border);border-radius:12px;padding:2rem;transition:border-color .2s}.feature-card:hover{border-color:var(--color-accent)}.feature-card h2{margin-bottom:.5rem;font-size:1.3rem}.feature-card p{color:var(--color-text-muted);margin-bottom:1rem;font-size:.95rem}.feature-link{color:var(--color-accent);font-weight:500;text-decoration:none}.feature-link:hover{text-decoration:underline}.coming-soon{color:var(--color-text-muted);font-style:italic}.formula-page{padding:1rem 0}.formula-header h1{margin-bottom:.5rem;font-size:2rem}.formula-meta{align-items:center;gap:.75rem;margin-bottom:1.5rem;display:flex}.premier-badge{background:var(--color-accent);color:var(--color-on-accent);letter-spacing:.04em;text-transform:uppercase;border-radius:4px;padding:.2rem .6rem;font-size:.75rem;font-weight:600}.tags{gap:.5rem;display:flex}.tag{background:var(--color-border);color:var(--color-text-muted);border-radius:4px;padding:.15rem .5rem;font-size:.8rem}.formula-highlight{background:var(--color-surface);border:1px solid var(--color-border);text-align:center;border-radius:8px;margin:1.5rem 0;padding:2rem;overflow-x:auto}.math-display{margin:1.5rem 0;overflow:auto hidden}.math-inline{overflow:hidden}.katex-mathml{display:none}.katex-html{overflow:hidden}.katex .hide-tail{position:relative;overflow:hidden}.katex-error{color:var(--color-error);font-family:var(--font-mono);font-size:.85rem}.formula-content,.content-body{line-height:1.8}.formula-content h2,.content-body h2{border-bottom:1px solid var(--color-border);margin-top:2rem;margin-bottom:.75rem;padding-bottom:.3rem;font-size:1.5rem}.formula-content h3,.content-body h3{margin-top:1.5rem;margin-bottom:.5rem;font-size:1.2rem}.formula-content p,.content-body p{margin-bottom:1rem}.formula-content ul,.formula-content ol,.content-body ul,.content-body ol{margin-bottom:1rem;padding-left:1.5rem}.formula-content li,.content-body li{margin-bottom:.3rem}.formula-content code,.content-body code{background:var(--color-surface);border:1px solid var(--color-border);font-family:var(--font-mono);border-radius:4px;padding:.15rem .35rem;font-size:.9em}.formula-content pre,.content-body pre{background:var(--color-surface);border:1px solid var(--color-border);border-radius:8px;margin-bottom:1.5rem;padding:1.25rem;overflow-x:auto}.formula-content pre code,.content-body pre code{background:0 0;border:none;padding:0}.formula-content table,.content-body table{border-collapse:collapse;width:100%;margin-bottom:1.5rem}.formula-content th,.formula-content td,.content-body th,.content-body td{border:1px solid var(--color-border);text-align:left;padding:.6rem 1rem}.formula-content th,.content-body th{background:var(--color-surface);font-weight:600}.formula-content strong,.content-body strong{color:var(--color-accent-light)}.loading{text-align:center;color:var(--color-text-muted);padding:4rem}.loading-spinner{color:var(--color-text-muted);flex-direction:column;align-items:center;gap:1rem;padding:2rem;display:flex}.spinner{border:3px solid var(--color-border);border-top-color:var(--color-accent);border-radius:50%;width:28px;height:28px;animation:.8s linear infinite spin}.spinner-inline{border:2px solid var(--color-border);vertical-align:middle;border-top-color:#fff;border-radius:50%;width:16px;height:16px;margin-right:.4rem;animation:.8s linear infinite spin;display:inline-block}@keyframes spin{to{transform:rotate(360deg)}}.load-error{border:1px solid var(--color-error);color:var(--color-error);background:rgba(212,93,93,.1);border-radius:6px;padding:.75rem 1rem;font-size:.9rem}.error{text-align:center;padding:4rem}.error h1{color:var(--color-error);margin-bottom:.5rem}.not-found{text-align:center;padding:4rem}.not-found h1{color:var(--color-text-muted);font-size:4rem}.showcase-page{padding:1rem 0}.showcase-header{text-align:center;border-bottom:1px solid var(--color-border);margin-bottom:2rem;padding-bottom:2rem}.showcase-header h1{margin-bottom:.5rem;font-size:2.2rem}.showcase-subtitle{color:var(--color-text-muted);margin-bottom:1.5rem;font-size:1.1rem}.showcase-main-formula{background:var(--color-surface);border:1px solid var(--color-border);border-radius:8px;padding:1.5rem;display:inline-block}.showcase-section{margin-bottom:3rem}.showcase-section h2{border-bottom:1px solid var(--color-border);margin-bottom:1rem;padding-bottom:.3rem;font-size:1.4rem}.showcase-hint{color:var(--color-text-muted);margin-bottom:1rem;font-size:.9rem}.lean-code-block{background:var(--color-surface);border:1px solid var(--color-border);border-radius:8px;margin-bottom:1rem;position:relative;overflow-x:auto}.lean-code-block:after{content:"";background:linear-gradient(90deg,transparent,var(--color-surface));pointer-events:none;opacity:.8;border-radius:0 8px 8px 0;width:24px;position:absolute;top:0;bottom:0;right:0}.lean-code{font-family:var(--font-mono);color:var(--color-text);margin:0;padding:1.25rem;font-size:.88rem;line-height:1.6}.lean-code code{font-family:inherit}.lean-compile-bar{border-top:1px solid var(--color-border);padding:.5rem 1.25rem .75rem}.lean-compile-btn{padding:.4rem 1.2rem;font-size:.88rem}.lean-compile-btn:disabled{opacity:.7}.lean-kw{color:#c678dd;font-weight:600}.lean-tactic{color:#61afef}.lean-comment{color:#5c6370;font-style:italic}.lean-doc-comment{color:#6a9955;font-style:italic}.lean-type{color:#e5c07b}.lean-symbol{color:#e06c75}.lean-string{color:#98c379}.lean-number{color:#d19a66}.compile-controls{margin-bottom:1rem}.compile-btn{background:var(--color-accent);color:var(--color-on-accent);cursor:pointer;border:none;border-radius:6px;padding:.5rem 1.5rem;font-size:.95rem;font-weight:500;transition:background .2s}.compile-btn:hover:not(:disabled){background:var(--color-accent-light)}.compile-btn:disabled{opacity:.6;cursor:not-allowed}.compile-panel{min-height:0}.compile-progress{margin-top:.5rem}.compile-progress-bar{background:var(--color-surface);border:1px solid var(--color-border);border-radius:4px;width:100%;height:6px;position:relative;overflow:hidden}.compile-progress-fill{background:linear-gradient(90deg,transparent,var(--color-accent),transparent);width:35%;animation:1.4s linear infinite compile-progress-slide;position:absolute;top:0;bottom:0}.compile-progress-label{color:var(--color-text-dim,#888);margin-top:.5rem;font-size:.85rem;font-style:italic}@keyframes compile-progress-slide{0%{left:-35%}to{left:100%}}@media (prefers-reduced-motion:reduce){.compile-progress-fill{opacity:.5;width:100%;animation:none;left:0}}.compile-success{border:1px solid var(--color-success);color:var(--color-success);background:rgba(76,175,124,.1);border-radius:6px;padding:.75rem 1rem;font-weight:500}.compile-icon{font-weight:700}.compile-errors{border:1px solid var(--color-error);background:rgba(226,85,85,.1);border-radius:6px;max-height:300px;padding:.75rem 1rem;overflow-y:auto}.compile-errors-title{color:var(--color-error);margin-bottom:.5rem;font-weight:500}.compile-error-list{padding:0;list-style:none}.compile-raw-output{font-family:var(--font-mono);color:var(--color-error);white-space:pre-wrap;word-break:break-word;background:rgba(212,93,93,.08);border-radius:4px;max-height:200px;margin-top:.5rem;padding:.75rem 1rem;font-size:.8rem;overflow-y:auto}.compile-error-item{font-family:var(--font-mono);align-items:baseline;gap:.5rem;margin-bottom:.3rem;font-size:.85rem;display:flex}.severity-badge{text-transform:uppercase;border-radius:3px;flex-shrink:0;padding:.1rem .4rem;font-size:.7rem;font-weight:600}.severity-error{background:var(--color-error);color:#fff}.severity-warning{background:var(--color-warning);color:#000}.severity-info{background:var(--color-accent);color:var(--color-on-accent)}.error-location{color:var(--color-text-muted)}.compile-latex{background:var(--color-surface);border:1px solid var(--color-border);border-radius:6px;margin-top:.75rem;padding:1rem;overflow-x:auto}.compile-latex-title{color:var(--color-text-muted);margin-bottom:.5rem;font-size:.85rem;font-weight:500}.lean-latex-statements{background:var(--color-surface);border:1px solid var(--color-border);border-radius:8px;padding:1.5rem;overflow-x:auto}.proof-graph{flex-direction:column;align-items:center;gap:0;display:flex}.graph-layer{flex-direction:column;align-items:center;width:100%;display:flex}.layer-label{color:var(--color-text-muted);text-transform:uppercase;letter-spacing:.05em;margin-bottom:.5rem;font-size:.8rem}.layer-nodes{flex-wrap:wrap;justify-content:center;gap:1rem;display:flex}.graph-node{background:var(--color-surface);border:1px solid var(--color-border);cursor:pointer;text-align:center;border-radius:8px;min-width:120px;padding:.6rem 1rem;transition:border-color .2s,background .2s}.graph-node:hover{border-color:var(--color-accent)}.graph-node-expanded{border-color:var(--color-accent);background:rgba(244,233,205,.06)}.graph-node-label{font-family:var(--font-mono);font-size:.85rem;font-weight:500}.graph-node-formula{margin-top:.5rem;font-size:.9rem}.graph-edges{justify-content:center;gap:2rem;padding:.5rem 0;display:flex}.edge{background:var(--color-border);width:2px;height:24px;position:relative}.edge:after{content:"";border-left:4px solid transparent;border-right:4px solid transparent;border-top:5px solid var(--color-border);position:absolute;bottom:-4px;left:-3px}.proof-walkthrough{flex-direction:column;gap:.5rem;display:flex}.walkthrough-step{background:var(--color-surface);border:1px solid var(--color-border);border-radius:8px;transition:border-color .2s;overflow:hidden}.walkthrough-step.walkthrough-open{border-color:var(--color-accent)}.walkthrough-toggle{width:100%;color:var(--color-text);cursor:pointer;text-align:left;background:0 0;border:none;align-items:center;padding:.75rem 1rem;font-size:1rem;font-weight:500;display:flex}.walkthrough-toggle:hover{background:rgba(255,255,255,.03)}.walkthrough-arrow{color:var(--color-accent);flex-shrink:0;width:1.2em;font-size:.85rem}.walkthrough-content{padding:0 1rem 1rem}.walkthrough-formula{margin-bottom:1rem}.walkthrough-lean{background:var(--color-bg);border:1px solid var(--color-border);font-family:var(--font-mono);border-radius:6px;margin-bottom:.75rem;padding:.75rem 1rem;font-size:.85rem;overflow-x:auto}.walkthrough-lean code{font-family:inherit}.walkthrough-explanation{color:var(--color-text-muted);font-size:.95rem;line-height:1.6}.breadcrumbs{margin-bottom:1.5rem}.breadcrumb-list{flex-wrap:wrap;align-items:center;gap:0;margin:0;padding:0;font-size:.9rem;list-style:none;display:flex}.breadcrumb-item{align-items:center;display:flex}.breadcrumb-link{color:var(--color-accent);text-decoration:none}.breadcrumb-link:hover{text-decoration:underline}.breadcrumb-sep{color:var(--color-text-muted);margin:0 .5rem}.breadcrumb-current{color:var(--color-text);font-weight:500}.home-section-title{margin-bottom:1rem;padding-top:1rem;font-size:1.4rem}.home-categories{padding-bottom:1rem}.category-grid{grid-template-columns:repeat(auto-fit,minmax(260px,1fr));gap:1.5rem;padding:.5rem 0 2rem;display:grid}.category-card{background:var(--color-surface);border:1px solid var(--color-border);color:inherit;border-radius:12px;padding:1.5rem;text-decoration:none;transition:border-color .2s,transform .15s;display:block}.category-card:hover{border-color:var(--color-accent);transform:translateY(-2px)}.category-card-title{color:var(--color-text);margin-bottom:.5rem;font-size:1.2rem}.category-card-desc{color:var(--color-text-muted);margin-bottom:.75rem;font-size:.9rem;line-height:1.5}.category-card-count{color:var(--color-accent);font-size:.85rem;font-weight:500}.showcase-index-page{padding:1rem 0}.showcase-index-header{text-align:center;padding-bottom:2rem}.showcase-index-header h1{margin-bottom:.5rem;font-size:2.2rem}.showcase-index-subtitle{color:var(--color-text-muted);font-size:1.1rem}.showcase-category-page{padding:1rem 0}.category-header{padding-bottom:1.5rem}.category-header h1{font-size:2rem}.showcase-card-grid{grid-template-columns:repeat(auto-fit,minmax(280px,1fr));gap:1.25rem;display:grid}.showcase-card{background:var(--color-surface);border:1px solid var(--color-border);color:inherit;border-radius:10px;padding:1.25rem;text-decoration:none;transition:border-color .2s;display:block}.showcase-card:hover{border-color:var(--color-accent)}.showcase-card-title{color:var(--color-text);margin-bottom:.4rem;font-size:1.1rem}.showcase-card-desc{color:var(--color-text-muted);margin-bottom:.75rem;font-size:.9rem;line-height:1.5}.showcase-card-meta{flex-wrap:wrap;align-items:center;gap:.25rem .5rem;display:flex}.showcase-detail-page{padding:1rem 0}.showcase-detail-meta{flex-wrap:wrap;align-items:center;gap:.75rem;margin:.75rem 0 1rem;display:flex}.showcase-detail-content{margin-bottom:3rem}.showcase-prev-next{border-top:1px solid var(--color-border);justify-content:space-between;align-items:stretch;gap:1rem;margin-top:2rem;padding-top:2rem;display:flex}.prev-next-left,.prev-next-right{flex:1;min-width:0}.prev-next-right{text-align:right}.prev-next-link{color:var(--color-accent);align-items:center;gap:.5rem;padding:.5rem 0;font-size:.95rem;text-decoration:none;transition:color .2s;display:inline-flex}.prev-next-link:hover{color:var(--color-accent-light)}.prev-next-arrow{flex-shrink:0;font-size:1.1rem;font-weight:700}.prev-next-label{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.backlinks-section{border-top:1px solid var(--color-border);margin-top:2rem;padding-top:1.5rem}.backlinks-title{color:var(--color-text-muted);margin-bottom:.75rem;font-size:1.1rem;font-weight:500}.backlinks-list{flex-direction:column;gap:.5rem;padding:0;list-style:none;display:flex}.backlink-item{align-items:center;gap:.75rem;display:flex}.backlink-link{color:var(--color-accent);font-weight:500;text-decoration:none}.backlink-link:hover{text-decoration:underline}.backlink-category{color:var(--color-text-muted);font-size:.85rem}.concept-link-wrapper{display:inline;position:relative}.concept-link{color:var(--color-accent);border-bottom:1px dotted var(--color-accent);padding-bottom:1px;text-decoration:none;transition:color .12s,border-color .12s,background .12s}.concept-link:hover{color:var(--color-accent-light);border-bottom-color:var(--color-accent-light);background:rgba(244,233,205,.06);outline:none}.concept-link:focus-visible{color:var(--color-accent-light);border-bottom-color:var(--color-accent-light);background:rgba(244,233,205,.06);outline:none}.concept-link-unresolved{color:var(--color-text-muted);border-bottom:1px dashed var(--color-text-muted);cursor:help;opacity:.75}.concept-tooltip{z-index:200;background:var(--color-surface);border:1px solid var(--color-border);opacity:0;pointer-events:none;visibility:hidden;text-align:left;white-space:normal;border-radius:6px;flex-direction:column;gap:.45rem;width:max-content;max-width:min(22rem,90vw);padding:.85rem 1rem;font-size:.92rem;line-height:1.5;transition:opacity .14s,transform .14s,visibility .14s;display:flex;position:absolute;top:calc(100% + .55rem);left:0;transform:translateY(-4px);box-shadow:0 8px 24px rgba(0,0,0,.45)}.concept-tooltip:before{content:"";background:var(--color-surface);border-left:1px solid var(--color-border);border-top:1px solid var(--color-border);width:12px;height:12px;position:absolute;top:-7px;left:1.1rem;transform:rotate(45deg)}.concept-link-wrapper:hover .concept-tooltip{opacity:1;pointer-events:auto;visibility:visible;transform:translateY(0)}.concept-link-wrapper:focus-within .concept-tooltip{opacity:1;pointer-events:auto;visibility:visible;transform:translateY(0)}.concept-tooltip-title{color:var(--color-accent-light);font-size:1rem;font-weight:600}.concept-tooltip-formula{color:var(--color-text);padding:.25rem 0;font-size:.95rem;overflow-x:auto}.concept-tooltip-formula .katex-display{margin:0}.concept-tooltip-desc{color:var(--color-text-muted);font-size:.88rem}.concept-tooltip-more{color:var(--color-accent);align-self:flex-start;margin-top:.1rem;font-size:.85rem;font-weight:500;text-decoration:none}.concept-tooltip-more:hover{text-decoration:underline}@media (hover:none){.concept-tooltip{display:none}}@media (prefers-reduced-motion:reduce){.concept-link,.concept-tooltip{transition:none}.concept-tooltip{transform:none}}.concepts-page{padding:1rem 0}.concepts-header{margin-bottom:2rem}.concepts-header h1{margin-bottom:.5rem;font-size:2.25rem}.concepts-subtitle{color:var(--color-text-muted);max-width:60ch;font-size:1rem}.concepts-list{flex-direction:column;gap:1rem;padding:0;list-style:none;display:flex}.concept-row{background:var(--color-surface);border:1px solid var(--color-border);border-radius:6px;flex-direction:column;gap:.4rem;padding:1rem 1.1rem;display:flex}.concept-row-head{flex-wrap:wrap;align-items:baseline;gap:.6rem;display:flex}.concept-row-title{color:var(--color-accent);font-size:1.05rem;font-weight:600;text-decoration:none}.concept-row-title:hover{color:var(--color-accent-light);text-decoration:underline}.concept-row-category{color:var(--color-text-muted);font-size:.85rem}.concept-row-count{color:var(--color-text-muted);font-variant-numeric:tabular-nums;margin-left:auto;font-size:.85rem}.concept-row-desc{color:var(--color-text-muted);font-size:.9rem;line-height:1.5}.concept-row-refs{color:var(--color-text-muted);flex-wrap:wrap;gap:.35rem .6rem;margin-top:.25rem;font-size:.85rem;display:flex}.concept-row-refs a{color:var(--color-accent);text-decoration:none}.concept-row-refs a:hover{text-decoration:underline}.concepts-empty{color:var(--color-text-muted);text-align:center;padding:3rem 1rem}.ins-page{padding:1rem 0}.ins-header{text-align:center;padding-bottom:2.5rem}.ins-title{background:linear-gradient(135deg,var(--color-accent),#9bb7d4);-webkit-text-fill-color:transparent;-webkit-background-clip:text;background-clip:text;margin-bottom:.75rem;font-size:2.8rem;font-weight:800}.ins-subtitle{color:var(--color-text-muted);max-width:500px;margin:0 auto 1.5rem;font-size:1.15rem}.ins-rule{background:linear-gradient(90deg,transparent,var(--color-accent),transparent);width:80px;height:2px;margin:0 auto}.ins-featured{background:var(--color-surface);border:1px solid var(--color-accent);border-left:4px solid var(--color-accent);text-align:center;border-radius:8px;margin-bottom:2.5rem;padding:2rem 2rem 1.75rem;position:relative;box-shadow:0 0 24px rgba(244,233,205,.06)}.ins-featured-badge{background:var(--color-accent);color:var(--color-on-accent);text-transform:uppercase;letter-spacing:.08em;border-radius:4px;margin-bottom:.75rem;padding:.2rem .7rem;font-size:.75rem;font-weight:700;display:inline-block}.ins-featured .ins-plaque-name{font-size:1.6rem}.ins-featured .ins-plaque-desc{max-width:600px;margin:0 auto}.ins-wing{margin-bottom:2.5rem}.ins-wing-title{text-transform:uppercase;letter-spacing:.12em;color:var(--color-text-muted);text-align:center;margin-bottom:1.25rem;font-size:.95rem;font-weight:600}.ins-divider{text-align:center;color:var(--color-border);letter-spacing:.3em;margin-bottom:1rem;font-size:.85rem}.ins-plaque{background:var(--color-surface);border:1px solid var(--color-border);border-left:3px solid #c9a84c;border-radius:6px;margin-bottom:.75rem;padding:1.25rem 1.5rem;transition:border-color .2s,box-shadow .3s}.ins-plaque:hover{border-color:var(--color-accent);box-shadow:0 0 16px rgba(244,233,205,.05)}.ins-plaque-header{align-items:baseline;gap:.75rem;margin-bottom:.4rem;display:flex}.ins-plaque-name{margin:0;font-size:1.2rem;font-weight:600}.ins-plaque-name a{color:var(--color-accent);text-decoration:none}.ins-plaque-name a:hover{text-decoration:underline}.ins-plaque-year{font-family:var(--font-mono);color:var(--color-text-muted);background:var(--color-border);border-radius:3px;flex-shrink:0;padding:.1rem .45rem;font-size:.78rem}.ins-plaque-desc{color:var(--color-text-muted);font-size:.95rem;line-height:1.7}.fractal-viz-section{border-top:1px solid var(--color-border);margin:2.5rem 0;padding-top:1.5rem}.fractal-viz-section h2{margin-bottom:.5rem;font-size:1.4rem}.fractal-viz-subtitle{color:var(--color-text-muted);margin-bottom:1.5rem;font-size:.95rem}.fractal-viz-grid{grid-template-columns:repeat(2,1fr);gap:1.25rem;display:grid}.fractal-card{background:var(--color-surface);border:1px solid var(--color-border);border-radius:10px;padding:1rem;transition:border-color .2s;overflow:hidden}.fractal-card:hover{border-color:var(--color-accent)}.fractal-card-header{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:.25rem .75rem;margin-bottom:.75rem;display:flex}.fractal-card-header h3{font-size:1rem;font-weight:600}.fractal-dimension{color:var(--color-text-muted);font-size:.75rem;font-family:var(--font-mono);white-space:nowrap}.fractal-canvas{border:1px solid var(--color-border);border-radius:6px;width:100%;height:auto;display:block}.fractal-controls{justify-content:center;align-items:center;gap:1rem;margin-top:.75rem;display:flex}.fractal-btn{background:var(--color-border);color:var(--color-text);cursor:pointer;border:none;border-radius:6px;flex-shrink:0;justify-content:center;align-items:center;width:32px;min-width:32px;height:32px;font-size:1.1rem;font-weight:600;transition:background .2s;display:flex}.fractal-btn:hover:not(:disabled){background:var(--color-accent);color:var(--color-on-accent)}.fractal-btn:disabled{opacity:.4;cursor:not-allowed}.depth-label{font-family:var(--font-mono);color:var(--color-text-muted);text-align:center;flex-shrink:0;min-width:6ch;font-size:.85rem}@media (width<=900px){.fractal-viz-grid{grid-template-columns:1fr}}@media (width<=640px){.hero h1{font-size:2rem}.main-content{padding:1rem}.site-nav{flex-direction:column;gap:.5rem;padding:.75rem 1rem}.nav-links{gap:1rem;font-size:.85rem}.nav-logo{font-size:1.2rem}.layer-nodes{flex-direction:column;align-items:center}.graph-node{min-width:200px}.showcase-prev-next{flex-direction:column}.prev-next-right{text-align:left}.fractal-viz-grid{grid-template-columns:1fr}.breadcrumb-list{font-size:.8rem}.ins-title{font-size:2rem}.ins-plaque{padding:1rem}}.ifs3d-section{border-top:1px solid var(--color-border);margin:2.5rem 0;padding-top:1.5rem}.ifs3d-section h2{margin-bottom:.5rem;font-size:1.4rem}.ifs3d-subtitle{color:var(--color-text-muted);max-width:60ch;margin-bottom:1.25rem;font-size:.95rem}.ifs3d-frame{border:1px solid var(--color-border);background:#14161c;border-radius:10px;padding:0;overflow:hidden}.ifs3d-canvas{background:#14161c;outline:none;width:100%;height:540px;display:block}.ifs3d-noscript{color:var(--color-text-muted);padding:1rem;font-size:.95rem}