:root{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--bg:#f3f5fa;--panel:#fff;--surface:#eef2f8;--text:#202c40;--muted:#64748b;--border:#dce3ee;--accent:#415cce;--accent-soft:#edf0ff;--ok:#20754b;--ok-soft:#eaf6ef;--ok-border:#afd2bd;--warn:#885b17;--warn-soft:#fcf3e1;--warn-border:#e4c994;--bad:#b13843;--bad-soft:#fcecee;--bad-border:#e7b9bf;--rule:#f4effc;--rule-border:#cfbde9;--property:#edf4fd;--property-border:#b5ccec;--shadow:0 3px 14px #22355506;color:var(--text);background:var(--bg);font-family:Inter,ui-sans-serif,system-ui,-apple-system,Segoe UI,sans-serif;font-size:14px;line-height:1.5}:root[data-theme=dark]{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--bg:#111722;--panel:#192231;--surface:#202c3e;--text:#e1e8f4;--muted:#9cacc2;--border:#304056;--accent:#a7b6ff;--accent-soft:#2a3554;--ok:#87d9ad;--ok-soft:#203c34;--ok-border:#38634d;--warn:#edca80;--warn-soft:#3b3324;--warn-border:#756037;--bad:#ffb1b8;--bad-soft:#412830;--bad-border:#74434e;--rule:#322c48;--rule-border:#685683;--property:#233751;--property-border:#446486;--shadow:0 3px 14px #00000015}*{box-sizing:border-box}body{margin:0}h1{margin:0;font-size:1.15rem}h2{margin:0 0 .5rem;font-size:1rem}h3{margin:.75rem 0 .25rem;font-size:.9rem}button{font:inherit;border:1px solid var(--border);background:var(--panel);cursor:pointer;border-radius:6px;padding:.35rem .7rem}button:hover:not(:disabled){border-color:var(--accent)}button:disabled{opacity:.5;cursor:default}input,select{font:inherit;border:1px solid var(--border);border-radius:6px;min-width:0;padding:.3rem .4rem}.layout{grid-template-rows:auto 1fr;grid-template-columns:240px 1fr;min-height:100vh;display:grid}.topbar{background:var(--panel);border-bottom:1px solid var(--border);flex-wrap:wrap;grid-column:1/-1;align-items:center;gap:1rem;padding:.75rem 1rem;display:flex}.sidebar{border-right:1px solid var(--border);background:var(--panel);padding:1rem}.content{min-width:0;padding:1rem}.panels{grid-template-columns:repeat(2,minmax(0,1fr));gap:1rem;display:grid}.panel{background:var(--panel);border:1px solid var(--border);border-radius:10px;min-width:0;padding:.9rem}.panel.wide{grid-column:1/-1}.panel-head{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:1rem;display:flex}.stack{flex-direction:column;gap:.4rem;display:flex}.row{flex-wrap:wrap;align-items:center;gap:.4rem;display:flex}.grid-form{grid-template-columns:max-content 1fr;align-items:center;gap:.4rem .6rem;margin-bottom:.6rem;display:grid}.plain{flex-direction:column;gap:.3rem;margin:.25rem 0;padding:0;list-style:none;display:flex}.muted{color:var(--muted)}.small{font-size:.82rem}.link{color:var(--accent);text-align:left;background:0 0;border:none;padding:.1rem 0}.link.active{font-weight:600}.session-list{margin:0;padding:0;list-style:none}.session-head{flex-wrap:wrap;align-items:baseline;gap:.75rem;margin-bottom:.75rem;display:flex}.session-head h2{margin:0;font-size:1.1rem}.badge{border:1px solid var(--border);background:var(--surface);border-radius:999px;padding:.1rem .5rem;font-size:.75rem;font-weight:600;display:inline-block}.status-unique{background:var(--ok-soft);color:var(--ok);border-color:var(--ok-border)}.status-ambiguous{background:var(--warn-soft);color:var(--warn);border-color:var(--warn-border)}.status-unsat{background:var(--bad-soft);color:var(--bad);border-color:var(--bad-border)}.state-active{color:var(--ok)}.state-disabled{color:var(--muted)}.disabled .item-text{color:var(--muted);text-decoration:line-through}.item-controls{flex-shrink:0;align-items:center;gap:.35rem;margin-left:auto;display:inline-flex}.btn-small{padding:.15rem .55rem;font-size:.8rem}.btn-danger{color:var(--bad);border-color:var(--bad-border)}.btn-warn{color:var(--warn);border-color:var(--warn-border)}.btn-warn:hover:not(:disabled){border-color:var(--warn);background:var(--warn-soft)}.btn-ok{color:var(--ok);border-color:var(--ok-border)}.btn-ok:hover:not(:disabled){border-color:var(--ok);background:var(--ok-soft)}.item-text{flex-direction:column;gap:.1rem;min-width:0;display:flex}.item-label{font-weight:500}.item-description{color:var(--text);opacity:.85}.badge.assumed{background:var(--warn-soft);color:var(--warn);border-color:var(--warn-border);font-weight:500}.decision .item-label,.decision .item-description{margin-bottom:.15rem}.btn-danger:hover:not(:disabled){border-color:var(--bad);background:var(--bad-soft)}.plain>li.row{justify-content:space-between}.chips{flex-wrap:wrap;gap:.3rem;display:flex}.chip{border:1px solid var(--border);background:var(--surface);border-radius:999px;padding:.15rem .6rem;font-size:.85rem}.chip.forced{background:var(--ok-soft);border-color:var(--ok-border)}.chip.static{cursor:default}.table-scroll{overflow-x:auto}table{border-collapse:collapse;width:100%;font-size:.88rem}th,td{text-align:left;border-bottom:1px solid var(--border);vertical-align:top;padding:.4rem}td.num{text-align:right;font-variant-numeric:tabular-nums}.decision-list{flex-direction:column;gap:.5rem;margin:0;padding:0;list-style:none;display:flex}.decision{border:1px solid var(--border);border-radius:8px;flex-wrap:wrap;justify-content:space-between;gap:.75rem;padding:.5rem;display:flex}.decision.disabled{opacity:.7;background:var(--surface)}.error{background:var(--bad-soft);border:1px solid var(--bad-border);color:var(--bad);border-radius:8px;align-items:center;gap:.75rem;margin-bottom:.75rem;padding:.5rem .75rem;display:flex}.graph-canvas{border:1px solid var(--border);border-radius:8px;height:460px}.react-flow__node.node-scope{background:var(--property);border-color:var(--property-border)}.react-flow__node.node-requirement{background:var(--rule);border-color:var(--rule-border)}.react-flow__node.node-selected{background:var(--ok-soft);border-color:var(--ok);font-weight:600}.react-flow__node.node-forced{background:var(--ok-soft);border-color:var(--ok-border)}.react-flow__node.node-candidate{background:var(--panel)}.react-flow__node.node-excluded,.react-flow__node.node-rejected{background:var(--surface);color:var(--muted)}.react-flow__node.node-disabled{background:var(--surface);color:var(--muted);border-style:dashed}.react-flow__edge.edge-depends_on path{stroke:var(--accent)}@media (width<=960px){.panels{grid-template-columns:minmax(0,1fr)}}@media (width<=720px){.layout{grid-template-columns:1fr}.sidebar{border-right:none;border-bottom:1px solid var(--border)}.graph-canvas{height:340px}.grid-form{grid-template-columns:1fr}}.title-input{max-width:24rem;font-size:1.15rem;font-weight:600}.inspection-nav{gap:.4rem;margin:.4rem 0 .8rem;display:flex}.inspection-nav button[aria-pressed=true],.graph-views button[aria-pressed=true]{background:var(--accent-soft);color:var(--accent);border-color:var(--accent)}.dashboard-metrics>div{border:1px solid var(--border);background:var(--panel);border-radius:8px;align-items:center;gap:.6rem;padding:.7rem;display:flex}.dashboard-metrics strong{font-size:1.4rem}.dashboard-metrics span{color:var(--muted);font-size:.8rem}.live-label{color:var(--ok);font-size:.75rem}.live-label:before{content:"●";margin-right:.4rem}.inspection-json{white-space:pre-wrap;overflow-wrap:anywhere;background:var(--surface);border-radius:6px;max-height:240px;padding:.6rem;font-size:.75rem;overflow:auto}.content>.panels>.panel:not(.decision-graph):not(.discovery-panel){max-height:360px;overflow:auto}.decision-canvas{border:1px solid var(--border);background:var(--bg);border-radius:8px;height:330px}.graph-views{margin:.4rem 0 .6rem}.inspection-node{text-align:left;width:210px;border-radius:8px!important;padding:.6rem!important}.inspection-node small,.inspection-node strong{overflow-wrap:anywhere;display:block}.inspection-node small{text-transform:uppercase;letter-spacing:.06em;color:var(--muted);margin-bottom:.25rem;font-size:.6rem}.inspection-node.node-rule{background:var(--rule);border-color:var(--rule-border)}.inspection-node.node-property{background:var(--property);border-color:var(--property-border)}.inspection-node.node-decision{background:var(--ok-soft);border-color:var(--ok-border)}.inspection-node.node-change{background:var(--warn-soft);border-color:var(--warn-border)}.inspection-node.selected{outline:2px solid var(--accent)}.graph-inspector{border-left:3px solid var(--accent);background:var(--accent-soft);margin-top:.5rem;padding:.5rem .8rem}.graph-inspector h3{margin:0}.decision-card,.inspection-card{border:1px solid var(--border);border-left:3px solid var(--ok-border);background:var(--panel);border-radius:7px;margin:.25rem 0;padding:.65rem .8rem;display:block}.decision-card.inactive{border-left-color:var(--muted);background:var(--surface);color:var(--muted)}.decision-card p{margin:.3rem 0}.scope-tree{border-top:1px solid var(--border);margin-top:1rem;padding-top:.4rem}.scope-tree ul{border-left:1px solid var(--border);margin:.2rem 0;padding-left:.8rem;list-style:none}.scope-tree li{overflow-wrap:anywhere;margin:.25rem 0}.scope-tree summary{cursor:pointer}.scope-tree button{color:var(--text);font-size:.8rem}.scope-tree button[aria-current=true]{color:var(--accent);font-weight:700}.requirement-link{color:var(--muted)!important}.inspection-empty{max-width:650px;margin:3rem auto}@media (width>=721px){.layout{height:100dvh;min-height:0}.sidebar,.content{overflow:auto}}@media (width<=720px){.dashboard-metrics{grid-template-columns:repeat(2,minmax(0,1fr))}.sidebar{max-height:260px;overflow:auto}.decision-canvas{height:300px}.inspection-nav{flex-wrap:wrap}.content{padding:.7rem}}.inspection-nav a{border:1px solid var(--border);color:inherit;border-radius:6px;padding:.4rem .7rem;text-decoration:none}.inspection-nav a[aria-current=page]{background:var(--accent-soft);color:var(--accent);border-color:var(--accent)}a.link{text-decoration:none;display:inline-block}a.link:hover{text-decoration:underline}a{color:var(--accent)}button,input,select,textarea{color:var(--text);background:var(--panel)}button,a,input{-webkit-tap-highlight-color:transparent}:focus-visible{outline:2px solid var(--accent);outline-offset:3px}.layout{grid-template-columns:280px minmax(0,1fr)}.topbar{gap:1rem;padding:.9rem 1.4rem}.brand{color:var(--text);align-items:center;gap:.7rem;text-decoration:none;display:flex}.brand h1{letter-spacing:-.025em;font-size:1.13rem;line-height:1.2}.brand .small{font-size:.73rem}.brand-mark{background:var(--accent);width:36px;height:36px;color:var(--panel);border-radius:11px;place-items:center;font-size:1.25rem;font-weight:800;display:grid}.theme-picker{border:1px solid var(--border);background:var(--bg);border-radius:9px;gap:2px;margin-left:auto;padding:3px;display:flex}.theme-picker button{background:0 0;border:0;align-items:center;gap:.4rem;padding:.3rem .55rem;font-size:.75rem;display:flex}.theme-picker button[aria-pressed=true]{color:var(--accent);background:var(--panel);box-shadow:var(--shadow)}.sidebar{padding:1.1rem}.sidebar h2,.sidebar h3{text-transform:uppercase;letter-spacing:.09em;color:var(--muted);font-size:.75rem}.sidebar h3{margin-top:1.5rem}.navigation-search{gap:.3rem;margin:.85rem 0 1.15rem;display:grid}.navigation-search input{background:var(--bg);width:100%;padding:.55rem .65rem}.navigation-search>span{font-size:.72rem}.sidebar .session-list li{margin:.2rem 0}.sidebar .session-list a{color:var(--muted);overflow-wrap:anywhere;border-radius:7px;padding:.55rem .65rem;font-size:.84rem;display:block}.sidebar .session-list a:hover{color:var(--text);background:var(--surface);text-decoration:none}.sidebar .session-list a.active{background:var(--accent-soft);color:var(--accent)}.content{padding:1.25rem 1.65rem 2rem}.navigation-bar{justify-content:space-between;align-items:center;gap:1rem;margin-bottom:1.3rem;display:flex}.breadcrumbs{min-width:0;color:var(--muted);flex-wrap:wrap;align-items:center;gap:.45rem;font-size:.75rem;display:flex}.breadcrumbs a{color:var(--muted);overflow-wrap:anywhere;text-decoration:none}.breadcrumbs a:hover{color:var(--accent);text-decoration:underline}.share-view{flex-shrink:0;align-items:center;gap:.5rem;display:flex}.session-head{margin-bottom:1.2rem}.session-head h2{letter-spacing:-.035em;overflow-wrap:anywhere;flex:100%;font-size:1.7rem;font-weight:650;line-height:1.2}.panel{box-shadow:var(--shadow);border-radius:12px;padding:1rem 1.1rem}.panel h2{letter-spacing:-.015em;font-size:.95rem}.dashboard-metrics{gap:.85rem;margin-bottom:.8rem}.dashboard-metrics>div{box-shadow:var(--shadow);border-radius:10px;flex-direction:column;align-items:flex-start;gap:.12rem;padding:.85rem 1rem}.dashboard-metrics strong{font-variant-numeric:tabular-nums;letter-spacing:-.05em;font-size:1.8rem;font-weight:600}.dashboard-metrics span{font-size:.75rem}.inspection-nav{border:1px solid var(--border);background:var(--surface);border-radius:9px;gap:.2rem;width:fit-content;margin:.6rem 0 1.15rem;padding:.2rem}.inspection-nav a{color:var(--muted);border:0;padding:.4rem .9rem;font-size:.82rem}.inspection-nav a[aria-current=page]{background:var(--panel);color:var(--accent);box-shadow:var(--shadow)}.inspection-empty{border-top:3px solid var(--accent);padding:2.5rem}.inspection-empty h2{font-size:1.35rem}.decision-canvas{height:380px}.react-flow{--xy-background-color:var(--bg);--xy-background-pattern-dots-color:var(--border);--xy-node-color:var(--text);--xy-node-background-color:var(--panel);--xy-controls-button-background-color:var(--panel);--xy-controls-button-background-color-hover:var(--surface);--xy-controls-button-color:var(--text);--xy-edge-label-background-color:var(--panel);--xy-edge-label-color:var(--text);--xy-controls-button-border-color:var(--border)}.react-flow__node{color:var(--text)}.react-flow__controls-button{background:var(--panel);color:var(--text);border-color:var(--border);fill:currentColor}.error{overflow-wrap:anywhere;flex-wrap:wrap}@media (width<=1050px){.layout{grid-template-columns:245px minmax(0,1fr)}.content{padding:1rem}}@media (width<=720px){.layout{grid-template-columns:minmax(0,1fr)}.topbar{gap:.5rem;padding:.7rem .9rem}.theme-picker button{padding:.3rem .45rem}.theme-picker button>span:last-child{display:none}.sidebar{max-height:260px;padding:.8rem 1rem}.navigation-search{margin:.5rem 0}.navigation-bar{flex-wrap:wrap;align-items:flex-start;gap:.5rem}.content{padding:1rem .8rem}.session-head h2{font-size:1.4rem}.dashboard-metrics{gap:.5rem}.decision-canvas{height:310px}.inspection-empty{margin:1.5rem auto;padding:1.4rem}}.access-page{box-sizing:border-box;grid-column:1/-1;width:100%;max-width:1080px;margin:0 auto;padding:28px}.access-page h1{margin:20px 0 8px}.access-page .panel{margin:22px 0;padding:22px}.access-form{flex-wrap:wrap;align-items:end;gap:14px;display:flex}.access-form label{flex-direction:column;flex:150px;gap:6px;font-size:.85rem;display:flex}.access-form input,.access-form select{box-sizing:border-box;width:100%;min-width:0}.access-list{margin:20px 0 0;padding:0;list-style:none}.access-list li{border-bottom:1px solid var(--border);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:18px;padding:16px 0;display:flex}.access-list li>div>span{margin-top:5px;display:block}.member-id{overflow-wrap:anywhere;max-width:100%}.secret-panel{border:1px solid var(--border);border-radius:10px;margin:20px 0;padding:18px}.secret-panel code{overflow-wrap:anywhere;-webkit-user-select:all;user-select:all;margin:14px 0;display:block}.access-actions{flex-wrap:wrap;gap:10px;display:flex}.account-link{white-space:nowrap;margin-left:auto}@media (width<=700px){.access-page{padding:16px}.access-form{flex-direction:column;align-items:stretch}.access-form label{flex:initial}.topbar{flex-wrap:wrap}}.discovery-panel{grid-column:1/-1;min-width:0}.discovery-form{grid-template-columns:repeat(3,minmax(0,1fr));gap:.8rem;padding:1rem 0;display:grid}.discovery-form label{flex-direction:column;gap:.35rem;min-width:0;font-size:.82rem;font-weight:600;display:flex}.discovery-form input,.discovery-form select{width:100%;min-width:0}.discovery-form .discovery-check{flex-direction:row;align-items:center;font-weight:400}.discovery-check input{width:auto}.discovery-wide{grid-column:1/-1}.discovery-submit{align-self:end}.discovery-graph-controls{border:1px solid var(--border);border-radius:.65rem;grid-template-columns:repeat(3,minmax(0,1fr));gap:.75rem;padding:.8rem;display:grid}.discovery-graph-controls p,.discovery-graph-controls .discovery-check{grid-column:1/-1}.discovery-result-heading{border-top:1px solid var(--border);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.5rem;padding:1rem 0;display:flex}.discovery-layout{grid-template-columns:minmax(0,1.1fr) minmax(0,1fr);gap:1.3rem;margin-top:.75rem;display:grid}.discovery-results{gap:.75rem;padding:0;list-style:none;display:grid}.discovery-results>li{border:1px solid var(--border);overflow-wrap:anywhere;border-radius:.7rem;min-width:0;padding:.9rem}.discovery-results>li.selected{border-color:var(--accent);box-shadow:inset 3px 0 var(--accent)}.discovery-hit-top,.discovery-actions{flex-wrap:wrap;align-items:center;gap:.5rem;display:flex}.discovery-hit-top{justify-content:space-between;margin-bottom:.5rem}.discovery-type{text-transform:uppercase;letter-spacing:.08em;color:var(--muted);font-size:.66rem}.discovery-title{color:var(--text);text-align:left;background:0 0;border:0;padding:0;font-size:1rem;font-weight:650}.discovery-title:hover{color:var(--accent);background:0 0}.discovery-actions{margin-top:.75rem}.discovery-detail{border-left:1px solid var(--border);overflow-wrap:anywhere;min-width:0;padding-left:1.2rem}.discovery-detail pre,.discovery-panel pre{white-space:pre-wrap;max-height:28rem;font-size:.75rem;overflow:auto}.discovery-detail details{margin:.75rem 0}.discovery-references{gap:.6rem;padding:0;list-style:none;display:grid}.discovery-references li{flex-direction:column;align-items:flex-start;gap:.2rem;display:flex}.discovery-references button{text-align:left;overflow-wrap:anywhere;max-width:100%;font-size:.78rem}.discovery-path{flex-wrap:wrap;gap:.25rem;padding:.5rem 0;display:flex}.discovery-path button{color:var(--accent);background:0 0;border:0;padding:0;font-size:.73rem}.discovery-boundary{border-left:3px solid var(--accent);padding:.6rem .8rem;font-size:.85rem}.discovery-facets>div{flex-wrap:wrap;gap:.4rem;margin-top:.5rem;display:flex}@media (width<=1050px){.discovery-form{grid-template-columns:repeat(2,minmax(0,1fr))}.discovery-layout{grid-template-columns:minmax(0,1fr)}.discovery-detail{border-left:0;border-top:1px solid var(--border);padding:1rem 0 0}}@media (width<=600px){.discovery-form,.discovery-graph-controls{grid-template-columns:minmax(0,1fr)}.discovery-panel .panel-head{flex-direction:column;align-items:flex-start}}.requirements-dashboard{grid-column:1/-1;gap:1.35rem;min-width:0;display:grid}.dashboard-eyebrow{color:var(--muted);text-transform:uppercase;letter-spacing:.09em;margin-bottom:.65rem;font-size:.72rem;display:block}.dashboard-hero{background:var(--panel);border:1px solid var(--border);border-left:4px solid var(--accent);border-radius:12px;flex-wrap:wrap;align-items:center;gap:1.5rem;padding:1.7rem;display:flex}.dashboard-hero>div{flex:380px}.dashboard-hero h2{letter-spacing:-.025em;margin-bottom:.7rem;font-size:1.6rem;line-height:1.25}.dashboard-hero p{color:var(--muted);max-width:75ch;margin:0}.dashboard-conflict{border-left-color:var(--bad)}.dashboard-state-grid{grid-template-columns:repeat(4,minmax(0,1fr));gap:1rem;display:grid}.dashboard-state-grid article{background:var(--panel);border:1px solid var(--border);border-radius:10px;min-width:0;padding:1.15rem}.dashboard-state-grid article>span{color:var(--muted);font-size:.78rem}.dashboard-state-grid strong{overflow-wrap:anywhere;margin:.5rem 0;font-size:1.2rem;font-weight:600;line-height:1.25;display:block}.dashboard-state-grid p{color:var(--muted);margin:0;font-size:.8rem}.dashboard-boundary{color:var(--muted);margin:-.6rem 0 0;font-size:.78rem}.dashboard-columns{grid-template-columns:minmax(0,1.2fr) minmax(0,1fr);gap:1.35rem;display:grid}.requirements-dashboard .panel{padding:1.3rem}.dashboard-list{margin:0;padding:0;list-style:none}.dashboard-list li{border-bottom:1px solid var(--border);overflow-wrap:anywhere;flex-direction:column;gap:.3rem;padding:1rem 0;display:flex}.dashboard-list li:last-child{border-bottom:0}.dashboard-list strong{font-weight:550}.dashboard-list p{color:var(--muted);margin:0;font-size:.86rem}.dashboard-excerpt{-webkit-line-clamp:2;-webkit-box-orient:vertical;display:-webkit-box;overflow:hidden}.dashboard-area-grid,.dashboard-project-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:.8rem;display:grid}.dashboard-area{border:1px solid var(--border);color:var(--text);overflow-wrap:anywhere;border-radius:8px;flex-direction:column;gap:.3rem;padding:.85rem 1rem;display:flex}.dashboard-area:hover{border-color:var(--accent);background:var(--accent-soft);text-decoration:none}.dashboard-area span{color:var(--muted);font-size:.8rem}.dashboard-agent-note{color:var(--muted);margin:.1rem 0;font-size:.85rem}.dashboard-navigation{border:0;border-bottom:1px solid var(--border);background:0 0;border-radius:0;flex-wrap:wrap;align-items:center;width:auto;padding:0 0 1rem}.technical-navigation{margin-left:auto;font-size:.82rem}.technical-navigation summary{cursor:pointer;color:var(--muted);padding:.5rem}.technical-navigation[open]{display:flex}.technical-navigation>div{flex-wrap:wrap;gap:.2rem;display:flex}.sidebar-inspection{margin-top:1.4rem}.sidebar-inspection>summary{cursor:pointer;color:var(--muted);font-size:.82rem}.project-dashboard>h2{letter-spacing:-.035em;font-size:1.8rem}.dashboard-project-grid{margin:1.5rem 0}.dashboard-project{color:var(--text);flex-direction:column;gap:1rem;display:flex}.dashboard-project strong{overflow-wrap:anywhere;font-size:1.1rem}.dashboard-project span{color:var(--muted);font-size:.8rem}.dashboard-project:hover{border-color:var(--accent);text-decoration:none}@media (width<=1150px){.dashboard-state-grid{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (width<=720px){.dashboard-hero{gap:1rem;padding:1.15rem}.dashboard-hero h2{font-size:1.35rem}.dashboard-columns,.dashboard-area-grid,.dashboard-project-grid{grid-template-columns:minmax(0,1fr)}.dashboard-state-grid{gap:.6rem}.dashboard-state-grid article{padding:.9rem}.dashboard-state-grid strong{font-size:1.05rem}.technical-navigation{margin-left:0}.technical-navigation[open]{display:block}}.project-navigation{flex-direction:column;gap:1.5rem;display:flex}.navigation-context{flex:1;min-width:0}.project-switcher>summary{border:1px solid var(--border);cursor:pointer;border-radius:8px;justify-content:space-between;align-items:center;padding:.55rem .65rem;font-weight:600;list-style:none;display:flex}.project-switcher[open]>summary{background:var(--surface)}.switcher-content{padding:.2rem .15rem .8rem}.project-switcher-actions{border-top:1px solid var(--border);justify-content:space-between;gap:.5rem;margin-top:.5rem;padding-top:.75rem;font-size:.8rem;display:flex}.project-navigation a{text-decoration:none}.project-navigation a:hover{text-decoration:underline}.project-hierarchy{margin-top:1.4rem}.navigation-caption{letter-spacing:.09em;text-transform:uppercase;color:var(--muted);margin-bottom:.4rem;font-size:.68rem;display:block}.current-project{color:var(--text);overflow-wrap:anywhere;font-weight:650;line-height:1.45;display:block}.exploration-branch{border-left:2px solid var(--border);margin:1.2rem 0 1rem .3rem;padding-left:.9rem}.current-exploration{background:var(--accent-soft);color:var(--accent);overflow-wrap:anywhere;border-radius:7px;margin-left:-.4rem;padding:.6rem;font-size:.86rem;font-weight:550;display:block}.exploration-switcher{color:var(--muted);margin-top:.65rem;font-size:.78rem}.exploration-switcher summary{cursor:pointer}.project-access-link{color:var(--muted);margin-top:1rem;font-size:.8rem;display:block}.navigation-account{border-top:1px solid var(--border);gap:.9rem;padding-top:1rem;display:grid}.account-identity{min-width:0;color:var(--text);align-items:center;gap:.65rem;display:flex}.account-avatar{background:var(--surface);border-radius:50%;flex-shrink:0;place-items:center;width:30px;height:30px;font-weight:600;display:grid}.account-identity>span:last-child{min-width:0;display:grid}.account-identity strong{overflow-wrap:anywhere;font-size:.8rem}.navigation-account .theme-picker{width:max-content;margin:0}.navigation-account .theme-picker button{justify-content:center;width:34px;height:30px;font-size:1rem}.navigation-account .theme-picker button>span:last-child{display:inline}.layout>.access-page{grid-column:2;overflow:auto}@media (width<=720px){.project-navigation{gap:1rem;max-height:none}.project-navigation .navigation-account{grid-template-columns:1fr auto;align-items:center}.project-hierarchy{margin-top:1rem}.exploration-branch{margin-top:.8rem}.layout>.access-page{grid-column:1}}@media (width>=721px){.project-navigation{overflow:hidden}.navigation-context{min-height:0;overflow:auto}.navigation-account{flex-shrink:0}}@media (width<=720px){.project-navigation{max-height:360px;overflow:hidden}.navigation-context{min-height:0;overflow:auto}.navigation-account{flex-shrink:0}}.dashboard-area:focus-visible{outline:2px solid var(--accent);outline-offset:3px}.area-overview>.dashboard-columns{margin-top:1.5rem}.area-overview{grid-column:1/-1;min-width:0}.area-overview>h2{margin:1rem 0 .6rem;font-size:1.4rem}.area-overview>.dashboard-state-grid{grid-template-columns:repeat(3,minmax(0,1fr))}@media (width<=720px){.area-overview>.dashboard-state-grid{grid-template-columns:minmax(0,1fr)}}.area-summary-surface{background:var(--panel);border:1px solid var(--border);border-radius:10px;align-self:start;min-width:0;padding:1.25rem;box-shadow:0 2px 8px #00000008}.area-summary-surface h3{margin:0 0 1rem}.area-summary-surface .dashboard-list p{overflow-wrap:anywhere}.area-pagination{justify-content:space-between;gap:1rem;margin-top:1.5rem;display:flex}.item-description{white-space:pre-wrap;overflow-wrap:anywhere}.dashboard-state-grid .solver-state{font-size:1.05rem}.formalization-state{font-size:.8rem;font-weight:650}.requirements-dashboard{gap:1.4rem}.dashboard-hero{border:1px solid var(--border);background:linear-gradient(115deg,var(--panel),var(--surface));border-radius:18px;padding:1.65rem 1.8rem;box-shadow:0 5px 20px #00000008}.dashboard-hero.health-warning{border-left:5px solid var(--warn)}.dashboard-hero.health-critical{border-left:5px solid var(--bad)}.dashboard-hero.health-good{border-left:5px solid var(--ok)}.dashboard-hero h2{margin-top:.8rem;font-size:1.45rem}.health-badge{background:var(--surface);color:var(--muted);border-radius:99px;align-items:center;gap:.5rem;padding:.35rem .7rem;font-size:.8rem;font-weight:650;display:inline-flex}.health-badge:before{content:"";background:currentColor;border-radius:50%;width:7px;height:7px}.health-badge.health-warning{background:var(--warn-soft);color:var(--warn)}.health-badge.health-critical{background:var(--bad-soft);color:var(--bad)}.health-badge.health-good{background:var(--ok-soft);color:var(--ok)}.dashboard-metrics{grid-template-columns:repeat(4,minmax(0,1fr));gap:.9rem;display:grid}.metric-tile{min-width:0;color:var(--text);background:var(--panel);border:1px solid var(--border);border-radius:14px;flex-direction:column;align-items:flex-start;gap:.4rem;padding:1.15rem;display:flex;position:relative;box-shadow:0 3px 12px #00000008}.metric-icon{width:30px;height:30px;color:var(--accent);background:var(--accent-soft);border-radius:9px;place-items:center;margin-bottom:.25rem;font-size:1.05rem;display:grid}.metric-tile strong{letter-spacing:-.04em;overflow-wrap:anywhere;font-size:2rem;font-weight:700;line-height:1.15}.metric-label{font-size:.8rem;font-weight:600}.metric-note{color:var(--muted);font-size:.72rem;line-height:1.5}.metric-tile.metric-warning{border-color:var(--warn-border);background:linear-gradient(145deg,var(--panel) 55%,var(--warn-soft))}.metric-tile.metric-critical{border-color:var(--bad-border);background:linear-gradient(145deg,var(--panel) 55%,var(--bad-soft))}.metric-warning .metric-icon{background:var(--warn-soft);color:var(--warn)}.metric-critical .metric-icon{background:var(--bad-soft);color:var(--bad)}.metric-warning strong{color:var(--warn)}.metric-critical strong{color:var(--bad)}a.metric-tile{text-decoration:none;transition:transform .15s,border-color .15s}a.metric-tile:hover{border-color:var(--accent);transform:translateY(-2px)}a.metric-tile:focus-visible{outline:2px solid var(--accent);outline-offset:3px}.metric-arrow{color:var(--muted);position:absolute;top:1rem;right:1rem}.dashboard-checks{grid-template-columns:repeat(3,minmax(0,1fr));gap:1rem;display:grid}.dashboard-check{border:1px solid var(--border);background:var(--panel);border-radius:12px;flex-direction:column;align-items:flex-start;gap:.35rem;min-width:0;padding:1rem 1.1rem;display:flex}.dashboard-check .dashboard-eyebrow{margin-bottom:.25rem;font-size:.65rem}.dashboard-check strong{font-size:.9rem}.dashboard-check>span:not(.dashboard-eyebrow),.dashboard-check p{color:var(--muted);margin:0;font-size:.75rem}.dashboard-check .solver-state{border-radius:5px;padding:.2rem .5rem}.dashboard-check.check-warning{border-color:var(--warn-border)}.check-warning strong{color:var(--warn)}.requirements-dashboard .panel{border-radius:15px;box-shadow:0 3px 12px #00000008}.requirements-dashboard .dashboard-list a{color:var(--text);text-decoration:none}.requirements-dashboard .dashboard-list a:hover{color:var(--accent);text-decoration:underline}.gap-count{color:var(--warn);background:var(--warn-soft);white-space:nowrap;border-radius:99px;margin-left:.35rem;padding:.25rem .5rem;font-size:.7rem;font-weight:600}.gap-label{color:var(--warn);font-size:.72rem}.dashboard-attention .dashboard-list li{border-left:2px solid var(--warn-border);padding-left:.75rem}@media (width<=850px){.dashboard-metrics{grid-template-columns:repeat(2,minmax(0,1fr))}.dashboard-checks{grid-template-columns:minmax(0,1fr)}}@media (width<=480px){.metric-tile{padding:.9rem}.metric-tile strong{font-size:1.65rem}.dashboard-hero{padding:1.15rem}}@media (prefers-reduced-motion:reduce){a.metric-tile{transition:none}a.metric-tile:hover{transform:none}}.record-references{border-top:1px solid var(--border);margin-top:1.75rem;padding-top:1.25rem}.reference-target,.source-references li{overflow-wrap:anywhere;white-space:pre-wrap;display:block}.record-references .dashboard-list li{gap:.4rem;display:grid}.source-references{padding-left:1.25rem;line-height:1.6}.record-facts{grid-template-columns:minmax(8rem,1fr) 2fr;gap:.7rem 1rem;margin:1.5rem 0;display:grid}.record-facts dt{color:var(--muted)}.record-facts dd{overflow-wrap:anywhere;margin:0}