@import"https://fonts.googleapis.com/css2?family=Inter:wght@300;400;500;600;700;800&family=JetBrains+Mono:wght@400;500;600&family=Fira+Code:wght@400;500;600&display=swap";:root{--theme-bg: #0b0f17;--theme-bg-card: #111827;--theme-bg-card-border: #1e293b;--theme-bg-row-hover: #172033;--theme-accent: #6366f1;--theme-accent-hover: #4f46e5;--theme-accent-green: #10b981;--theme-accent-blue: #3b82f6;--theme-text-primary: #f8fafc;--theme-text-secondary: #94a3b8;--theme-nav-bg: rgba(11, 15, 23, .85);--theme-accent-orange: #f59e0b;--theme-accent-red: #ef4444;--theme-accent-yellow: #eab308;--theme-input-bg: #151d30;--theme-code-bg: #151d30;--theme-shadow-sm: 0 1px 2px 0 rgba(0, 0, 0, .25);--theme-shadow-md: 0 4px 6px -1px rgba(0, 0, 0, .3), 0 2px 4px -2px rgba(0, 0, 0, .25);--theme-shadow-lg: 0 10px 15px -3px rgba(0, 0, 0, .35), 0 4px 6px -4px rgba(0, 0, 0, .25)}[data-theme=light]{--theme-bg: #f8fafc;--theme-bg-card: #ffffff;--theme-bg-card-border: #e2e8f0;--theme-bg-row-hover: #f1f5f9;--theme-accent: #4f46e5;--theme-accent-hover: #4338ca;--theme-accent-green: #059669;--theme-accent-blue: #2563eb;--theme-text-primary: #0f172a;--theme-text-secondary: #64748b;--theme-nav-bg: rgba(255, 255, 255, .88);--theme-accent-orange: #d97706;--theme-accent-red: #dc2626;--theme-accent-yellow: #ca8a04;--theme-input-bg: #f1f5f9;--theme-code-bg: #f1f5f9;--theme-shadow-sm: 0 1px 2px 0 rgba(0, 0, 0, .05);--theme-shadow-md: 0 4px 6px -1px rgba(0, 0, 0, .07), 0 2px 4px -2px rgba(0, 0, 0, .05);--theme-shadow-lg: 0 10px 15px -3px rgba(0, 0, 0, .08), 0 4px 6px -4px rgba(0, 0, 0, .04)}*,*:before,*:after{box-sizing:border-box;margin:0;padding:0}html,body{font-family:Inter,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica,Arial,sans-serif;background-color:var(--theme-bg);color:var(--theme-text-primary);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;transition:background-color .2s ease,color .2s ease;min-height:100vh}code,kbd,samp,pre{font-family:JetBrains Mono,Fira Code,ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace}::-webkit-scrollbar{width:6px;height:6px}::-webkit-scrollbar-track{background:transparent}::-webkit-scrollbar-thumb{background:#94a3b840;border-radius:9999px}::-webkit-scrollbar-thumb:hover{background:#94a3b873}.no-scrollbar::-webkit-scrollbar{display:none}.no-scrollbar{-ms-overflow-style:none;scrollbar-width:none}@keyframes fadeIn{0%{opacity:0;transform:translateY(8px)}to{opacity:1;transform:translateY(0)}}.anim-fade-in{animation:fadeIn .4s cubic-bezier(.16,1,.3,1) forwards}.ant-table-wrapper .ant-table-thead>tr>th,.ant-table-wrapper .ant-table-tbody>tr>td{border-bottom:1px solid var(--theme-bg-card-border)!important}.ant-table-wrapper .ant-table-thead>tr>th:before{display:none!important}.ant-table-wrapper .ant-table{background:transparent!important}.problem-title-link{font-size:14px;font-weight:600;color:var(--theme-text-primary);text-decoration:none;transition:color .15s ease}.problem-title-link:hover{color:var(--theme-accent)!important}.badge-formal{display:inline-flex;align-items:center;gap:6px;padding:3px 10px;border-radius:6px;font-size:12px;font-weight:500;line-height:1.4;letter-spacing:-.01em}.formal-code-block{background:var(--theme-code-bg);border:1px solid var(--theme-bg-card-border);border-radius:8px;font-family:JetBrains Mono,Fira Code,monospace;font-size:13px}.formal-hover-card{transition:transform .2s cubic-bezier(.16,1,.3,1),border-color .2s ease,box-shadow .2s ease}.formal-hover-card:hover{transform:translateY(-2px);border-color:var(--theme-accent)!important;box-shadow:var(--theme-shadow-md)}@media (max-width: 1024px){.problems-grid,.stats-grid{grid-template-columns:1fr!important}.footer-grid{grid-template-columns:1fr 1fr!important}}@media (max-width: 640px){.footer-grid{grid-template-columns:1fr!important}}