@import"https://fonts.googleapis.com/css2?family=Instrument+Serif:ital@0;1&family=Crimson+Pro:ital,wght@0,300;0,400;0,600;1,300;1,400&family=JetBrains+Mono:wght@400;500&display=swap";:root{--void: #080b10;--stone: #0e1520;--shadow: #151e2b;--surface: #1a2535;--surface-raised: #1f2d3d;--border: #243346;--border-light: #2d3f56;--text-dim: #4a6282;--text-muted: #647d99;--text-secondary: #8ba0ba;--text-primary: #c8d8ea;--text-bright: #e8f2ff;--layer-0: #3b82f6;--layer-1: #8b5cf6;--layer-2: #ec4899;--layer-3: #f97316;--layer-4: #eab308;--layer-5: #22c55e;--external: #6b7280;--gold: #d4a017;--gold-dim: #a07810;--gold-bright: #f0c040;--op-o1: #3b82f6;--op-o2: #8b5cf6;--op-o3: #ef4444;--op-o4: #f97316;--op-o5: #eab308;--op-o6: #22c55e;--op-o7: #06b6d4;--validated: #22c55e;--partial: #f97316;--untested: #6b7280;--falsified: #ef4444}*{box-sizing:border-box;margin:0;padding:0}html,body{height:100%;background:var(--void);color:var(--text-primary);font-family:Crimson Pro,Georgia,serif;font-size:17px;line-height:1.6;-webkit-font-smoothing:antialiased}#root{min-height:100vh;display:flex;flex-direction:column}h1,h2,h3,h4,h5,h6{font-family:"Instrument Serif",Georgia,serif;color:var(--text-bright);line-height:1.2}h1{font-size:2.5rem}h2{font-size:1.8rem}h3{font-size:1.3rem}h4{font-size:1.05rem}code,pre,.mono{font-family:JetBrains Mono,monospace}a{color:var(--gold);text-decoration:none;transition:color .2s}a:hover{color:var(--gold-bright)}::-webkit-scrollbar{width:6px;height:6px}::-webkit-scrollbar-track{background:var(--stone)}::-webkit-scrollbar-thumb{background:var(--border-light);border-radius:3px}::-webkit-scrollbar-thumb:hover{background:var(--text-dim)}.container{max-width:1400px;margin:0 auto;padding:0 2rem}.card{background:var(--stone);border:1px solid var(--border);border-radius:8px;padding:1.5rem;transition:border-color .2s}.card:hover{border-color:var(--border-light)}.btn{display:inline-flex;align-items:center;gap:.5rem;padding:.5rem 1.25rem;border-radius:6px;font-family:Crimson Pro,serif;font-size:1rem;cursor:pointer;transition:all .2s;border:none;text-decoration:none}.btn-primary{background:var(--gold-dim);color:var(--text-bright)}.btn-primary:hover{background:var(--gold);color:var(--void)}.btn-secondary{background:var(--surface);color:var(--text-secondary);border:1px solid var(--border)}.btn-secondary:hover{background:var(--surface-raised);color:var(--text-primary)}.btn-ghost{background:transparent;color:var(--text-muted)}.btn-ghost:hover{background:var(--surface);color:var(--text-primary)}.tag{display:inline-flex;align-items:center;padding:.15rem .5rem;border-radius:4px;font-size:.72rem;font-family:JetBrains Mono,monospace;letter-spacing:.02em}.tag-layer-0{background:#3b82f61f;color:var(--layer-0);border:1px solid rgba(59,130,246,.2)}.tag-layer-1{background:#8b5cf61f;color:var(--layer-1);border:1px solid rgba(139,92,246,.2)}.tag-layer-2{background:#ec48991f;color:var(--layer-2);border:1px solid rgba(236,72,153,.2)}.tag-layer-3{background:#f973161f;color:var(--layer-3);border:1px solid rgba(249,115,22,.2)}.tag-layer-4{background:#eab3081f;color:var(--layer-4);border:1px solid rgba(234,179,8,.2)}.tag-layer-5{background:#22c55e1f;color:var(--layer-5);border:1px solid rgba(34,197,94,.2)}.tag-external{background:#6b72801f;color:var(--external);border:1px solid rgba(107,114,128,.2)}.tag-validated{background:#22c55e1f;color:var(--validated);border:1px solid rgba(34,197,94,.2)}.tag-partial{background:#f973161f;color:var(--partial);border:1px solid rgba(249,115,22,.2)}.tag-untested{background:#6b72801f;color:var(--untested);border:1px solid rgba(107,114,128,.2)}.tag-falsified{background:#ef44441f;color:var(--falsified);border:1px solid rgba(239,68,68,.2)}@keyframes pulse{0%,to{opacity:.5}50%{opacity:1}}.loading-pulse{animation:pulse 1.5s ease-in-out infinite}@keyframes shimmer{0%{background-position:-200% 0}to{background-position:200% 0}}.skeleton{background:linear-gradient(90deg,var(--surface) 25%,var(--surface-raised) 50%,var(--surface) 75%);background-size:200% 100%;animation:shimmer 1.5s infinite;border-radius:4px}.divider{border:none;border-top:1px solid var(--border);margin:1rem 0}.math{font-family:JetBrains Mono,monospace;font-size:.85rem;color:var(--gold);background:#d4a01714;padding:.15rem .4rem;border-radius:3px}