:root{--color-surface:#1e1e1e;--color-surface-elevated:#374151;--color-surface-overlay:#111827;--color-surface-90:#1e1e1ee6;--color-surface-85:#1e1e1ed9;--color-surface-70:#1e1e1eb3;--color-surface-50:#1e1e1e80;--color-surface-20:#1e1e1e33;--color-text-primary:#fff;--color-text-secondary:#d1d5db;--color-text-tertiary:#9ca3af;--color-primary:#3b82f6;--color-primary-hover:#2563eb;--color-primary-active:#1d4ed8;--color-primary-20:#3b82f633;--color-primary-10:#3b82f61a;--color-secondary:#6b7280;--color-secondary-hover:#4b5563;--color-success:#10b981;--color-success-hover:#059669;--color-success-20:#10b98133;--color-warning:#f59e0b;--color-warning-hover:#d97706;--color-warning-20:#f59e0b33;--color-error:#ef4444;--color-error-hover:#dc2626;--color-error-20:#ef444433;--color-info:#3b82f6;--color-info-hover:#2563eb;--color-info-20:#3b82f633;--color-purple:#a855f7;--color-purple-20:#a855f733;--color-indigo:#6366f1;--color-indigo-20:#6366f133;--color-border:#ffffff1a;--color-border-hover:#3b82f699;--shadow-sm:0 1px 2px 0 #0000000d;--shadow-md:0 4px 6px -1px #0000001a, 0 2px 4px -1px #0000000f;--shadow-lg:0 10px 15px -3px #0000001a, 0 4px 6px -2px #0000000d;--shadow-xl:0 20px 25px -5px #0000001a, 0 10px 10px -5px #0000000a;--animation-duration-fast:.2s;--animation-duration-normal:.3s;--animation-duration-slow:.5s;--animation-easing-default:cubic-bezier(.4, 0, .2, 1);--animation-easing-in:cubic-bezier(.4, 0, 1, 1);--animation-easing-out:cubic-bezier(0, 0, .2, 1);--animation-easing-bounce:cubic-bezier(.68, -.55, .265, 1.55);--z-base:0;--z-dropdown:1000;--z-sticky:1020;--z-fixed:1030;--z-modal-backdrop:1040;--z-modal:1050;--z-toast:1060;--radius-sm:.25rem;--radius-md:.5rem;--radius-lg:.75rem;--radius-xl:1rem;--radius-2xl:1.5rem;--radius-full:9999px;--backdrop-blur-sm:blur(4px);--backdrop-blur-md:blur(8px);--backdrop-blur-lg:blur(16px)}.text-primary{color:var(--color-text-primary)}.text-secondary{color:var(--color-text-secondary)}.text-tertiary{color:var(--color-text-tertiary)}.text-error{color:var(--color-error)}.text-success{color:var(--color-success)}.text-warning{color:var(--color-warning)}.bg-surface{background:var(--color-surface)}.bg-surface-elevated{background:var(--color-surface-elevated)}.bg-gradient-dark{background:linear-gradient(#111827,#1e1e1e 50%,#141923)}.bg-error-subtle{background:var(--color-error-20);border:1px solid var(--color-error);color:var(--color-error)}.border-default{border:1px solid var(--color-border)}.border-top{border-top:1px solid var(--color-border)}.hero-image{outline:4px solid var(--color-primary);box-shadow:0 10px 30px -10px #1d4ed880}.gradient-line-horizontal{background:linear-gradient(to right, transparent, var(--color-primary), transparent)}.z-fixed{z-index:var(--z-fixed)}.z-modal-backdrop{z-index:var(--z-modal-backdrop)}.z-modal{z-index:var(--z-modal)}.z-toast{z-index:var(--z-toast)}.sr-only{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.skip-link{background:var(--color-primary);color:#fff;z-index:var(--z-toast);border-radius:var(--radius-md);padding:8px 16px;font-weight:600;text-decoration:none;position:absolute;top:-40px;left:0}.skip-link:focus{outline-offset:2px;outline:2px solid #fff;top:8px;left:8px}.gradient-overlay-primary{background:linear-gradient(to bottom right, transparent, transparent, var(--color-primary-10));transition:background var(--animation-duration-normal) var(--animation-easing-default)}.gradient-overlay-primary:hover{background:linear-gradient(to bottom right, var(--color-primary-10), transparent, transparent)}.gradient-overlay-success{background:linear-gradient(to bottom right, transparent, transparent, var(--color-success-20));transition:background var(--animation-duration-normal) var(--animation-easing-default)}.gradient-overlay-success:hover{background:linear-gradient(to bottom right, var(--color-success-20), transparent, transparent)}.gradient-overlay-warning{background:linear-gradient(to bottom right, transparent, transparent, var(--color-warning-20));transition:background var(--animation-duration-normal) var(--animation-easing-default)}.gradient-overlay-warning:hover{background:linear-gradient(to bottom right, var(--color-warning-20), transparent, transparent)}.gradient-overlay-error{background:linear-gradient(to bottom right, transparent, transparent, var(--color-error-20));transition:background var(--animation-duration-normal) var(--animation-easing-default)}.gradient-overlay-error:hover{background:linear-gradient(to bottom right, var(--color-error-20), transparent, transparent)}.text-gradient-primary{background:linear-gradient(to right, var(--color-primary), var(--color-info));-webkit-text-fill-color:transparent;background-clip:text}.card-glass{background:var(--color-surface-70);-webkit-backdrop-filter:var(--backdrop-blur-md);border:1px solid var(--color-border);color:var(--color-text-primary);box-shadow:var(--shadow-lg);transition:all var(--animation-duration-normal) var(--animation-easing-default);will-change:transform, box-shadow, border-color}.card-glass:hover{border-color:var(--color-border-hover);box-shadow:var(--shadow-xl);transform:translateY(-2px)}@supports not (backdrop-filter:blur(8px)){.card-glass{background:var(--color-surface-elevated)}}.card-solid{background:var(--color-surface-elevated);border:1px solid var(--color-border);color:var(--color-text-primary);box-shadow:var(--shadow-md);transition:all var(--animation-duration-normal) var(--animation-easing-default)}.btn-primary{background:var(--color-primary);color:#fff;transition:all var(--animation-duration-fast) var(--animation-easing-default);cursor:pointer;border:none;font-weight:600}.btn-primary:hover:not(:disabled){background:var(--color-primary-hover);transform:translateY(-1px)}.btn-primary:active{background:var(--color-primary-active);transform:translateY(0)}.btn-primary:focus-visible{outline:2px solid var(--color-primary);outline-offset:2px}.btn-primary:disabled{background:var(--color-secondary);cursor:not-allowed;opacity:.5;transform:none}.btn-secondary{background:var(--color-secondary);color:#fff;transition:all var(--animation-duration-fast) var(--animation-easing-default);cursor:pointer;border:none;font-weight:600}.btn-secondary:hover{background:var(--color-secondary-hover)}.btn-secondary:focus-visible{outline:2px solid var(--color-secondary);outline-offset:2px}.btn-secondary:disabled{cursor:not-allowed;opacity:.5}.btn-success{background:var(--color-success);color:#fff;transition:all var(--animation-duration-fast) var(--animation-easing-default);cursor:pointer;border:none;font-weight:600}.btn-success:hover:not(:disabled){background:var(--color-success-hover);transform:translateY(-1px)}.btn-success:focus-visible{outline:2px solid var(--color-success);outline-offset:2px}.btn-success:disabled{cursor:not-allowed;opacity:.5;transform:none}.btn-danger{background:var(--color-error);color:#fff;transition:all var(--animation-duration-fast) var(--animation-easing-default);cursor:pointer;border:none;font-weight:600}.btn-danger:hover{background:var(--color-error-hover)}.btn-danger:focus-visible{outline:2px solid var(--color-error);outline-offset:2px}.btn-danger:disabled{cursor:not-allowed;opacity:.5}.btn-ghost{color:var(--color-text-primary);transition:all var(--animation-duration-fast) var(--animation-easing-default);cursor:pointer;background:0 0;border:none;font-weight:600}.btn-ghost:hover{background:var(--color-surface-20)}.btn-ghost:focus-visible{outline:2px solid var(--color-primary);outline-offset:2px}.badge-success{background:var(--color-success-20);color:var(--color-success);align-items:center;gap:.25rem;font-size:.75rem;font-weight:600;display:inline-flex}.badge-warning{background:var(--color-warning-20);color:var(--color-warning);align-items:center;gap:.25rem;font-size:.75rem;font-weight:600;display:inline-flex}.badge-error{background:var(--color-error-20);color:var(--color-error);align-items:center;gap:.25rem;font-size:.75rem;font-weight:600;display:inline-flex}.badge-info{background:var(--color-info-20);color:var(--color-info);align-items:center;gap:.25rem;font-size:.75rem;font-weight:600;display:inline-flex}.badge-purple{background:var(--color-purple-20);color:var(--color-purple);align-items:center;gap:.25rem;font-size:.75rem;font-weight:600;display:inline-flex}.badge-indigo{background:var(--color-indigo-20);color:var(--color-indigo);align-items:center;gap:.25rem;font-size:.75rem;font-weight:600;display:inline-flex}.input-field{border:1px solid var(--color-border);border-radius:var(--radius-md);background:var(--color-surface-elevated);width:100%;color:var(--color-text-primary);transition:all var(--animation-duration-fast) var(--animation-easing-default);padding-block:.75rem;padding-inline:.75rem}.input-field::placeholder{color:var(--color-text-tertiary)}.input-field:focus{outline:2px solid var(--color-primary);outline-offset:0;border-color:var(--color-primary);box-shadow:0 0 0 4px var(--color-primary-10)}.input-field:disabled{background:var(--color-surface-20);color:var(--color-text-tertiary);cursor:not-allowed;opacity:.6}.input-field--error{border-color:var(--color-error)}.input-field--error:focus{outline-color:var(--color-error);border-color:var(--color-error);box-shadow:0 0 0 4px var(--color-error-20)}.input-label{color:var(--color-text-primary);margin-bottom:.5rem;font-size:.875rem;font-weight:500;display:block}.checkbox-field{border:1px solid var(--color-border);border-radius:var(--radius-sm);background:var(--color-surface-elevated);cursor:pointer;width:1.25rem;height:1.25rem;transition:all var(--animation-duration-fast) var(--animation-easing-default)}.checkbox-field:focus{outline:2px solid var(--color-primary);outline-offset:2px;box-shadow:0 0 0 4px var(--color-primary-10)}.checkbox-field:checked{background:var(--color-primary);border-color:var(--color-primary)}.checkbox-field:disabled{background:var(--color-surface-20);cursor:not-allowed;opacity:.6}.select-field{border:1px solid var(--color-border);border-radius:var(--radius-md);background:var(--color-surface-elevated);width:100%;color:var(--color-text-primary);cursor:pointer;transition:all var(--animation-duration-fast) var(--animation-easing-default);padding:.75rem}.select-field:focus{outline:2px solid var(--color-primary);outline-offset:0;border-color:var(--color-primary);box-shadow:0 0 0 4px var(--color-primary-10)}.select-field:disabled{background:var(--color-surface-20);color:var(--color-text-tertiary);cursor:not-allowed;opacity:.6}.error-message{color:var(--color-error);margin-top:.5rem;font-size:.875rem}.modal-overlay{background:var(--color-surface-50);z-index:var(--z-modal-backdrop);justify-content:center;align-items:center;display:flex;position:fixed;inset:0}.modal-container{background:var(--color-surface-elevated);color:var(--color-text-primary);border-radius:var(--radius-xl);box-shadow:var(--shadow-xl);border:1px solid var(--color-border);max-height:90vh;z-index:var(--z-modal);position:relative;overflow:auto}.carousel-nav-button{background:var(--color-surface-90);border:1px solid var(--color-border);color:var(--color-text-primary)}.loading-overlay{background:var(--color-surface-50);z-index:var(--z-modal);justify-content:center;align-items:center;display:flex;position:fixed;inset:0}.skeleton{background:var(--color-surface-elevated);border-radius:var(--radius-md);animation:1.5s ease-in-out infinite pulse}@keyframes pulse{0%,to{opacity:1}50%{opacity:.5}}.toast-container{z-index:var(--z-toast);background:var(--color-surface-elevated);color:var(--color-text-primary);border-radius:var(--radius-lg);box-shadow:var(--shadow-xl);border:1px solid var(--color-border);min-width:300px;max-width:90vw;padding:1.5rem;position:fixed;bottom:1rem;left:50%;transform:translate(-50%)}.link-primary{color:var(--color-primary);text-decoration:underline;text-decoration-color:var(--color-primary);text-underline-offset:4px;transition:all var(--animation-duration-fast) var(--animation-easing-default)}.link-primary:hover{color:var(--color-primary-hover);text-decoration-color:var(--color-primary-hover)}.link-primary:focus-visible{outline:2px solid var(--color-primary);outline-offset:2px;border-radius:var(--radius-sm)}.no-underline{text-decoration:none}.header-glass{background:var(--color-surface-85);-webkit-backdrop-filter:var(--backdrop-blur-md);color:var(--color-text-primary);box-shadow:var(--shadow-lg);border-bottom:1px solid var(--color-border)}@supports not (backdrop-filter:blur(8px)){.header-glass{background:var(--color-surface)}}.footer-glass{background:var(--color-surface-85);-webkit-backdrop-filter:var(--backdrop-blur-md);color:var(--color-text-primary);border-top:1px solid var(--color-border)}@supports not (backdrop-filter:blur(8px)){.footer-glass{background:var(--color-surface)}}.table-container{background:var(--color-surface);color:var(--color-text-primary);border-radius:var(--radius-lg);overflow:hidden}.table-header{background:var(--color-surface-elevated);color:var(--color-text-secondary);text-align:left;cursor:pointer;transition:background var(--animation-duration-fast) var(--animation-easing-default);padding:.75rem;font-weight:600}.table-header:hover{background:var(--color-surface-70)}.table-row{border-bottom:1px solid var(--color-border);cursor:pointer;transition:background var(--animation-duration-fast) var(--animation-easing-default)}.table-row:hover{background:var(--color-surface-elevated)}.table-cell{color:var(--color-text-primary);padding:.75rem}.doc-table{border-collapse:collapse;border-radius:var(--radius-lg);border:1px solid var(--color-border);width:100%;margin:1.5rem 0;font-size:.875rem;overflow:hidden}.doc-table th{text-align:left;background:var(--color-surface-elevated);color:var(--color-text-primary);border-bottom:2px solid var(--color-border);white-space:nowrap;padding:.875rem 1rem;font-weight:600}.doc-table td{border-bottom:1px solid var(--color-border);vertical-align:top;color:var(--color-text-secondary);padding:.875rem 1rem;line-height:1.5}.doc-table tr:last-child td{border-bottom:none}.doc-table tr:hover td{background:var(--color-surface-20)}.doc-table code{background:var(--color-surface-70);border-radius:var(--radius-sm);color:var(--color-primary);white-space:nowrap;padding:.125rem .5rem;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:.8125rem}.blog-prose{color:var(--color-text-secondary);line-height:1.85}.blog-prose>*+*{margin-top:1.5rem}.blog-prose p{text-indent:1.5rem;margin-bottom:1.5rem}.blog-prose>p:first-child,.blog-prose>h2+p,.blog-prose>h3+p,.blog-prose>h4+p,.blog-prose>pre+p,.blog-prose>ul+p,.blog-prose>ol+p,.blog-prose>hr+p{text-indent:0}.blog-prose code{background:var(--color-surface-70);border-radius:var(--radius-sm);color:var(--color-primary);padding:.125rem .5rem;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:.875rem}.blog-prose a{color:var(--color-primary);text-underline-offset:2px;text-decoration:underline}.blog-prose a:hover{color:var(--color-primary-hover)}.blog-prose ul,.blog-prose ol{margin:1rem 0;padding-left:1.5rem}.blog-prose li{margin-bottom:.5rem;line-height:1.75}.blog-prose>:first-child{margin-top:0}.blog-prose>:last-child{margin-bottom:0}.alert{border:1px solid var(--color-border-default,#94a3b833);background:var(--color-surface-elevated,#1e293b99);color:var(--color-text-secondary);border-left-width:4px;border-radius:.75rem;padding:1rem 1.25rem;line-height:1.6}.alert strong{color:var(--color-text-primary)}.alert-info{border-left-color:var(--color-info);background:var(--color-info-20)}.alert-warning{border-left-color:var(--color-warning);background:var(--color-warning-20)}.alert-success{border-left-color:var(--color-success);background:var(--color-success-20)}.doc-prose{color:var(--color-text-secondary);line-height:1.75}.doc-prose>*+*{margin-top:1.25rem}.doc-prose h2{color:var(--color-text-primary);margin-top:2.5rem;margin-bottom:1rem;font-size:1.5rem;font-weight:700;line-height:1.3}.doc-prose h3{color:var(--color-text-primary);margin-top:2rem;margin-bottom:.75rem;font-size:1.25rem;font-weight:600;line-height:1.4}.doc-prose h4{color:var(--color-text-primary);margin-top:1.5rem;margin-bottom:.5rem;font-size:1.125rem;font-weight:600}.doc-prose p{margin-bottom:1rem}.doc-prose ul,.doc-prose ol{margin:1rem 0;padding-left:1.5rem}.doc-prose li{margin-bottom:.5rem;line-height:1.625}.doc-prose li::marker{color:var(--color-text-tertiary)}.doc-prose code{background:var(--color-surface-70);border-radius:var(--radius-sm);color:var(--color-primary);padding:.125rem .5rem;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:.875rem}.doc-prose pre{margin:1.5rem 0}.doc-prose a{color:var(--color-primary);text-underline-offset:2px;text-decoration:underline}.doc-prose a:hover{color:var(--color-primary-hover)}.doc-prose strong{color:var(--color-text-primary);font-weight:600}.doc-prose table{border-collapse:collapse;width:100%;margin:1.5rem 0;font-size:.9375rem;display:block;overflow-x:auto}.doc-prose thead{border-bottom:2px solid var(--color-border-default,#94a3b840)}.doc-prose th{text-align:left;color:var(--color-text-primary);white-space:nowrap;padding:.625rem .875rem;font-weight:600}.doc-prose td{border-bottom:1px solid var(--color-border-default,#94a3b81f);vertical-align:top;padding:.625rem .875rem}.doc-prose tbody tr:last-child td{border-bottom:none}.doc-prose>:first-child{margin-top:0}.doc-prose>:last-child{margin-bottom:0}.source-ref{margin-left:1px;text-decoration:none}.source-ref:hover .source-ref__number{color:var(--color-primary)}.source-ref__number{color:var(--color-text-tertiary);transition:color var(--animation-duration-fast) var(--animation-easing-default);padding:0 1px;font-size:.7em}*{box-sizing:border-box}body{background:var(--color-surface);color:var(--color-text-primary);margin:0;font-family:system-ui,-apple-system,Segoe UI,sans-serif;line-height:1.6}a{color:var(--color-primary);text-decoration:none}a:hover{color:var(--color-primary-hover)}.site-header{background:var(--color-surface-overlay);border-bottom:1px solid var(--color-surface-elevated);align-items:center;gap:1.5rem;padding:1rem 2rem;display:flex}.site-header .brand{color:var(--color-text-primary);font-size:1.25rem;font-weight:700}.site-header nav{flex-wrap:wrap;gap:1.25rem;display:flex}.site-header nav a{color:var(--color-text-secondary)}.site-header nav a:hover,.site-header nav a[data-status=active]{color:var(--color-text-primary)}.site-main{max-width:56rem;margin:0 auto;padding:3rem 2rem 5rem}.site-main h1{font-size:2rem}.placeholder{color:var(--color-text-tertiary);border:1px dashed var(--color-secondary);border-radius:.5rem;margin-top:2rem;padding:1rem 1.5rem}.site-footer{background:var(--color-surface-overlay);border-top:1px solid var(--color-surface-elevated);color:var(--color-text-tertiary);flex-direction:column;gap:.75rem;padding:2rem;display:flex}.site-footer .links{flex-wrap:wrap;gap:1.25rem;display:flex}.eyebrow{text-transform:uppercase;letter-spacing:.08em;color:var(--color-primary);margin:0 0 .75rem;font-size:.75rem;font-weight:600}.hero{border-bottom:1px solid var(--color-border);margin-bottom:2.5rem;padding:1rem 0 2.5rem}.hero h1{color:var(--color-text-primary);letter-spacing:-.02em;margin:0 0 1rem;font-size:clamp(2rem,5vw,3rem);line-height:1.1}.hero .tagline{color:var(--color-text-secondary);max-width:42rem;margin:0 0 1.75rem;font-size:1.15rem}.hero .hint{color:var(--color-text-tertiary);margin-top:.5rem;font-size:.85rem}.cta-row{flex-wrap:wrap;gap:.75rem;margin-top:1.75rem;display:flex}.btn{border-radius:var(--radius-md);border:1px solid var(--color-border);transition:all var(--animation-duration-fast,.15s) ease;padding:.6rem 1.15rem;font-size:.95rem;font-weight:600;display:inline-block}.btn-primary{background:var(--color-primary);color:#fff;border-color:var(--color-primary)}.btn-primary:hover{background:var(--color-primary-hover);color:#fff}.btn-ghost{color:var(--color-text-primary);background:0 0}.btn-ghost:hover{background:var(--color-surface-elevated);color:var(--color-text-primary)}.section{margin-top:3.5rem}.section>h2{color:var(--color-text-primary);margin:0 0 .35rem;scroll-margin-top:1.5rem;font-size:1.5rem}.section>.lede{color:var(--color-text-tertiary);max-width:44rem;margin:0 0 1.5rem}.card-grid{grid-template-columns:repeat(auto-fit,minmax(16rem,1fr));gap:1rem;display:grid}.card{background:var(--color-surface-overlay);border:1px solid var(--color-border);border-radius:var(--radius-md);padding:1.25rem 1.35rem}.card h3{color:var(--color-text-primary);margin:0 0 .5rem;font-size:1.05rem}.card p{color:var(--color-text-secondary);margin:0 0 .85rem;font-size:.92rem}.card .card-link{font-size:.85rem;font-weight:600}.card :where(pre){margin:0 0 .85rem}.loop-grid{grid-template-columns:repeat(auto-fit,minmax(15rem,1fr));gap:.75rem;margin-top:1rem;display:grid}.loop{background:var(--color-surface-overlay);border:1px solid var(--color-border);border-radius:var(--radius-md);padding:.85rem 1rem}.loop .loop-label{text-transform:uppercase;letter-spacing:.06em;color:var(--color-primary);font-size:.72rem;font-weight:700}.loop .loop-verbs{color:var(--color-text-secondary);margin-top:.35rem;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:.85rem}.note{background:var(--color-primary-10);border:1px solid var(--color-border);border-left:3px solid var(--color-primary);border-radius:var(--radius-sm);color:var(--color-text-secondary);margin:1.5rem 0;padding:.85rem 1.1rem;font-size:.9rem}.note strong{color:var(--color-text-primary)}.os-toggle{background:var(--color-surface-overlay);border-radius:var(--radius-md);border:1px solid var(--color-border);gap:.35rem;margin-bottom:.85rem;padding:.25rem;display:inline-flex}.os-toggle button{font:inherit;border-radius:var(--radius-sm);color:var(--color-text-tertiary);cursor:pointer;background:0 0;border:none;padding:.35rem .85rem;font-size:.85rem;font-weight:600}.os-toggle button[data-active=true]{background:var(--color-primary);color:#fff}.toc{background:var(--color-surface-overlay);border:1px solid var(--color-border);border-radius:var(--radius-md);flex-wrap:wrap;gap:.5rem 1.25rem;margin-bottom:2rem;padding:1rem 1.25rem;font-size:.9rem;display:flex}.cli-group{margin-top:2rem}.cli-group h3{color:var(--color-text-primary);margin:0 0 .75rem;scroll-margin-top:1.5rem;font-size:1.05rem}.cli-table{border-collapse:collapse;width:100%;font-size:.88rem;display:block;overflow-x:auto}.cli-table td{border-bottom:1px solid var(--color-border);vertical-align:top;padding:.5rem .85rem .5rem 0}.cli-table td:first-child{white-space:nowrap;color:var(--color-primary);padding-right:1.5rem;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace}.cli-table td:last-child{color:var(--color-text-secondary)}.proof{background:var(--color-surface-overlay);border:1px solid var(--color-border);border-radius:var(--radius-md);margin-bottom:1.25rem;padding:1.35rem 1.5rem}.proof h3{color:var(--color-text-primary);margin:0 0 .35rem;font-size:1.1rem}.proof .proves{color:var(--color-text-secondary);margin:0 0 1rem;font-size:.93rem}.proof .proves strong{color:var(--color-text-primary)}.verbatim{border:1px solid var(--color-border);border-radius:var(--radius-sm);color:var(--color-text-secondary);white-space:pre;background:#0b0f19;margin:0 0 .85rem;padding:1rem 1.1rem;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:.8rem;line-height:1.55;overflow-x:auto}.verbatim .pass{color:var(--color-success)}.proof .run-link{font-size:.82rem;font-weight:600}.concept{margin-top:1.75rem}.concept h3{color:var(--color-text-primary);margin:0 0 .4rem;scroll-margin-top:1.5rem;font-size:1.1rem}.concept p{color:var(--color-text-secondary);margin:0}.repo-page{flex-direction:column;gap:1.5rem;display:flex}.repo-bar{border-bottom:1px solid var(--color-border);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:1rem;padding-bottom:.85rem;display:flex}.repo-id{flex-wrap:wrap;align-items:center;gap:.5rem;font-size:1.05rem;display:flex}.repo-id .repo-name{color:var(--color-text-primary);font-weight:700}.repo-id .sep,.crumbs .sep{color:var(--color-text-tertiary)}.repo-tabs{gap:1.1rem;display:flex}.repo-tabs a{color:var(--color-text-secondary);font-size:.9rem}.repo-tabs a[data-tab-active=true]{color:var(--color-text-primary);font-weight:600}.band{text-transform:uppercase;letter-spacing:.06em;border-radius:var(--radius-sm);border:1px solid var(--color-border);color:var(--color-text-tertiary);padding:.15rem .5rem;font-size:.7rem}.band-metadata-public{color:var(--color-success);border-color:var(--color-success)}.crumbs{flex-wrap:wrap;align-items:center;gap:.35rem;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:.85rem;display:flex}.crumbs .crumb-leaf{color:var(--color-text-primary)}.key-full{word-break:break-all;font-size:.95rem}.muted{color:var(--color-text-tertiary);font-size:.82rem}.repo-list,.path-list,.change-list{flex-direction:column;gap:.5rem;margin:0;padding:0;list-style:none;display:flex}.change-list .change-message{color:var(--color-text-primary)}.change-list .diff-link{margin-left:.6rem}.divergent-mark{color:var(--color-warning)}.divergence{border-left:3px solid var(--color-warning);background:var(--color-surface-overlay);color:var(--color-text-secondary);margin:0;padding:.5rem .9rem;font-size:.88rem}.tree-table{border-collapse:collapse;width:100%;font-size:.9rem}.tree-table td{border-bottom:1px solid var(--color-border);vertical-align:middle;padding:.45rem .6rem}.tree-table td:first-child{font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace}.lock{text-transform:uppercase;letter-spacing:.06em;border-radius:var(--radius-sm);border:1px solid var(--color-border);color:var(--color-text-tertiary);white-space:nowrap;padding:.12rem .45rem;font-size:.7rem}.lock-published{color:var(--color-success);border-color:var(--color-success)}.lock-restricted,.lock-embargoed{color:var(--color-warning)}.lock .claim{text-transform:none;letter-spacing:0;font-style:italic}.blob-meta{flex-wrap:wrap;align-items:center;gap:.75rem;display:flex}.notice{border:1px solid var(--color-border);border-left:3px solid var(--color-text-tertiary);border-radius:var(--radius-sm);color:var(--color-text-secondary);background:var(--color-surface-overlay);margin:0;padding:.75rem 1rem}.notice-burned{border-left-color:var(--color-error)}.notice-locked{border-left-color:var(--color-warning)}.blob-code{border:1px solid var(--color-border);border-radius:var(--radius-sm);color:var(--color-text-secondary);white-space:pre;background:#0b0f19;margin:0;padding:1rem 1.1rem;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:.8rem;line-height:1.55;overflow-x:auto}.blob-code .token.comment,.blob-code .token.prolog,.blob-code .token.doctype,.blob-code .token.cdata{color:var(--color-text-tertiary);font-style:italic}.blob-code .token.punctuation,.blob-code .token.operator{color:var(--color-text-secondary)}.blob-code .token.keyword,.blob-code .token.atrule,.blob-code .token.important{color:var(--color-primary)}.blob-code .token.string,.blob-code .token.char,.blob-code .token.attr-value{color:var(--color-success)}.blob-code .token.number,.blob-code .token.boolean,.blob-code .token.constant,.blob-code .token.symbol{color:var(--color-warning)}.blob-code .token.function,.blob-code .token.class-name,.blob-code .token.builtin{color:var(--color-text-primary)}.blob-code .token.tag,.blob-code .token.selector,.blob-code .token.attr-name,.blob-code .token.property{color:var(--color-primary-hover)}.diff-sides{flex-wrap:wrap;gap:1.5rem;display:flex}.diff-side{flex-direction:column;flex:16rem;gap:.35rem;display:flex}.diff-stat{margin:0;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:.85rem}.diff-stat .add{color:var(--color-success)}.diff-stat .remove{color:var(--color-error)}.diff-table{border-collapse:collapse;border:1px solid var(--color-border);border-radius:var(--radius-sm);background:#0b0f19;width:100%;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:.78rem;line-height:1.5}.diff-table td{vertical-align:top;padding:0 .5rem}.diff-lineno{text-align:right;width:3rem;color:var(--color-text-tertiary);user-select:none}.diff-sign{user-select:none;width:1rem;color:var(--color-text-tertiary)}.diff-text{white-space:pre-wrap;word-break:break-word;color:var(--color-text-secondary);width:100%}.diff-add{background:var(--color-success-20)}.diff-add .diff-sign,.diff-add .diff-text{color:var(--color-success)}.diff-remove{background:var(--color-error-20)}.diff-remove .diff-sign,.diff-remove .diff-text{color:var(--color-error)}