@import url('https://fonts.googleapis.com/css2?family=Lora:ital,wght@0,400;0,600;1,400&family=Playfair+Display:wght@600&family=JetBrains+Mono:ital,wght@0,400;0,600;1,400&display=swap');body{background-color:#fdfaf0;background-image:url("data:image/svg+xml,%3Csvg viewBox='0 0 200 200' xmlns='http://www.w3.org/2000/svg'%3E%3Cfilter id='noise'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='0.85' numOctaves='3' stitchTiles='stitch'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23noise)' opacity='0.06'/%3E%3C/svg%3E");color:#1a1a1a;font-family:'Lora',serif;font-size:18px;line-height:1.7;max-width:800px;margin:60px auto;padding:0 20px}h1,h2,h3{font-family:'Playfair Display',serif;font-weight:600;letter-spacing:-0.02em;color:#111;margin-top:2.5rem;margin-bottom:1rem}table{width:100%;border-collapse:collapse;margin:3rem 0;border-top:2px solid #1a1a1a;border-bottom:2px solid #1a1a1a;border-left:4px solid #00d9ff;background-color:rgba(0,217,255,0.05)}td{padding:1.5rem 1.2rem;vertical-align:top}td:first-child{width:35%;font-family:'Playfair Display',serif;font-size:1.1rem;border-right:1px dotted rgba(0,217,255,0.4)}td:last-child{width:65%;color:#2c2c2c;font-size:0.95rem}a{color:#1a1a1a;text-decoration:none;border-bottom:1px solid #00d9ff;transition:background-color 0.2s ease}a:hover{background-color:rgba(0,217,255,0.15)}.social-embed{margin:3rem 0;padding:1rem 1.2rem;border-top:2px solid #1a1a1a;border-bottom:2px solid #1a1a1a;border-left:4px solid #00d9ff;background-color:rgba(0,217,255,0.05);overflow:hidden}.social-embed iframe,.social-embed twitter-widget,.social-embed .bluesky-embed,.social-embed blockquote{mix-blend-mode:multiply;margin:0 auto!important}.social-embed .twitter-tweet{margin-top:0!important;margin-bottom:0!important}.social-embed iframe,.social-embed twitter-widget,.social-embed .bluesky-embed,.social-embed blockquote{mix-blend-mode:multiply;margin:0 auto!important;clip-path:inset(8px round 12px);border:none!important;box-shadow:none!important}code{font-family:'JetBrains Mono','JuliaMono','DejaVu Sans Mono',monospace;font-size:0.85em;font-variant-ligatures:contextual}p code,li code,td code{background-color:rgba(0,217,255,0.10);padding:0.1em 0.35em;border-radius:3px}div.sourceCode{position:relative;margin:2.5rem 0;background-color:#15171c;border-top:2px solid #1a1a1a;border-bottom:2px solid #1a1a1a;border-left:4px solid #00d9ff;box-shadow:0 10px 30px -18px rgba(0,0,0,0.6)}pre.sourceCode{margin:0;padding:1.4rem 1.4rem 1.2rem;overflow-x:auto;color:#e6e1cf;line-height:1.55;background:none}div.sourceCode::before{content:"λ lean";position:absolute;top:0.45rem;right:0.8rem;font-family:'JetBrains Mono',monospace;font-size:0.65rem;letter-spacing:0.12em;color:rgba(0,217,255,0.55)}div.sourceCode:not(:has(pre.lean))::before{content:none}pre.sourceCode a{border:none;background:none}code span.kw{color:#00d9ff;font-weight:600}code span.fu{color:#ffb454}code span.dt{color:#c3a6ff}code span.cn{color:#ff8f70}code span.dv{color:#ff8f70}code span.op{color:#a8c7d8}code span.st{color:#b8e0a0}code span.sc{color:#ffd580}code span.co{color:#7d8590;font-style:italic}code span.pp{color:#ff7ab2}code span.at{color:#ff7ab2}code span.al{color:#ff5f5f;font-weight:600}pre.sourceCode ::selection{background:rgba(0,217,255,0.25)}