@layer reset,tokens,base,utilities,components;@layer tokens{:root{color-scheme:light dark;--bg-outer: light-dark(#e5e7eb, #0f1117);--bg: light-dark(#f8f9fa, #141822);--bg-secondary: light-dark(#ffffff, #1a2030);--bg-sidebar: light-dark(#f3f4f6, #12161e);--fg-heading: light-dark(#111827, #e8ecf4);--fg: light-dark(#1a1b26, #d0d4da);--fg-muted: light-dark(#4b5563, #9ba3b0);--fg-dim: light-dark(#6b7280, #6b7585);--border: light-dark(#e5e5e5, rgba(255, 255, 255, .08));--border-strong: light-dark(#d1d5db, rgba(255, 255, 255, .15));--hover: light-dark(#f0f0f2, #1f2335);--hover-subtle: light-dark(#f8f8fa, #1a1f2e);--accent: var(--arb-at);--green: var(--arb-da);--red: var(--arb-dd);--yellow: var(--arb-n);--purple: var(--arb-s);--blue: var(--arb-tu);--neutral: light-dark(#6b7ba8, #8b9bc8);--accent-5: color-mix(in srgb, var(--accent) 5%, var(--bg));--accent-10: color-mix(in srgb, var(--accent) 10%, var(--bg));--accent-12: color-mix(in srgb, var(--accent) 12%, var(--bg));--accent-15: color-mix(in srgb, var(--accent) 15%, var(--bg));--accent-20: color-mix(in srgb, var(--accent) 20%, var(--bg));--accent-30: color-mix(in srgb, var(--accent) 30%, var(--bg));--green-15: color-mix(in srgb, var(--green) 15%, var(--bg));--green-20: color-mix(in srgb, var(--green) 20%, var(--bg));--green-30: color-mix(in srgb, var(--green) 30%, var(--bg));--green-40: color-mix(in srgb, var(--green) 40%, var(--bg));--yellow-20: color-mix(in srgb, var(--yellow) 20%, var(--bg));--yellow-40: color-mix(in srgb, var(--yellow) 40%, var(--bg));--yellow-50: color-mix(in srgb, var(--yellow) 50%, var(--bg));--red-20: color-mix(in srgb, var(--red) 20%, var(--bg));--red-30: color-mix(in srgb, var(--red) 30%, var(--bg));--neutral-25: color-mix(in srgb, var(--neutral) 25%, var(--bg));--neutral-40: color-mix(in srgb, var(--neutral) 40%, var(--bg));--fg-8: color-mix(in srgb, var(--fg-dim) 8%, var(--bg));--fg-15: color-mix(in srgb, var(--fg) 15%, var(--bg));--fg-20: color-mix(in srgb, var(--fg-dim) 20%, var(--bg));--bg-secondary-95: color-mix(in srgb, var(--bg-secondary) 95%, var(--bg));--accent-dim: var(--accent-20);--green-dim: var(--green-20);--yellow-dim: var(--yellow-20);--red-dim: var(--red-20);--neutral-dim: var(--neutral-25);--highlight-accent: var(--accent-15);--highlight-impl: var(--green-15);--highlight-verify: var(--accent-15);--highlight-search: var(--yellow-20);--highlight-target: var(--accent-10);--focus-ring: var(--accent-20);--flash-success: var(--green-30);--status-covered-bg: var(--green-15);--status-covered-fg: var(--fg);--status-partial-bg: var(--yellow-dim);--status-partial-fg: var(--fg);--status-uncovered-bg: var(--accent);--status-uncovered-fg: light-dark(white, #111827);--status-none-bg: var(--neutral-dim);--status-none-fg: var(--fg);--ref-impl-color: var(--green);--ref-impl-bg: var(--green-15);--ref-impl-border: var(--green-30);--ref-verify-color: var(--accent);--ref-verify-bg: var(--accent-15);--ref-verify-border: var(--accent-30);--rule-covered-border: var(--green-40);--rule-partial-border: var(--yellow-40);--rule-uncovered-border: var(--neutral-40);--max-width: 1600px;--font-sans: "Recursive", system-ui, -apple-system, sans-serif;--font-mono: "Recursive", monospace;--text-2xs: .625rem;--text-xs: .75rem;--text-sm: .875rem;--text-base: 1rem;--text-lg: 1.125rem;--text-xl: 1.25rem;--text-2xl: 1.5rem;--text-3xl: 1.875rem;--text-4xl: 2.25rem;--leading-none: 1;--leading-tight: 1.25;--leading-snug: 1.4;--leading-normal: 1.5;--leading-relaxed: 1.6;--leading-loose: 1.75;--weight-normal: 400;--weight-medium: 500;--weight-semibold: 600;--weight-bold: 700;--weight-extrabold: 800;--weight-black: 900;--tracking-tight: -.025em;--tracking-normal: 0;--tracking-wide: .02em;--tracking-wider: .04em;--tracking-widest: .05em;--heading-1-size: var(--text-2xl);--heading-1-weight: var(--weight-black);--heading-2-size: var(--text-xl);--heading-2-weight: var(--weight-extrabold);--heading-3-size: var(--text-lg);--heading-3-weight: var(--weight-extrabold);--heading-4-size: var(--text-base);--heading-4-weight: var(--weight-bold);--body-size: var(--text-sm);--body-weight: var(--weight-normal);--body-leading: var(--leading-relaxed);--ui-size: var(--text-sm);--ui-weight: var(--weight-medium);--label-size: var(--text-xs);--label-weight: var(--weight-medium);--label-tracking: var(--tracking-widest);--caption-size: var(--text-xs);--caption-weight: var(--weight-normal);--code-size: var(--text-sm);--code-inline-size: .85em;--space-0: 0;--space-px: 1px;--space-0-5: .125rem;--space-1: .25rem;--space-1-5: .375rem;--space-2: .5rem;--space-2-5: .625rem;--space-3: .75rem;--space-3-5: .875rem;--space-4: 1rem;--space-5: 1.25rem;--space-6: 1.5rem;--space-8: 2rem;--space-10: 2.5rem;--space-12: 3rem;--gap-xs: var(--space-1);--gap-sm: var(--space-2);--gap-md: var(--space-3);--gap-lg: var(--space-4);--gap-xl: var(--space-6);--duration-instant: .1s;--duration-fast: .15s;--duration-normal: .25s;--duration-slow: .4s;--duration-emphasis: 3s;--ease-out: cubic-bezier(.16, 1, .3, 1);--ease-in-out: cubic-bezier(.65, 0, .35, 1);--ease-spring: cubic-bezier(.175, .885, .32, 1.275);--arb-at: light-dark(var(--arb-at-light), var(--arb-at-dark));--arb-co: light-dark(var(--arb-co-light), var(--arb-co-dark));--arb-fb: light-dark(var(--arb-fb-light), var(--arb-fb-dark));--arb-f: light-dark(var(--arb-f-light), var(--arb-f-dark));--arb-k: light-dark(var(--arb-k-light), var(--arb-k-dark));--arb-o: light-dark(var(--arb-o-light), var(--arb-o-dark));--arb-pr: light-dark(var(--arb-pr-light), var(--arb-pr-dark));--arb-p: light-dark(var(--arb-p-light), var(--arb-p-dark));--arb-s: light-dark(var(--arb-s-light), var(--arb-s-dark));--arb-tg: light-dark(var(--arb-tg-light), var(--arb-tg-dark));--arb-err: light-dark(var(--arb-err-light), var(--arb-err-dark));--arb-t: light-dark(var(--arb-t-light), var(--arb-t-dark));--arb-v: light-dark(var(--arb-v-light), var(--arb-v-dark));--arb-c: light-dark(var(--arb-c-light), var(--arb-c-dark));--arb-m: light-dark(var(--arb-m-light), var(--arb-m-dark));--arb-l: light-dark(var(--arb-l-light), var(--arb-l-dark));--arb-da: light-dark(var(--arb-da-light), var(--arb-da-dark));--arb-dd: light-dark(var(--arb-dd-light), var(--arb-dd-dark));--arb-n: light-dark(var(--arb-n-light), var(--arb-n-dark));--arb-tl: light-dark(var(--arb-tl-light), var(--arb-tl-dark));--arb-tu: light-dark(var(--arb-tu-light), var(--arb-tu-dark));--arb-tr: light-dark(var(--arb-tr-light), var(--arb-tr-dark));--arb-se: light-dark(var(--arb-se-light), var(--arb-se-dark));--arb-tt: light-dark(var(--arb-tt-light), var(--arb-tt-dark));--arb-ch: light-dark(var(--arb-ch-light), var(--arb-ch-dark));--arb-sr: light-dark(var(--arb-sr-light), var(--arb-sr-dark));--arb-bo: light-dark(var(--arb-bo-light), var(--arb-bo-dark))}}@layer reset{*{box-sizing:border-box;margin:0;padding:0}}@layer base{body{font-family:var(--font-sans);background:var(--bg-outer);color:var(--fg);line-height:var(--leading-relaxed)}:is(.mono,code,pre){font-family:var(--font-mono);font-variation-settings:"MONO" 1,"CASL" 0}}@layer utilities{.flex{display:flex}.flex-col{display:flex;flex-direction:column}.flex-1{flex:1}.flex-shrink-0{flex-shrink:0}.inline-flex{display:inline-flex}.items-center{align-items:center}.items-start{align-items:flex-start}.items-stretch{align-items:stretch}.justify-center{justify-content:center}.justify-between{justify-content:space-between}.justify-end{justify-content:flex-end}.gap-0{gap:var(--space-0)}.gap-1{gap:var(--space-1)}.gap-2{gap:var(--space-2)}.gap-3{gap:var(--space-3)}.gap-4{gap:var(--space-4)}.gap-6{gap:var(--space-6)}.gap-8{gap:var(--space-8)}.text-2xs{font-size:var(--text-2xs)}.text-xs{font-size:var(--text-xs)}.text-sm{font-size:var(--text-sm)}.text-base{font-size:var(--text-base)}.text-lg{font-size:var(--text-lg)}.text-xl{font-size:var(--text-xl)}.font-normal{font-weight:var(--weight-normal)}.font-medium{font-weight:var(--weight-medium)}.font-semibold{font-weight:var(--weight-semibold)}.font-bold{font-weight:var(--weight-bold)}.text-muted{color:var(--fg-muted)}.text-dim{color:var(--fg-dim)}.text-accent{color:var(--accent)}.rounded-sm{border-radius:3px}.rounded{border-radius:4px}.rounded-md{border-radius:6px}.rounded-lg{border-radius:8px}.rounded-full{border-radius:9999px}.overflow-hidden{overflow:hidden}.overflow-auto{overflow:auto}.truncate{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.clickable{cursor:pointer;transition:background .15s}.clickable:hover{background:var(--hover)}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}}@layer components{@keyframes pulse-attention{0%,20%{box-shadow:0 0 0 4px var(--pulse-color, var(--accent));transform:scale(var(--pulse-scale, 1.05))}to{box-shadow:0 0 0 0 transparent;transform:scale(1)}}@keyframes flash-success{0%{background:var(--flash-success)}to{background:transparent}}@keyframes pop-in{0%{transform:scale(.8);opacity:0}to{transform:scale(1);opacity:1}}@keyframes fade-in{0%{opacity:0}to{opacity:1}}@media(prefers-reduced-motion:reduce){*,*:before,*:after{animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:.01ms!important}}.app-shell{min-height:100vh;display:flex;flex-direction:column}.loading{display:flex;align-items:center;justify-content:center;min-height:100vh;color:var(--fg-muted);font-size:var(--text-sm)}.btn{display:inline-flex;align-items:center;justify-content:center;gap:var(--space-2);font-family:var(--font-sans);font-size:var(--ui-size);font-weight:var(--ui-weight);border:none;border-radius:6px;cursor:pointer;transition:background .15s,opacity .15s}.btn-md{padding:var(--space-2) var(--space-4)}.btn-sm{padding:var(--space-1-5) var(--space-3);font-size:var(--text-xs)}.btn-primary{background:var(--accent);color:#fff}.btn-primary:hover{opacity:.9}.btn-secondary{background:var(--bg-secondary);color:var(--fg);border:1px solid var(--border)}.btn-secondary:hover{background:var(--hover)}.btn-ghost{background:transparent;color:var(--fg-muted)}.btn-ghost:hover{background:var(--hover-subtle);color:var(--fg)}.layout{display:flex;flex-direction:column;height:100vh;width:var(--max-width);max-width:100%;margin:0 auto;background:var(--bg);border-inline-start:1px solid var(--border);border-inline-end:1px solid var(--border)}.main{flex:1;display:flex;overflow:hidden;width:100%}.header{background:var(--bg-secondary);border-bottom:1px solid var(--border);position:relative;z-index:100}.header-inner{display:flex;align-items:stretch;width:100%;margin-bottom:-1px}.header-pickers{display:flex;align-items:center;gap:var(--space-2);padding:0 var(--space-4);border-inline-end:1px solid var(--border)}.header-select{padding:var(--space-1-5) var(--space-2-5);background:var(--bg);color:var(--fg);border:1px solid var(--border);border-radius:4px;font-size:var(--text-sm);font-family:inherit;cursor:pointer;min-width:80px}.header-select:hover{border-color:var(--fg-muted)}.header-select:focus{outline:none;border-color:var(--accent)}.header-controls{display:flex;align-items:center;gap:var(--space-3);margin-inline-start:auto}.spec-source-link{display:flex;align-items:center;justify-content:center;padding:var(--space-1);color:var(--fg-dim);opacity:.6;transition:opacity .15s,color .15s}.spec-source-link:hover{opacity:1;color:var(--accent)}.spec-source-link svg{width:14px;height:14px}.logo{font-weight:var(--weight-semibold);font-size:var(--text-lg);color:var(--fg);text-decoration:none;display:flex;align-items:center;padding:var(--space-3) var(--space-5);margin-inline-start:auto}.logo:hover{background:var(--hover-subtle)}.nav{display:flex}.nav-tab{padding:var(--space-3) var(--space-5);background:transparent;color:var(--fg-muted);border:none;border-bottom:2px solid transparent;cursor:pointer;font-size:var(--text-sm);font-family:inherit;transition:all .15s;text-decoration:none;display:flex;align-items:center;gap:var(--space-1-5)}.nav-tab:hover{background:var(--hover-subtle);color:var(--fg)}.nav-tab.active{color:var(--accent);border-bottom:2px solid var(--accent);background:var(--bg)}.nav-tab .tab-icon{display:flex}.nav-tab .tab-icon svg{width:1em;height:1em;stroke-width:1.5}.search-box{flex:1;max-width:400px;margin-inline-start:auto}.search-input{width:100%;padding:var(--space-2) var(--space-3);background:var(--bg);color:var(--fg);border:1px solid var(--border);border-radius:6px;font-size:var(--text-sm);font-family:inherit}.search-input:focus{outline:none;border-color:var(--accent);box-shadow:0 0 0 3px var(--accent-dim)}.search-input::placeholder{color:var(--fg-dim)}.stats-bar{display:flex;align-items:center;gap:var(--space-8);padding:var(--space-4) var(--space-6);border-bottom:1px solid var(--border);background:var(--bg-secondary);width:100%;position:relative;z-index:50}.stat{display:flex;flex-direction:column;gap:var(--space-0-5)}.stat-label{font-size:var(--label-size);color:var(--fg-muted);text-transform:uppercase;letter-spacing:var(--label-tracking)}.stat-value{font-size:var(--text-xl);font-weight:var(--weight-semibold)}.stat-value.good{color:var(--green)}.stat-value.warn{color:var(--yellow)}.stat-value.bad{color:var(--red)}.stat.clickable{cursor:pointer;padding:var(--space-2);margin:calc(-1 * var(--space-2));border-radius:6px;transition:background .15s}.stat.clickable:hover{background:var(--hover)}.stats-controls{display:flex;gap:var(--space-3);margin-inline-start:auto}.sidebar{width:360px;border-inline-end:1px solid var(--border);background:var(--bg-sidebar);display:flex;flex-direction:column;overflow:hidden;transition:width var(--duration-normal) var(--ease-out)}.sidebar.collapsed{width:44px}.sidebar-header{padding:var(--space-3) var(--space-4);border-bottom:1px solid var(--border);font-weight:var(--ui-weight);font-size:var(--text-sm);color:var(--fg-muted);display:flex;align-items:center;justify-content:space-between}.sidebar-content{flex:1;overflow-y:auto}.sidebar-collapse-control{display:flex;justify-content:center;padding:var(--space-2) 0;border-bottom:1px solid var(--border)}.sidebar-collapse-btn{width:28px;height:28px;border:1px solid var(--border);border-radius:6px;background:var(--bg-secondary);color:var(--fg-muted);cursor:pointer;display:inline-flex;align-items:center;justify-content:center;transition:color var(--duration-fast) var(--ease-out),border-color var(--duration-fast) var(--ease-out),background var(--duration-fast) var(--ease-out)}.sidebar-collapse-btn:hover{color:var(--fg);border-color:var(--border-strong);background:var(--hover)}.sidebar-collapse-btn:focus-visible{outline:2px solid var(--focus-ring);outline-offset:1px}.sidebar-collapse-btn svg{width:14px;height:14px}.file-tree{padding:var(--space-2)}.tree-folder{-webkit-user-select:none;user-select:none}.tree-folder-header{display:flex;align-items:center;justify-content:space-between;gap:var(--space-1);padding:var(--space-1-5) var(--space-2);border-radius:4px;cursor:pointer;font-size:var(--text-sm);color:var(--fg)}.tree-folder-header:hover{background:var(--hover)}.tree-folder-left{display:flex;align-items:center;gap:var(--space-1)}.tree-folder-icon{width:1rem;height:1rem;color:var(--fg-dim);transition:transform .15s}.tree-folder-children{display:none;padding-inline-start:var(--space-4)}.tree-folder.open>.tree-folder-header .tree-folder-icon{transform:rotate(90deg)}.tree-folder.open>.tree-folder-children{display:block}.folder-badge{font-size:var(--text-2xs);padding:var(--space-0-5) var(--space-1-5);border-radius:4px;font-weight:var(--ui-weight)}.folder-badge.full{background:var(--status-covered-bg);color:var(--status-covered-fg)}.folder-badge.partial{background:var(--status-partial-bg);color:var(--status-partial-fg)}.folder-badge.none{background:var(--status-none-bg);color:var(--status-none-fg)}.tree-file{display:flex;align-items:center;gap:var(--space-2);padding:var(--space-1-5) var(--space-2);padding-inline-start:var(--space-2);border-radius:4px;cursor:pointer;font-size:var(--text-sm)}.tree-file:hover{background:var(--hover)}.tree-file.selected{background:var(--accent-dim);color:var(--accent)}.tree-file-icon{width:1rem;height:1rem;flex-shrink:0;opacity:.8}.tree-file-name{flex:1;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.tree-file-badge{flex-shrink:0;font-size:var(--text-2xs);padding:var(--space-0-5) var(--space-1-5);border-radius:4px;font-weight:var(--ui-weight)}.tree-file-badge.full{background:var(--status-covered-bg);color:var(--status-covered-fg)}.tree-file-badge.partial{background:var(--status-partial-bg);color:var(--status-partial-fg)}.tree-file-badge.none{background:var(--status-none-bg);color:var(--status-none-fg)}.content{flex:1;display:flex;flex-direction:column;overflow:hidden;background:var(--bg)}.content-header{display:flex;align-items:center;gap:var(--space-4);padding:var(--space-2) var(--space-4);border-bottom:1px solid var(--border);background:var(--bg-secondary);font-size:var(--text-sm)}.content-body{flex:1;overflow:auto}.spec-switcher{display:flex;gap:var(--space-1)}.spec-tab{padding:var(--space-1-5) var(--space-3);border:none;background:transparent;color:var(--fg-muted);cursor:pointer;border-radius:4px;font-family:inherit;font-size:inherit;transition:background-color .15s,color .15s}.spec-tab:hover{background:var(--hover);color:var(--fg)}.spec-tab.active{background:var(--accent);color:#fff}.code-view{font-size:var(--text-xs);line-height:var(--leading-relaxed);filter:saturate(.9)}@media(prefers-color-scheme:dark){.code-view{filter:saturate(.9) brightness(1.05)}}.code-line{display:flex;min-height:1.5em}.code-line:hover{background:var(--hover-subtle)}.code-line.highlighted{background:var(--yellow-dim)}.code-line.selected{background:var(--accent-dim)}.code-line.selected-impl{background:var(--highlight-impl)}.code-line.selected-verify{background:var(--highlight-verify)}.code-line.covered .line-number{border-inline-start-color:var(--green)}.code-line.uncovered .line-number{border-inline-start-color:var(--red)}.line-number{width:4rem;padding:0 var(--space-3) 0 var(--space-2);text-align:end;color:var(--fg-dim);-webkit-user-select:none;user-select:none;flex-shrink:0;cursor:pointer;position:relative;border-inline-start:3px solid transparent}.line-number:hover{color:var(--accent)}.line-popover{position:absolute;inset-inline-start:100%;top:50%;transform:translateY(-50%);margin-inline-start:.5rem;background:var(--bg-secondary);border:1px solid var(--border);border-radius:6px;box-shadow:0 4px 12px #00000026;z-index:100;white-space:nowrap;display:flex;flex-direction:column;overflow:hidden}.popover-btn{display:flex;align-items:center;gap:var(--space-2);padding:var(--space-2) var(--space-3);color:var(--fg);text-decoration:none;font-size:var(--text-sm)}.popover-btn:hover{background:var(--hover)}.popover-btn i{font-size:1rem}.popover-btn .editor-icon-svg{width:1rem;height:1rem}.line-content{flex:1;padding-inline-end:1rem;white-space:pre}.line-annotations{padding:0 var(--space-2);display:flex;align-items:center;gap:var(--space-1);position:relative}.line-annotations:hover .annotation-badges{display:flex}.line-annotations:hover .annotation-count{display:none}.annotation-count{font-size:var(--text-2xs);min-width:1.2em;height:1.2em;padding:0 var(--space-1);border-radius:3px;background:var(--accent-dim);color:var(--accent);font-weight:var(--weight-semibold);display:flex;align-items:center;justify-content:center;cursor:pointer}.annotation-badges{display:none;position:absolute;inset-inline-end:0;top:50%;transform:translateY(-50%);background:var(--bg-secondary);border:1px solid var(--border);border-radius:4px;padding:var(--space-1);gap:var(--space-1);flex-wrap:wrap;max-width:300px;z-index:50;box-shadow:0 4px 12px #00000026}.annotation-badge{font-size:var(--text-2xs);padding:var(--space-0-5) var(--space-1-5);border-radius:3px;background:var(--accent-dim);color:var(--accent);font-weight:var(--ui-weight);white-space:nowrap;text-decoration:none;cursor:pointer;transition:all .15s}.annotation-badge:is(a):hover{background:var(--accent);color:#fff}.rules-table{width:100%;border-collapse:collapse}.rules-table th{text-align:start;padding:var(--space-3) var(--space-4);font-size:var(--label-size);font-weight:var(--label-weight);color:var(--fg-muted);text-transform:uppercase;letter-spacing:var(--label-tracking);border-bottom:1px solid var(--border);background:var(--bg-secondary);position:sticky;top:0;z-index:10}.rules-table td{padding:var(--space-3) var(--space-4);border-bottom:1px solid var(--border);vertical-align:top}.rules-table tr:hover td{background:var(--hover-subtle)}.rule-id{font-size:var(--text-sm);font-weight:var(--ui-weight);color:var(--accent)}.rule-id-row{display:flex;align-items:flex-start;gap:var(--space-1-5)}.rule-icon{width:1em;height:1em;color:var(--fg-dim);flex-shrink:0}.rule-text{font-size:var(--text-sm);color:var(--fg-muted);margin-top:.25rem}.rule-text code{font-size:var(--code-inline-size);background:var(--hover);padding:var(--space-0-5) var(--space-1);border-radius:3px}.rule-refs{font-size:var(--text-sm)}.rule-ref{color:var(--fg-muted);text-decoration:none;padding:var(--space-0-5) 0}.rule-ref:hover{color:var(--accent)}.rule-ref.impl{color:var(--green)}.rule-ref.verify{color:var(--accent)}.split-view{display:flex;flex:1;overflow:hidden}.split-pane{flex:1;display:flex;flex-direction:column;overflow:hidden;min-width:0}.split-pane+.split-pane{border-inline-start:1px solid var(--border)}.split-pane-header{padding:var(--space-2) var(--space-4);border-bottom:1px solid var(--border);background:var(--bg-secondary);font-size:var(--text-sm);font-weight:var(--ui-weight);display:flex;align-items:center;gap:var(--space-2)}.split-pane-content{flex:1;overflow:auto}.markdown{padding:var(--space-3) var(--space-8) var(--space-6) var(--space-8);font-size:var(--text-base);line-height:var(--leading-relaxed);max-width:800px;-webkit-hyphens:auto;hyphens:auto}.markdown hr{border-style:solid;border-width:.5px;max-width:100%;margin:var(--space-8) auto;opacity:.5}.markdown :is(h1,h2,h3,h4){margin:var(--space-6) 0 var(--space-3);color:var(--fg-heading);cursor:pointer}.markdown :is(h1,h2,h3,h4):hover{color:var(--accent)}.markdown :is(h1,h2,h3,h4):target{color:var(--accent);background:var(--highlight-target);margin-inline-start:calc(-1 * var(--space-2));margin-inline-end:calc(-1 * var(--space-2));padding:var(--space-1) var(--space-2);border-radius:4px}.markdown :is(h1,h2){margin-top:var(--space-10)}.markdown :is(h1,h2):first-child{margin-top:0}.markdown h1{font-size:var(--heading-1-size);font-weight:var(--heading-1-weight)}.markdown h2{font-size:var(--heading-2-size);font-weight:var(--heading-2-weight)}.markdown h3{font-size:var(--heading-3-size);font-weight:var(--heading-3-weight)}.markdown h4{font-weight:var(--heading-4-weight)}.markdown p{margin:var(--space-4) 0;position:relative}.markdown p:hover>.para-edit-btn{opacity:1}.markdown a{color:var(--accent);text-decoration:none}.markdown a:hover{text-decoration:underline}.markdown code{background:var(--fg-15);padding:var(--space-0-5) var(--space-1);border-radius:4px;font-size:var(--code-inline-size);color:var(--fg-heading)}.markdown pre{background:var(--bg-secondary-95);border:1px solid var(--border);border-radius:6px;padding:var(--space-2-5) var(--space-3);overflow-x:auto;margin:var(--space-4) 0;line-height:var(--leading-snug);filter:saturate(.9)}@media(prefers-color-scheme:dark){.markdown pre{filter:saturate(.9) brightness(1.05)}.markdown pre .comment,.markdown pre [class*=comment]{opacity:.6}}.markdown pre code{background:none;padding:0}.markdown :is(ul,ol){margin:var(--space-3) 0;padding-inline-start:var(--space-6)}.markdown li{margin:var(--space-1) 0;position:relative}.markdown li:hover>.para-edit-btn{opacity:1}.markdown blockquote{border-inline-start:3px solid var(--accent);margin:var(--space-4) 0;padding:var(--space-3) var(--space-4);background:var(--hover-subtle);border-radius:0 .25rem .25rem 0;color:var(--fg);position:relative}.markdown blockquote:hover>.para-edit-btn{opacity:1}.markdown table{width:100%;border-collapse:collapse;margin:var(--space-4) 0;font-size:var(--text-sm)}.markdown :is(th,td){padding:var(--space-2-5) var(--space-3);text-align:start;border:none}.markdown thead{border-bottom:1px solid var(--border-strong)}.markdown th{background:transparent;font-weight:var(--weight-semibold);color:var(--fg-heading)}.markdown td{background:transparent;font-weight:var(--weight-normal)}.markdown td code{font-size:var(--code-inline-size)}.markdown tbody tr:nth-child(odd){background:var(--hover-subtle)}.markdown tr:hover td{background:var(--hover)}:is(kw-must,kw-must-not,kw-required,kw-shall,kw-shall-not){color:var(--red);font-weight:var(--weight-semibold)}:is(kw-should,kw-should-not,kw-recommended,kw-not-recommended){color:var(--yellow);font-weight:var(--weight-semibold)}:is(kw-may,kw-optional){color:var(--accent);font-weight:var(--weight-semibold)}.rule-marker{display:inline-flex;align-items:center;gap:var(--space-1);width:fit-content;background:var(--accent-dim);color:var(--accent);font-size:var(--text-xs);padding:var(--space-0-5) var(--space-1-5);border-radius:3px;margin:var(--space-0-5) 0;text-decoration:none}.rule-marker:is(a):hover{filter:brightness(1.1)}.rule-marker-icon{width:.9em;height:.9em;flex-shrink:0}.rule-marker.covered{background:var(--status-covered-bg);color:var(--status-covered-fg)}.rule-marker.partial{background:var(--status-partial-bg);color:var(--status-partial-fg)}.rule-marker.uncovered{background:var(--status-none-bg);color:var(--status-none-fg)}.rule-marker-highlighted{animation:pulse-attention var(--duration-emphasis) var(--ease-out)}.rule-block{position:relative;border:1px solid var(--border);border-radius:6px;margin:var(--space-6) 0;padding:var(--space-5) var(--space-4) var(--space-2) var(--space-4);font-size:var(--text-sm)}.rule-block+.rule-block{margin-top:var(--space-4)}.rule-block-covered{border-color:var(--rule-covered-border)}.rule-block-partial{border-color:var(--rule-partial-border)}.rule-block-uncovered{border-color:var(--rule-uncovered-border)}.rule-block-header{position:absolute;top:-.65rem;inset-inline-start:var(--space-3);display:flex;align-items:center;gap:var(--space-2);background:var(--bg);padding:0 var(--space-1-5)}.rule-block-header .rule-marker{margin:0}.rule-block-header .spec-refs{margin:0;font-size:var(--text-sm)}.rule-block-content{margin-top:var(--space-1)}.rule-block-content p:first-child{margin-top:0}.rule-block-content p:last-child{margin-bottom:0}.req-container{position:relative;border:1px solid var(--border);border-radius:6px;margin:var(--space-8) 0;padding:var(--space-6) var(--space-5) var(--space-5) var(--space-5);font-size:var(--text-sm);--req-badge-bg: var(--status-uncovered-bg);--req-badge-color: var(--status-uncovered-fg);--req-badge-weight: 700}.req-container:before{content:"";position:absolute;inset-inline-start:0;top:1.75rem;bottom:1.25rem;width:3px;background:var(--neutral);border-radius:0 2px 2px 0}.req-container+.req-container{margin-top:var(--space-6)}.req-container.req-covered{border-color:var(--border);opacity:.5;--req-badge-bg: var(--status-covered-bg);--req-badge-color: var(--status-covered-fg);--req-badge-weight: 500}.req-container.req-covered:hover{opacity:.8}.req-container.req-covered:before{background:var(--green);opacity:.5}.req-container.req-partial{border-color:var(--yellow-50);--req-badge-bg: var(--status-partial-bg);--req-badge-color: var(--status-partial-fg);--req-badge-weight: 500}.req-container.req-partial:before{background:var(--yellow)}.req-container.req-uncovered{border:2px dashed var(--accent);background:var(--accent-5)}.req-container.req-uncovered:before{display:none}.req-container.req-focused{outline:2px solid var(--accent);outline-offset:2px;box-shadow:0 0 0 4px var(--focus-ring)}.req-container.req-copy-success{animation:flash-success var(--duration-normal) var(--ease-out)}.req-badges-left,.req-badges-right{position:absolute;top:-.7rem;display:flex;align-items:center;gap:var(--space-1);background:var(--bg);padding:0 var(--space-1)}.req-badges-left{inset-inline-start:var(--space-3)}.req-badges-right{inset-inline-end:var(--space-4)}.req-badge{font-size:var(--text-xs);padding:var(--space-0-5) var(--space-2);border-radius:4px;text-decoration:none;font-weight:var(--weight-semibold);transition:filter .15s;letter-spacing:var(--tracking-wide);font-family:var(--font-mono);font-variation-settings:"MONO" 1,"CASL" 0}.req-badge:hover{filter:brightness(1.15)}.req-badge.req-id{background:var(--req-badge-bg);color:var(--req-badge-color);font-weight:var(--req-badge-weight)}.req-badge.req-impl{background:var(--ref-impl-bg);color:var(--ref-impl-color);border:1px solid var(--ref-impl-border);display:flex;flex-direction:row;align-items:center;gap:var(--space-1)}.req-badge.req-test{background:var(--ref-verify-bg);color:var(--ref-verify-color);border:1px solid var(--ref-verify-border)}.req-badge.req-edit{background:var(--fg-8);color:var(--fg-muted);border:1px solid var(--fg-20);cursor:pointer;display:inline-flex;align-items:center;gap:var(--space-1);transition:all .15s}.req-badge.req-edit:hover{background:var(--accent-12);color:var(--accent);border-color:var(--accent-30)}.req-badge.req-copy{background:var(--req-badge-bg);color:var(--req-badge-color);border:none;cursor:pointer;font-family:inherit;padding:var(--space-0-5) var(--space-1-5);min-width:1.8rem;display:inline-flex;align-items:center;justify-content:center;transition:all .15s}.req-badge.req-copy:hover{filter:brightness(1.2)}.req-badge.req-copy.req-copy-success{filter:brightness(1.3)}.req-edit-icon,.req-copy-icon{flex-shrink:0}.req-badge-group{display:inline-flex;gap:var(--space-1)}.req-segment-left{border-radius:4px 0 0 4px}.req-segment-right{border-radius:0 4px 4px 0}.req-content{margin-top:var(--space-1)}.req-content p{margin:var(--space-2) 0}.req-content>*:last-child{margin-bottom:0}.req-content :is(ol,ul){margin:var(--space-3) 0;padding-inline-start:var(--space-6)}.req-content li{margin:var(--space-1-5) 0;padding-inline-start:var(--space-2);line-height:var(--leading-loose)}.req-content li :is(strong,em):first-child{color:var(--fg-muted);font-style:normal;font-weight:var(--weight-semibold);font-size:var(--code-inline-size);text-transform:uppercase;letter-spacing:var(--tracking-wider);margin-inline-end:.25em}.vim-pending-key{position:fixed;bottom:var(--space-4);inset-inline-end:var(--space-4);background:var(--bg-secondary);border:1px solid var(--accent);color:var(--accent);padding:var(--space-2) var(--space-4);border-radius:6px;font-family:var(--font-mono);font-size:var(--text-xl);font-weight:var(--weight-bold);box-shadow:0 4px 12px #0003;z-index:1000;animation:pop-in var(--duration-instant) var(--ease-spring)}.spec-refs{display:flex;flex-wrap:wrap;gap:var(--space-1-5);margin:var(--space-1) 0 var(--space-2) 0;font-size:var(--text-sm)}.spec-ref{text-decoration:none;padding:var(--space-0-5) var(--space-1-5);border-radius:3px;background:var(--bg-secondary);border:1px solid var(--border);display:inline-flex;align-items:center;gap:var(--space-1)}.spec-ref:hover{border-color:var(--accent)}.spec-ref-icon{width:.9em;height:.9em;flex-shrink:0}.spec-ref-impl{color:var(--green)}.spec-ref-verify{color:var(--accent)}:is(.spec-ref-icon-impl,.ref-icon-impl,.file-path-icon-impl){color:var(--ref-impl-color)}:is(.spec-ref-icon-verify,.ref-icon-verify,.file-path-icon-verify){color:var(--ref-verify-color)}.refs-popup{position:fixed;z-index:10000}.refs-popup-inner{background:var(--bg-secondary);border:1px solid var(--border);border-radius:.375rem;box-shadow:0 4px 12px #00000026;overflow:hidden;min-width:200px;max-width:400px}.refs-popup-item{padding:var(--space-2) var(--space-3);cursor:pointer;transition:background .15s;font-size:var(--text-sm)}.refs-popup-item:hover{background:var(--hover)}.refs-popup-item+.refs-popup-item{border-top:1px solid var(--border)}.refs-popup-file{color:var(--fg)}.empty-state{display:flex;align-items:center;justify-content:center;height:100%;color:var(--fg-muted);font-size:var(--text-sm)}.custom-dropdown{position:relative;display:inline-block}.custom-dropdown.open .dropdown-menu{display:block}.dropdown-selected{display:flex;align-items:center;gap:var(--space-2);padding:var(--space-1-5) var(--space-2-5);background:var(--bg);border:1px solid var(--border);border-radius:6px;cursor:pointer;font-family:inherit;font-size:var(--text-sm);color:var(--fg);min-width:90px}.dropdown-selected:hover{background:var(--hover)}.dropdown-selected svg{width:1rem;height:1rem;flex-shrink:0}.dropdown-selected svg path{fill:currentColor}.dropdown-selected .chevron{margin-inline-start:auto;opacity:.5}.dropdown-selected .chevron path{fill:none;stroke:currentColor}.dropdown-menu{position:absolute;top:100%;inset-inline-start:0;margin-top:4px;background:var(--bg-secondary);border:1px solid var(--border);border-radius:6px;box-shadow:0 4px 12px #00000026;z-index:100;min-width:100%;display:none}.dropdown-option{display:flex;align-items:center;gap:var(--space-2);padding:var(--space-2) var(--space-3);cursor:pointer;font-family:inherit;font-size:var(--text-sm);color:var(--fg-muted);white-space:nowrap}.dropdown-option:first-child{border-radius:5px 5px 0 0}.dropdown-option:last-child{border-radius:0 0 5px 5px}.dropdown-option:hover{background:var(--hover)}.dropdown-option.active{background:var(--hover);color:var(--fg)}.dropdown-option svg{width:1rem;height:1rem;flex-shrink:0}.dropdown-option svg path{fill:currentColor}.level-dot{display:inline-block;width:8px;height:8px;border-radius:50%;flex-shrink:0}.level-dot-all{background:var(--fg-muted)}.level-dot-must{background:var(--red)}.level-dot-should{background:var(--yellow)}.level-dot-may{background:var(--accent)}.ref-line{white-space:nowrap;margin-bottom:var(--space-1-5);display:flex;align-items:center;gap:var(--space-1-5)}.ref-line:last-child{margin-bottom:0}.ref-icon{width:1.1em;height:1.1em;flex-shrink:0;display:inline-flex;align-items:center;justify-content:center}.ref-icon svg{width:100%;height:100%}.file-path-link,.file-path-display{display:inline-flex;align-items:center;gap:var(--space-1-5);text-decoration:none;font-size:.95em}.file-path-link:hover .file-path-name{text-decoration:underline}.file-path-icon{width:1em;height:1em;flex-shrink:0;color:var(--fg-muted)}.file-path-text{display:inline}.file-path-dir{color:var(--fg-dim)}.file-path-name{color:var(--accent)}.file-path-line{color:var(--green)}.file-link{text-decoration:none;display:inline-flex}.file-link:hover .file-name{text-decoration:underline}.file-path{color:var(--fg-dim)}.file-name{color:var(--accent)}.file-line{color:var(--green)}.outline-tree{padding:var(--space-2);padding-bottom:var(--space-12);margin:0;list-style:none}.toc-item{list-style:none}.toc-item.depth-1>.toc-row .toc-link{color:var(--fg);font-weight:var(--ui-weight)}.toc-item.is-complete>.toc-row .toc-link{color:var(--fg-dim);opacity:.7}.toc-item.is-complete>.toc-row .toc-badges{opacity:.5}.toc-item.is-incomplete>.toc-row .toc-link{color:var(--fg-muted)}.toc-item.is-incomplete>.toc-row .toc-badges{opacity:1}.toc-item.is-active>.toc-row{background:var(--accent-12)}.toc-item.is-active>.toc-row .toc-link{font-weight:var(--weight-semibold);color:var(--accent)}.toc-item.is-active>.toc-row .toc-badges{opacity:1}.toc-row{display:flex;align-items:center;gap:var(--space-2);padding:var(--space-1) var(--space-2);border-radius:6px;text-decoration:none;color:inherit}.toc-row:hover{background:var(--hover)}.toc-row:hover .toc-link{color:var(--fg)}.toc-link{flex:1;min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;color:var(--fg-muted);text-decoration:none;font-size:var(--text-sm)}.toc-badges{display:flex;align-items:center;gap:var(--space-1);flex:0 0 auto;margin-inline-start:auto;opacity:.5}.toc-children{margin:0;padding:0;padding-inline-start:var(--space-3);margin-inline-start:var(--space-2);border-inline-start:1px solid var(--border-strong);list-style:none}.toc-children.has-active{border-inline-start-color:var(--accent)}.outline-legend{display:flex;align-items:center;gap:var(--space-3);font-size:var(--text-2xs);font-weight:var(--weight-normal);color:var(--fg-dim)}.legend-item{display:flex;align-items:center;gap:var(--space-1)}.legend-dot{width:8px;height:8px;border-radius:50%}.legend-dot--impl{background:var(--green)}.legend-dot--test{background:var(--blue)}.para-edit-btn{position:absolute;inset-inline-end:-1.5rem;top:.15rem;width:1.25rem;height:1.25rem;display:flex;align-items:center;justify-content:center;background:var(--bg-secondary);border:1px solid var(--border);border-radius:.25rem;color:var(--fg-dim);cursor:pointer;opacity:0;transition:opacity .15s,color .15s,background .15s;text-decoration:none}.para-edit-btn:hover{background:var(--hover);color:var(--accent);border-color:var(--accent)}.para-edit-btn svg{width:.75rem;height:.75rem}.search-results{flex:1;overflow-y:auto;background:var(--bg)}.search-result{padding:var(--space-2) var(--space-4);border-bottom:1px solid var(--border);cursor:pointer;font-size:var(--text-sm)}.search-result:hover{background:var(--hover)}.search-result-file{display:flex;align-items:center;gap:var(--space-1);margin-bottom:var(--space-1)}.search-result-path{color:var(--fg-dim)}.search-result-name{color:var(--accent)}.search-result-line{color:var(--green)}.search-result-content{color:var(--fg-muted);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.search-result-highlight{background:var(--yellow-dim);color:var(--yellow);padding:var(--space-0-5) var(--space-1);border-radius:2px}.search-result-icon{width:1.1rem;height:1.1rem;flex-shrink:0}.search-result-icon.source{color:var(--green)}.search-result-icon.rule{color:var(--accent)}.search-empty{padding:var(--space-8);text-align:center;color:var(--fg-muted)}.search-loading{padding:var(--space-4);text-align:center;color:var(--fg-muted);font-size:var(--text-sm)}.rule-context{border:1px solid var(--border);border-radius:6px;margin:var(--space-2);background:var(--bg)}.rule-context-header{display:flex;align-items:center;justify-content:space-between;padding:var(--space-2) var(--space-3);background:var(--accent-dim);border-radius:5px 5px 0 0;border-bottom:1px solid var(--border)}.rule-context-id{font-size:var(--text-sm);font-weight:var(--ui-weight);color:var(--accent)}.rule-context-close{background:none;border:none;cursor:pointer;color:var(--fg-muted);padding:var(--space-1);display:flex;align-items:center;justify-content:center;border-radius:4px}.rule-context-close:hover{background:var(--hover);color:var(--fg)}.rule-context-body{padding:var(--space-3)}.rule-context-text{font-size:var(--text-sm);color:var(--fg-muted);margin-bottom:var(--space-3);line-height:var(--leading-normal)}.rule-context-refs{display:flex;flex-direction:column;gap:var(--space-1-5)}.rule-context-ref{display:flex;align-items:center;gap:var(--space-2);padding:var(--space-1-5) var(--space-2);border-radius:4px;font-size:var(--text-sm);cursor:pointer;text-decoration:none;color:var(--fg)}.rule-context-ref:hover{background:var(--hover)}.rule-context-ref.active{background:var(--accent-dim)}.rule-context-back{display:flex;align-items:center;gap:var(--space-1-5);margin-top:var(--space-3);padding:var(--space-1-5) var(--space-2);border-radius:4px;font-size:var(--text-sm);cursor:pointer;color:var(--fg-muted);text-decoration:none}.rule-context-back:hover{background:var(--hover);color:var(--fg)}.search-overlay{position:fixed;inset:0;background:#00000080;display:flex;align-items:flex-start;justify-content:center;padding-top:10vh;z-index:1000}.search-modal{background:var(--bg-secondary);border:1px solid var(--border);border-radius:8px;width:600px;max-width:90vw;max-height:70vh;display:flex;flex-direction:column;box-shadow:0 8px 32px #0000004d}.search-modal-input{padding:var(--space-4);border-bottom:1px solid var(--border)}.search-modal-input input{width:100%;padding:var(--space-3) var(--space-4);background:var(--bg);border:1px solid var(--border);border-radius:6px;font-size:var(--text-base);color:var(--fg);font-family:inherit}.search-modal-input input:focus{outline:none;border-color:var(--accent);box-shadow:0 0 0 3px var(--accent-dim)}.search-modal-results{flex:1;overflow-y:auto}.search-modal-result{padding:var(--space-3) var(--space-4);border-bottom:1px solid var(--border);cursor:pointer}.search-modal-result:hover{background:var(--hover)}.search-modal-result.selected{background:var(--accent-dim)}.search-modal-result-header{display:flex;align-items:center;gap:var(--space-2);margin-bottom:var(--space-1)}.search-modal-result-id{font-size:var(--text-sm);color:var(--accent)}.search-modal-result-line{color:var(--green);font-size:var(--text-sm)}.search-modal-result-content{font-size:var(--text-sm);color:var(--fg-muted);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.search-modal-result-content mark{background:var(--yellow-dim);color:var(--yellow);padding:.1em .2em;border-radius:2px}.search-modal-result-code{font-size:var(--text-xs);line-height:var(--leading-relaxed);margin:0;padding:var(--space-1) 0;background:transparent;white-space:pre;overflow:hidden;text-overflow:ellipsis;color:var(--fg-muted)}.search-modal-result-code code{background:none;padding:0}.search-modal-result-code mark{background:var(--yellow-dim);color:var(--yellow);padding:.1em .2em;border-radius:2px}.search-modal-empty{padding:var(--space-8);text-align:center;color:var(--fg-muted)}.search-modal-hint{padding:var(--space-3) var(--space-4);border-top:1px solid var(--border);font-size:var(--text-xs);color:var(--fg-dim);display:flex;gap:var(--space-4)}.search-modal-hint kbd{background:var(--bg);border:1px solid var(--border);border-radius:3px;padding:var(--space-0-5) var(--space-1-5);font-size:var(--text-2xs)}.modal-overlay{position:fixed;inset:0;background:#0009;display:flex;align-items:center;justify-content:center;z-index:10000;padding:var(--space-8)}.modal-content{background:var(--bg-secondary);border:1px solid var(--border);border-radius:8px;width:900px;max-width:100%;max-height:90vh;display:flex;flex-direction:column;box-shadow:0 8px 32px #0006}.modal-content.editor-modal{width:1200px}.modal-header{display:flex;align-items:center;justify-content:space-between;padding:var(--space-4) var(--space-6);border-bottom:1px solid var(--border)}.modal-header h3{margin:0;font-size:var(--text-lg);font-weight:var(--weight-semibold);color:var(--fg)}.modal-vim-indicator{font-size:var(--text-2xs);padding:var(--space-1) var(--space-2);background:var(--green-dim);color:var(--green);border-radius:3px;font-weight:var(--weight-semibold);letter-spacing:var(--label-tracking);margin-inline-start:auto;margin-inline-end:var(--space-2)}.modal-close{background:none;border:none;font-size:var(--text-2xl);color:var(--fg-muted);cursor:pointer;padding:0;width:2rem;height:2rem;display:flex;align-items:center;justify-content:center;border-radius:4px;transition:all .15s}.modal-close:hover{background:var(--hover);color:var(--fg)}.modal-body{flex:1;overflow:hidden;display:flex;flex-direction:column;min-height:400px}.impl-preview-modal .modal-body{overflow-y:auto;overflow-x:hidden}.impl-preview-modal .code-preview{font-size:var(--text-sm);line-height:var(--leading-normal);white-space:pre;overflow-x:auto}.impl-preview-modal .code-preview .highlight-line{background:var(--highlight-accent)}.modal-loading,.modal-error{flex:1;display:flex;align-items:center;justify-content:center;color:var(--fg-muted);font-size:var(--text-sm)}.modal-error{color:var(--red)}.markdown-editor-wrapper{flex:1;background:var(--bg);overflow:hidden}.markdown-editor-wrapper .cm-editor{height:100%}.modal-footer{display:flex;align-items:center;justify-content:space-between;padding:var(--space-4) var(--space-6);border-top:1px solid var(--border);gap:var(--space-4)}.modal-info{display:flex;align-items:center;gap:var(--space-3);font-size:var(--text-sm);color:var(--fg-muted);flex:1;min-width:0}.modal-info code{background:var(--bg);padding:var(--space-1) var(--space-1-5);border-radius:3px;font-size:var(--text-xs);overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.modal-range{color:var(--fg-dim);font-family:var(--font-mono);font-size:var(--text-xs)}.modal-actions{display:flex;gap:var(--space-3)}.modal-btn{padding:var(--space-2) var(--space-4);border-radius:6px;border:1px solid var(--border);font-family:inherit;font-size:var(--text-sm);cursor:pointer;transition:all .15s}.modal-btn:disabled{opacity:.5;cursor:not-allowed}.modal-btn-cancel{background:var(--bg);color:var(--fg)}.modal-btn-cancel:hover:not(:disabled){background:var(--hover)}.modal-btn-save{background:var(--accent);color:#fff;border-color:var(--accent)}.modal-btn-save:hover:not(:disabled){filter:brightness(1.1)}.modal-btn-primary{background:var(--accent);color:var(--bg);border-color:var(--accent);font-weight:var(--ui-weight)}.modal-btn-primary:hover:not(:disabled){filter:brightness(.95)}.inline-editor{border:2px solid var(--accent);border-radius:6px;background:var(--bg-secondary);margin:var(--space-4) 0;overflow:hidden}.inline-editor-header{display:flex;align-items:center;gap:var(--space-3);padding:var(--space-2) var(--space-3);background:var(--accent-dim);border-bottom:1px solid var(--border);font-size:var(--text-sm)}.inline-editor-label{font-weight:var(--weight-semibold);color:var(--accent)}.inline-editor-vim{font-size:var(--text-2xs);padding:var(--space-0-5) var(--space-1-5);background:var(--green-dim);color:var(--green);border-radius:3px;font-weight:var(--weight-semibold);letter-spacing:var(--label-tracking)}.inline-editor-path{color:var(--fg-dim);font-family:var(--font-mono);font-size:var(--text-xs);margin-inline-start:auto}.inline-editor-content{min-height:400px;max-height:600px;overflow:auto;background:var(--bg)}.inline-editor-code{height:100%;background:var(--bg)}.inline-editor-code .cm-editor{height:100%}.inline-editor-preview{padding:var(--space-6);background:var(--bg);min-height:400px}.inline-editor-footer{display:flex;justify-content:flex-end;gap:var(--space-2);padding:var(--space-3);border-top:1px solid var(--border);background:var(--bg-secondary)}.inline-editor-btn{padding:var(--space-1-5) var(--space-3);border-radius:4px;border:1px solid var(--border);font-family:inherit;font-size:var(--text-sm);cursor:pointer;transition:all .15s}.inline-editor-btn:disabled{opacity:.5;cursor:not-allowed}.inline-editor-cancel{background:var(--bg);color:var(--fg)}.inline-editor-cancel:hover:not(:disabled){background:var(--hover)}.inline-editor-save{background:var(--accent);color:#fff;border-color:var(--accent)}.inline-editor-save:hover:not(:disabled){filter:brightness(1.1)}.inline-editor-loading,.inline-editor-error{padding:var(--space-4);text-align:center;color:var(--fg-muted);font-size:var(--text-sm)}.inline-editor-error{color:var(--red)}.config-error-banner{background:var(--red-20);border-bottom:1px solid var(--red-30);padding:var(--space-2) var(--space-4);color:var(--fg)}.config-error-banner-inner{display:flex;align-items:center;gap:var(--space-2);max-width:1400px;margin:0 auto}.config-error-banner .config-error-icon{color:var(--red);flex-shrink:0}.config-error-banner .config-error-content{display:flex;align-items:center;gap:var(--space-3);flex:1}.config-error-banner .config-error-content strong{color:var(--fg-heading)}.config-error-banner .config-error-toggle{background:none;border:none;color:var(--accent);cursor:pointer;font-size:var(--text-sm);padding:0;text-decoration:underline}.config-error-banner .config-error-toggle:hover{color:var(--fg-heading)}.config-error-banner .config-error-details{margin:var(--space-2) 0 0 0;padding:var(--space-3);background:var(--bg-secondary);border-radius:4px;font-size:var(--text-sm);overflow-x:auto;white-space:pre-wrap;word-break:break-word;max-width:1400px;margin-left:auto;margin-right:auto}.code-block{margin:var(--space-4) 0}.code-block pre{margin:0;border-radius:0 0 6px 6px}.code-header{font-size:var(--text-xs);font-weight:var(--weight-semibold);color:var(--fg-muted);text-transform:uppercase;letter-spacing:var(--tracking-wide);padding:var(--space-1-5) var(--space-3);background:var(--bg-secondary);border:1px solid var(--border);border-bottom:none;border-radius:6px 6px 0 0}.compare-container{display:flex;gap:var(--space-4);margin:var(--space-4) 0}.compare-section{flex:1;min-width:0}.compare-section pre{margin:0}.compare-header{font-size:var(--text-xs);font-weight:var(--weight-semibold);color:var(--fg-muted);text-transform:uppercase;letter-spacing:var(--tracking-wide);padding:var(--space-1-5) var(--space-3);background:var(--bg-secondary);border:1px solid var(--border);border-bottom:none;border-radius:6px 6px 0 0}.compare-section pre{border-radius:0 0 6px 6px}}


/* ── Static export extras ─────────────────────────────────────── */

/* spec-tab links (header pickers) */
a.spec-tab { text-decoration: none; display: inline-block; }

/* Spec content wrapper */
.spec-page {
  padding: var(--space-6) var(--space-8);
  max-width: 900px;
}

/* Padded wrapper for coverage / sources-index pages */
.padded-page {
  padding: var(--space-4) var(--space-6);
}

/* File-view header bar */
.file-view-header {
  padding: var(--space-3) var(--space-4);
  border-bottom: 1px solid var(--border);
  background: var(--bg-secondary);
  font-size: var(--text-sm);
  font-family: var(--font-mono);
  color: var(--fg-muted);
  font-variation-settings: "MONO" 1, "CASL" 0;
}

/* Units list in source-file sidebar */
.units-list {
  list-style: none;
  margin: 0;
  padding: var(--space-2);
}
.units-list li { border-radius: 4px; }
.units-list li:hover { background: var(--hover); }
.units-list a {
  display: flex;
  gap: var(--space-2);
  align-items: baseline;
  padding: var(--space-1-5) var(--space-2);
  color: var(--fg-muted);
  text-decoration: none;
  font-size: var(--text-xs);
}
.units-list a:hover { color: var(--fg); }
.units-kind { color: var(--fg-dim); font-size: var(--text-2xs); }

/* Coverage bar in sources-index table */
.cov-bar-wrap { min-width: 80px; }
.cov-bar {
  height: 6px;
  border-radius: 3px;
  background: var(--red-dim, rgba(244,67,54,0.12));
  overflow: hidden;
}
.cov-bar-fill { height: 100%; border-radius: 3px; }
.cov-bar-fill.high { background: var(--green); }
.cov-bar-fill.med  { background: var(--yellow); }
.cov-bar-fill.low  { background: var(--red); }