*,*:before,*:after{box-sizing:border-box;margin:0;padding:0}body{background:#f5f0e8;color:#2a2520;font-family:Georgia,serif;min-height:100vh}.page{max-width:780px;margin:0 auto;padding:4rem 2rem}.page h1{font-size:2.4rem;font-weight:400;margin-bottom:1rem;color:#1a1510;line-height:1.2}.page h2{font-size:1.3rem;font-weight:400;margin:2.5rem 0 .75rem;color:#3a3028}.page p{font-size:1.02rem;line-height:1.8;color:#4a4038;margin-bottom:1rem}.page .subtitle{font-size:1.1rem;color:#9a8a78;margin-bottom:2rem;font-style:italic}.theorem-box{border:1px solid #d4c9b0;border-left:3px solid #b8860b;padding:1.25rem 1.5rem;margin:2rem 0;background:#ede8dc;font-size:.95rem;line-height:1.7;color:#4a4038;border-radius:0}.theorem-box .label{font-size:.75rem;letter-spacing:.1em;text-transform:uppercase;color:#b8860b;margin-bottom:.5rem}.banner{width:100%;max-height:420px;overflow:hidden;display:flex;align-items:center;justify-content:center}.banner img{width:100%;max-width:1100px;height:auto;display:block;margin:0 auto}.card{background:#ede8dc;border:1px solid #d4c9b0;border-radius:6px;padding:1.5rem;margin:1.5rem 0}table{width:100%;border-collapse:collapse}th{text-align:left;padding:.5rem .75rem;color:#9a8a78;font-weight:400;font-size:.8rem;border-bottom:1px solid #d4c9b0}td{padding:.55rem .75rem;color:#4a4038;font-size:.82rem;border-bottom:1px solid #ede8dc}tr:nth-child(2n) td{background:#f0ece4}.btn{padding:.35rem .9rem;font-size:.8rem;font-family:Georgia,serif;background:transparent;border:1px solid #c4b090;color:#6a5a48;border-radius:4px;cursor:pointer;transition:background .12s,color .12s}.btn:hover{background:#ede8dc;color:#2a2520}.btn.active{background:#f0e8d0;border-color:#b8860b;color:#8a6008}.metric-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:1rem;margin:1.5rem 0}.metric-card{background:#ede8dc;border:1px solid #d4c9b0;border-radius:6px;padding:1rem}.metric-card .metric-label{font-size:.7rem;color:#9a8a78;text-transform:uppercase;letter-spacing:.06em;margin-bottom:.35rem}.metric-card .metric-value{font-size:1.5rem;color:#b8860b;margin-bottom:.2rem}.metric-card .metric-sub{font-size:.72rem;color:#9a8a78}nav{all:unset;display:block}nav a{text-decoration:none;font-family:Georgia,serif;transition:color .15s}.site-nav{background:#0a0806;border-bottom:1px solid #2e2418;width:100%}.nav-inner{max-width:780px;margin:0 auto;padding:0 2rem}.nav-tabs{display:flex;flex-wrap:wrap;gap:0;border-bottom:1px solid #2e2418}.nav-tab{font-family:Georgia,serif;font-size:.72rem;letter-spacing:.07em;text-transform:uppercase;color:#5a4a38;text-decoration:none;padding:.65rem .85rem;border-bottom:2px solid transparent;margin-bottom:-1px;transition:color .15s;white-space:nowrap}.nav-tab:hover{color:#c8b898}.nav-tab-active{color:#b8860b!important;border-bottom:2px solid #b8860b!important}.nav-links{display:flex;flex-wrap:wrap;gap:.4rem 1.25rem;padding:.65rem 0}.nav-link{color:#6a5a48;text-decoration:none;font-size:.85rem;letter-spacing:.03em;font-family:Georgia,serif;transition:color .15s;white-space:nowrap}.nav-link:hover{color:#c8b898}.nav-link.active-link{color:#f0ece4;border-bottom:1px solid #b8860b}:root{--panel-bg: #111008;--panel-border: #2e2418;--panel-bg-slot: #1a1208;--panel-green: #7dffb3;--panel-purple: #d4a8ff;--panel-gold: #ffd700;--panel-blue: #7dd4ff;--panel-red: #ff8a7d;--panel-white: #f0ece4;--panel-muted: #9a8a6a;--panel-dim: #5a4a30;--panel-label: #7a6a4a;--panel-slot-border: #3a3020}.panel{background:var(--panel-bg);border:1px solid var(--panel-border);border-radius:6px;padding:1.5rem}.panel-card{margin:2rem 0;background:#ede8dc;border:1px solid #d4c9b0;border-radius:6px;padding:1.25rem 1.5rem}.panel-card-label{font-size:.7rem;letter-spacing:.1em;text-transform:uppercase;color:#9a8a78;margin-bottom:1rem;font-family:Georgia,serif}.panel-text{color:var(--panel-white);font-family:Georgia,serif}.panel-text-muted{color:var(--panel-muted);font-family:Georgia,serif}.panel-mono{font-family:monospace;color:var(--panel-white)}.panel-mono-muted{font-family:monospace;color:var(--panel-muted)}.panel-formula{border-top:1px solid var(--panel-border);padding-top:1rem;font-family:monospace;font-size:.88rem;color:var(--panel-muted);line-height:2}.panel-formula .hi-green{color:var(--panel-green);font-weight:700}.panel-formula .hi-purple{color:var(--panel-purple);font-weight:700;font-size:1.05rem}.panel-formula .hi-gold{color:var(--panel-gold);font-weight:700}.panel-formula .hi-blue{color:var(--panel-blue);font-weight:700}.panel-btn{padding:.35rem .85rem;font-size:.78rem;font-family:Georgia,serif;background:transparent;border:1px solid var(--panel-slot-border);color:var(--panel-dim);border-radius:4px;cursor:pointer;transition:border-color .15s,color .15s}.panel-btn:hover{border-color:var(--panel-muted);color:var(--panel-white)}.panel-btn.active{background:#1a2a1a;border-color:var(--panel-green);color:var(--panel-green)}.panel-step-label{font-family:Georgia,serif;font-size:.88rem;color:var(--panel-green);margin-bottom:1.5rem;min-height:1.4rem;border-left:2px solid #3a7a5a;padding-left:.75rem}.panel-slider-label{color:var(--panel-muted);font-size:.85rem;min-width:220px;font-family:Georgia,serif}.panel-slider-value{color:var(--panel-green);font-size:.95rem;min-width:36px;text-align:right;font-family:Georgia,serif;font-weight:700}.panel table{width:100%;border-collapse:collapse}.panel th{color:var(--panel-label);border-bottom:1px solid var(--panel-slot-border);background:transparent}.panel td{border-bottom:1px solid var(--panel-slot-border);background:transparent}.panel tr:nth-child(2n) td{background:var(--panel-bg-slot)}.home-dark{background:#0a0806;min-height:100vh;margin-top:-1px}.home-dark .banner{background:#0a0806}.home-hero{padding:2.5rem 2rem 1rem;max-width:780px;margin:0 auto}.home-hero h1{font-size:2.8rem;font-weight:700;color:#fff;line-height:1.15;margin-bottom:.75rem;font-family:Georgia,serif}.home-hero .tagline{font-size:1.2rem;color:#9a8a78;font-style:italic;font-family:Georgia,serif;margin-bottom:.5rem}.home-byline{font-size:.85rem;color:#6a5a48;font-family:Georgia,serif;margin-bottom:2.5rem}.home-byline a{color:#b8860b;text-decoration:none;border-bottom:1px solid #b8860b}.home-cards{max-width:780px;margin:0 auto;padding:0 2rem 4rem}.contrib-card{margin:1.5rem 0;border-radius:8px;overflow:hidden;border:1px solid rgba(255,255,255,.12)}.contrib-card-accent{height:5px;width:100%}.contrib-card-inner{padding:1.75rem 2rem}.contrib-number{font-size:.68rem;letter-spacing:.15em;text-transform:uppercase;font-family:Georgia,serif;margin-bottom:.6rem}.contrib-title{font-family:Georgia,serif;font-size:1.6rem;font-weight:700;line-height:1.2;margin-bottom:.75rem;color:#0a0806;letter-spacing:-.01em}.contrib-theorem{font-family:monospace;font-size:.82rem;margin-bottom:1.25rem;padding:.4rem .75rem;background:#00000012;border-radius:4px;display:inline-block}.contrib-card .contrib-body{font-family:Georgia,serif;font-size:.97rem;line-height:1.85;color:#1a1510;margin-bottom:1rem}.contrib-card .contrib-body strong{color:#0a0806;font-weight:700}.card-red{background:#fff5f5}.card-orange{background:#fff8f0}.card-yellow{background:#fffef0}.card-green{background:#f0fff5}.card-blue{background:#f0f4ff}.card-red .contrib-card-accent{background:#f33}.card-orange .contrib-card-accent{background:#f80}.card-yellow .contrib-card-accent{background:#fd0}.card-green .contrib-card-accent{background:#4c6}.card-blue .contrib-card-accent{background:#47f}.card-red .contrib-number{color:#c22}.card-orange .contrib-number{color:#c60}.card-yellow .contrib-number{color:#a90}.card-green .contrib-number{color:#284}.card-blue .contrib-number{color:#25c}.card-red .contrib-theorem{color:#c22;border-left:2px solid #ff3333}.card-orange .contrib-theorem{color:#c60;border-left:2px solid #ff8800}.card-yellow .contrib-theorem{color:#a90;border-left:2px solid #ffdd00}.card-green .contrib-theorem{color:#284;border-left:2px solid #44cc66}.card-blue .contrib-theorem{color:#25c;border-left:2px solid #4477ff}.card-red .contrib-explore{color:#c22;border-color:#f33}.card-orange .contrib-explore{color:#c60;border-color:#f80}.card-yellow .contrib-explore{color:#a90;border-color:#fd0}.card-green .contrib-explore{color:#284;border-color:#4c6}.card-blue .contrib-explore{color:#25c;border-color:#47f}.card-red .contrib-explore:hover{background:#ff333314}.card-orange .contrib-explore:hover{background:#ff880014}.card-yellow .contrib-explore:hover{background:#ffdd0014}.card-green .contrib-explore:hover{background:#44cc6614}.card-blue .contrib-explore:hover{background:#4477ff14}.contrib-repos{border-top:1px solid rgba(0,0,0,.1);padding-top:1rem;margin-top:.5rem;margin-bottom:.25rem}.contrib-repos-inner{display:flex;flex-wrap:wrap;gap:.5rem}.repo-badge{display:inline-flex;align-items:center;gap:.4rem;padding:.35rem .75rem;border-radius:4px;text-decoration:none;font-family:monospace;font-size:.78rem;border:1px solid;transition:opacity .15s}.repo-badge:hover{opacity:.75}.repo-badge-icon{font-size:.9rem}.repo-badge-label{font-size:.65rem;text-transform:uppercase;letter-spacing:.08em;opacity:.6}.repo-badge-name{font-weight:700}.card-red .repo-badge-proof{background:#f33;color:#fff;border-color:#f33}.card-orange .repo-badge-proof{background:#f80;color:#fff;border-color:#f80}.card-yellow .repo-badge-proof{background:#ca0;color:#fff;border-color:#ca0}.card-green .repo-badge-proof{background:#4c6;color:#fff;border-color:#4c6}.card-blue .repo-badge-proof{background:#47f;color:#fff;border-color:#47f}.repo-badge-experiment{background:#0000000f;color:#2a2520;border-color:#00000026}.repo-badge-experiment .repo-badge-label{color:#6a5a48}.repo-badge-experiment .repo-badge-name{color:#1a1510}.home-closing{max-width:780px;margin:0 auto;padding:0 2rem 4rem}.home-closing-inner{padding:2rem;background:#1a1208;border:1px solid #2e2418;border-radius:6px;font-family:Georgia,serif}.home-closing-inner p{font-size:1rem;color:#c8b898;line-height:1.8;margin-bottom:.75rem}.home-closing-inner p:last-child{margin-bottom:0}.home-closing-inner a{color:#b8860b;text-decoration:none;border-bottom:1px solid #b8860b}.home-closing-inner .calculemus{font-size:1.4rem;color:gold;font-style:italic;margin-top:1rem;display:block;font-weight:700}.tf-panel{background:#111008;border:1px solid #2e2418;border-radius:6px;padding:1.5rem}.tf-panel-label{font-size:.7rem;letter-spacing:.1em;text-transform:uppercase;color:#9a8a78;margin-bottom:1rem;font-family:Georgia,serif}.tf-slider-label{color:#c8b898;font-size:.85rem;min-width:220px;font-family:Georgia,serif}.tf-slider-value{color:#7dffb3;font-size:.95rem;min-width:36px;text-align:right;font-family:Georgia,serif;font-weight:700}.tf-step-label{font-family:Georgia,serif;font-size:.88rem;color:#7dffb3;margin-bottom:1.5rem;min-height:1.4rem;border-left:2px solid #3a7a5a;padding-left:.75rem}.tf-formula{border-top:1px solid #2e2418;padding-top:1rem;font-family:monospace;font-size:.88rem;color:#c8b898;line-height:2}.tf-formula .highlight-green{color:#7dffb3;font-weight:700}.tf-formula .highlight-purple{color:#d4a8ff;font-size:1.05rem;font-weight:700}