html:is([data-eol-workspace],:has([data-workspace-shell])){font-family:Manrope,system-ui,sans-serif;font-synthesis:none}html:is([data-eol-workspace],:has([data-workspace-shell])) *{box-sizing:border-box}html:is([data-eol-workspace],:has([data-workspace-shell])) body{margin:0;background:var(--paper);color:var(--ink)}html:is([data-eol-workspace],:has([data-workspace-shell])) button,html:is([data-eol-workspace],:has([data-workspace-shell])) input,html:is([data-eol-workspace],:has([data-workspace-shell])) select,html:is([data-eol-workspace],:has([data-workspace-shell])) textarea{font:inherit}html:is([data-eol-workspace],:has([data-workspace-shell])) a,html:is([data-eol-workspace],:has([data-workspace-shell])) button,html:is([data-eol-workspace],:has([data-workspace-shell])) input,html:is([data-eol-workspace],:has([data-workspace-shell])) select,html:is([data-eol-workspace],:has([data-workspace-shell])) textarea{-webkit-tap-highlight-color:transparent}html:is([data-eol-workspace],:has([data-workspace-shell])) a{color:inherit;text-underline-offset:4px}html:is([data-eol-workspace],:has([data-workspace-shell])) .button,html:is([data-eol-workspace],:has([data-workspace-shell])) button{display:inline-flex;align-items:center;justify-content:center;gap:10px;min-height:46px;border:1px solid var(--line);border-radius:9px;padding:11px 17px;background:var(--surface);color:var(--ink);font-size:.88rem;font-weight:700;cursor:pointer;text-decoration:none;line-height:1.5}html:is([data-eol-workspace],:has([data-workspace-shell])) .button:hover,html:is([data-eol-workspace],:has([data-workspace-shell])) button:hover{border-color:var(--ink)}html:is([data-eol-workspace],:has([data-workspace-shell])) button:disabled{opacity:.55;cursor:wait}html:is([data-eol-workspace],:has([data-workspace-shell])) .primary{background:var(--accent);color:var(--paper);border-color:var(--accent)}html:is([data-eol-workspace],:has([data-workspace-shell])) .primary:hover{opacity:.88}html:is([data-eol-workspace],:has([data-workspace-shell])) .danger{color:var(--bad);border-color:var(--bad)}html:is([data-eol-workspace],:has([data-workspace-shell])) :focus-visible{outline:3px solid var(--accent);outline-offset:4px}html:is([data-eol-workspace],:has([data-workspace-shell])) h1{scroll-margin-top:100px;text-wrap:balance}html:is([data-eol-workspace],:has([data-workspace-shell])) svg{width:22px;height:22px;flex-shrink:0}html:is([data-eol-workspace],:has([data-workspace-shell])) p{line-height:1.7}html:is([data-eol-workspace],:has([data-workspace-shell])) h1,html:is([data-eol-workspace],:has([data-workspace-shell])) h2,html:is([data-eol-workspace],:has([data-workspace-shell])) p{margin-top:0}html:is([data-eol-workspace],:has([data-workspace-shell])) h2{font-size:1.22rem;line-height:1.4;letter-spacing:-.025em}html:is([data-eol-workspace],:has([data-workspace-shell])) input:not([type=radio]),html:is([data-eol-workspace],:has([data-workspace-shell])) select,html:is([data-eol-workspace],:has([data-workspace-shell])) textarea{background:var(--surface);color:var(--ink);border:1px solid var(--line);border-radius:8px;padding:13px 15px;min-height:48px;width:100%;line-height:1.6}html:is([data-eol-workspace],:has([data-workspace-shell])) textarea{resize:vertical;min-height:104px}html:is([data-eol-workspace],:has([data-workspace-shell])) input::placeholder,html:is([data-eol-workspace],:has([data-workspace-shell])) textarea::placeholder{color:var(--muted);opacity:.8}html:is([data-eol-workspace],:has([data-workspace-shell])) input[type=checkbox],html:is([data-eol-workspace],:has([data-workspace-shell])) input[type=radio]{accent-color:var(--accent);width:20px;height:20px}html:is([data-eol-workspace],:has([data-workspace-shell])) label{font-weight:650}html:is([data-eol-workspace],:has([data-workspace-shell])) fieldset{border:0;padding:0;margin:0;min-width:0}html:is([data-eol-workspace],:has([data-workspace-shell])) dl{margin:0}html:is([data-eol-workspace],:has([data-workspace-shell])) dt{font-size:.82rem;color:var(--muted);line-height:1.5}html:is([data-eol-workspace],:has([data-workspace-shell])) dd{margin:5px 0 0;line-height:1.7;overflow-wrap:anywhere;white-space:pre-wrap}html:is([data-eol-workspace],:has([data-workspace-shell])) details{border:1px solid var(--line);border-radius:8px;overflow:hidden}html:is([data-eol-workspace],:has([data-workspace-shell])) summary{padding:15px;cursor:pointer;font-size:.88rem;font-weight:650;min-height:48px}html:is([data-eol-workspace],:has([data-workspace-shell])) pre{font:12px/1.65 JetBrains Mono,monospace;padding:18px;overflow:auto;max-height:440px;background:var(--soft);margin:0;-moz-tab-size:2;tab-size:2}html:is([data-eol-workspace],:has([data-workspace-shell])) small{font-size:.75rem;line-height:1.5}html:is([data-eol-workspace],:has([data-workspace-shell])) .app-shell{min-height:100dvh}html:is([data-eol-workspace],:has([data-workspace-shell])) .sidebar{overflow-y:auto;position:fixed;inset:0 auto 0 0;width:250px;border-right:1px solid var(--line);padding:38px 25px;display:flex;flex-direction:column}html:is([data-eol-workspace],:has([data-workspace-shell])) .brand{display:flex;align-items:center;gap:12px;text-decoration:none}html:is([data-eol-workspace],:has([data-workspace-shell])) .brand img{height:43px;width:43px}html:is([data-eol-workspace],:has([data-workspace-shell])) .brand-sub{display:block;font-size:.73rem;font-weight:600;margin-top:1px}html:is([data-eol-workspace],:has([data-workspace-shell])) .tagline{font-size:.72rem;color:var(--muted);margin:25px 0 35px}html:is([data-eol-workspace],:has([data-workspace-shell])) .sidebar nav{display:flex;flex-direction:column;gap:8px}html:is([data-eol-workspace],:has([data-workspace-shell])) .sidebar nav a{display:flex;align-items:center;gap:12px;min-height:49px;border-radius:9px;padding:12px;text-decoration:none;font-size:.9rem;font-weight:650}html:is([data-eol-workspace],:has([data-workspace-shell])) .sidebar nav a[aria-current]{background:var(--accent);color:var(--paper)}html:is([data-eol-workspace],:has([data-workspace-shell])) .sidebar nav a:not([aria-current]):hover{background:var(--soft)}html:is([data-eol-workspace],:has([data-workspace-shell])) .sidebar-foot{margin-top:auto;font-size:.7rem;line-height:1.6;color:var(--muted)}html:is([data-eol-workspace],:has([data-workspace-shell])) .sidebar-foot small{display:block;font-size:.6rem;margin-top:10px;overflow-wrap:anywhere}html:is([data-eol-workspace],:has([data-workspace-shell])) .status-dot{display:inline-block;width:6px;height:6px;border-radius:50%;background:var(--good);margin-right:8px;vertical-align:middle}html:is([data-eol-workspace],:has([data-workspace-shell])) main{margin-left:250px;padding:35px 6vw 70px}html:is([data-eol-workspace],:has([data-workspace-shell])) .topline{display:flex;justify-content:space-between;gap:20px;align-items:center;border-bottom:1px solid var(--line);padding-bottom:22px;margin-bottom:43px}html:is([data-eol-workspace],:has([data-workspace-shell])) .eyebrow{font:11px/1.6 JetBrains Mono,monospace;text-transform:uppercase;letter-spacing:.06em;color:var(--muted)}html:is([data-eol-workspace],:has([data-workspace-shell])) .local-label{font-size:.68rem;color:var(--muted)}html:is([data-eol-workspace],:has([data-workspace-shell])) .page-header{margin-bottom:35px;max-width:760px}html:is([data-eol-workspace],:has([data-workspace-shell])) h1{font-size:clamp(1.9rem,3.5vw,2.95rem);font-weight:650;line-height:1.15;letter-spacing:-.05em;margin:0 0 17px;overflow-wrap:anywhere}html:is([data-eol-workspace],:has([data-workspace-shell])) .page-header p{color:var(--muted);font-size:.94rem;max-width:590px;margin-bottom:0}html:is([data-eol-workspace],:has([data-workspace-shell])) .actions{display:flex;align-items:center;flex-wrap:wrap;gap:12px;margin:24px 0}html:is([data-eol-workspace],:has([data-workspace-shell])) .text-link{font-size:.85rem;font-weight:650;min-height:44px;display:inline-flex;align-items:center;padding:5px}html:is([data-eol-workspace],:has([data-workspace-shell])) .empty-state{border-top:1px solid var(--line);padding:40px 0 0;position:relative;max-width:780px}html:is([data-eol-workspace],:has([data-workspace-shell])) .large-mark{display:flex;width:66px;height:72px;background:var(--soft);align-items:center;justify-content:center;border-radius:10px 10px 24px 10px;margin-bottom:30px}html:is([data-eol-workspace],:has([data-workspace-shell])) .large-mark svg{width:35px;height:35px}html:is([data-eol-workspace],:has([data-workspace-shell])) .empty-state h2{font-size:clamp(1.5rem,2.5vw,2.15rem);font-weight:600;max-width:510px;margin-bottom:15px}html:is([data-eol-workspace],:has([data-workspace-shell])) .empty-state>p:not(.eyebrow){max-width:510px;color:var(--muted);font-size:.94rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .empty-line{display:flex;gap:6px;max-width:320px;margin-top:53px}html:is([data-eol-workspace],:has([data-workspace-shell])) .empty-line span{height:3px;background:var(--line);flex:1 1}html:is([data-eol-workspace],:has([data-workspace-shell])) .empty-line span:first-child{background:var(--good);flex:.4 1}html:is([data-eol-workspace],:has([data-workspace-shell])) .library-tools{display:flex;justify-content:space-between;align-items:center;gap:15px;margin-bottom:24px;font-size:.85rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .library-tools strong{display:inline-block;margin-left:7px;font:12px JetBrains Mono,monospace;padding:5px 9px;border-radius:5px;background:var(--soft)}html:is([data-eol-workspace],:has([data-workspace-shell])) .search-label{display:block;font-size:.8rem;color:var(--muted);margin-bottom:25px}html:is([data-eol-workspace],:has([data-workspace-shell])) .search-label input{margin-top:7px}html:is([data-eol-workspace],:has([data-workspace-shell])) .record-row{display:flex;align-items:center;gap:18px;padding:24px 4px;border-top:1px solid var(--line);text-decoration:none}html:is([data-eol-workspace],:has([data-workspace-shell])) .record-row:last-child{border-bottom:1px solid var(--line)}html:is([data-eol-workspace],:has([data-workspace-shell])) .record-row:hover h2{text-decoration:underline;text-underline-offset:4px}html:is([data-eol-workspace],:has([data-workspace-shell])) .row-icon{background:var(--soft);padding:12px;border-radius:8px;display:flex}html:is([data-eol-workspace],:has([data-workspace-shell])) .row-body{flex:1 1;min-width:0}html:is([data-eol-workspace],:has([data-workspace-shell])) .row-body h2{font-size:1.12rem;margin:9px 0 10px;overflow-wrap:anywhere}html:is([data-eol-workspace],:has([data-workspace-shell])) .row-meta{display:flex;justify-content:space-between;gap:12px;color:var(--muted);font-size:.72rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .integrity{font-size:.73rem;color:var(--good)}html:is([data-eol-workspace],:has([data-workspace-shell])) .failed{color:var(--bad)!important}html:is([data-eol-workspace],:has([data-workspace-shell])) .no-results{padding:40px 0;color:var(--muted)}html:is([data-eol-workspace],:has([data-workspace-shell])) .create-form{max-width:770px}html:is([data-eol-workspace],:has([data-workspace-shell])) .form-step{display:grid;grid-template-columns:32px minmax(0,1fr);grid-gap:17px;gap:17px;padding:0 0 27px;margin:0 0 26px;border-bottom:1px solid var(--line)}html:is([data-eol-workspace],:has([data-workspace-shell])) .step-number{font:12px JetBrains Mono,monospace;color:var(--muted);padding-top:4px}html:is([data-eol-workspace],:has([data-workspace-shell])) .form-step label{font-size:1.03rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .hint{font-size:.79rem;color:var(--muted);font-weight:400;line-height:1.65}html:is([data-eol-workspace],:has([data-workspace-shell])) .actor-field p,html:is([data-eol-workspace],:has([data-workspace-shell])) .form-step p{margin:7px 0 14px}html:is([data-eol-workspace],:has([data-workspace-shell])) .actor-field{margin-left:49px;max-width:500px}html:is([data-eol-workspace],:has([data-workspace-shell])) .draft-note{font-size:.76rem;color:var(--muted);margin-top:30px}html:is([data-eol-workspace],:has([data-workspace-shell])) .file-drop{background:var(--surface);border:1px dashed var(--muted);border-radius:12px;padding:35px 20px;text-align:center}html:is([data-eol-workspace],:has([data-workspace-shell])) .file-drop>svg{width:40px;height:40px;margin-bottom:17px}html:is([data-eol-workspace],:has([data-workspace-shell])) .file-drop h2{margin-bottom:8px}html:is([data-eol-workspace],:has([data-workspace-shell])) .file-drop p{font-size:.82rem;color:var(--muted);margin-bottom:22px}html:is([data-eol-workspace],:has([data-workspace-shell])) .file-drop small{display:block;color:var(--muted);margin-top:13px}html:is([data-eol-workspace],:has([data-workspace-shell])) .example-button{width:100%;border:0;border-bottom:1px solid var(--line);border-radius:0;background:transparent;padding:22px 0;justify-content:space-between;font-weight:500}html:is([data-eol-workspace],:has([data-workspace-shell])) .verified-result{margin-top:30px}html:is([data-eol-workspace],:has([data-workspace-shell])) .sample-bar{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:12px;margin-bottom:16px;font-size:.8rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .sample-bar button{font-size:.75rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .proof{border:1px solid var(--line);border-radius:10px;padding:25px;background:var(--good-bg)}html:is([data-eol-workspace],:has([data-workspace-shell])) .proof-broken{background:var(--bad-bg)}html:is([data-eol-workspace],:has([data-workspace-shell])) .proof-heading{display:flex;gap:14px}html:is([data-eol-workspace],:has([data-workspace-shell])) .proof-icon{display:flex;width:34px;height:34px;flex-shrink:0;border:1px solid;border-radius:50%;align-items:center;justify-content:center;color:var(--good)}html:is([data-eol-workspace],:has([data-workspace-shell])) .proof-broken .proof-icon{color:var(--bad)}html:is([data-eol-workspace],:has([data-workspace-shell])) .proof-heading h2{margin-bottom:7px}html:is([data-eol-workspace],:has([data-workspace-shell])) .proof-heading p{font-size:.83rem;color:var(--muted);margin-bottom:20px}html:is([data-eol-workspace],:has([data-workspace-shell])) .facts>div{display:flex;align-items:baseline;justify-content:space-between;gap:15px;border-top:1px solid var(--line);padding:11px 0}html:is([data-eol-workspace],:has([data-workspace-shell])) .facts dt{min-width:0;overflow-wrap:anywhere;color:var(--ink)}html:is([data-eol-workspace],:has([data-workspace-shell])) .facts dd{margin:0;text-align:right;color:var(--good);font-size:.78rem;font-weight:700}html:is([data-eol-workspace],:has([data-workspace-shell])) .boundary{border-top:1px solid var(--line);padding-top:17px;font-size:.76rem;margin:4px 0 0;color:var(--muted)}html:is([data-eol-workspace],:has([data-workspace-shell])) .contents{margin-top:38px}html:is([data-eol-workspace],:has([data-workspace-shell])) .contents>h2{margin-bottom:25px}html:is([data-eol-workspace],:has([data-workspace-shell])) .record-content{padding:24px 0;border-top:1px solid var(--line)}html:is([data-eol-workspace],:has([data-workspace-shell])) .record-content dl>div{margin-bottom:22px}html:is([data-eol-workspace],:has([data-workspace-shell])) .record-content dd{font-size:.95rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .hash,html:is([data-eol-workspace],:has([data-workspace-shell])) .record-content .hash{font:12px/1.8 JetBrains Mono,monospace;overflow-wrap:anywhere}html:is([data-eol-workspace],:has([data-workspace-shell])) .meta-pair{display:grid;grid-template-columns:1fr 1fr;grid-gap:20px;gap:20px}html:is([data-eol-workspace],:has([data-workspace-shell])) .meta-pair dd{font-size:.79rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .source-boundary{font-size:.72rem;color:var(--muted);overflow-wrap:anywhere}html:is([data-eol-workspace],:has([data-workspace-shell])) .delete-area{border-top:1px solid var(--line);margin-top:35px;padding-top:24px}html:is([data-eol-workspace],:has([data-workspace-shell])) .back-link{display:inline-flex;min-height:44px;align-items:center;margin:-20px 0 18px;font-size:.82rem;text-decoration:none}html:is([data-eol-workspace],:has([data-workspace-shell])) .import-title{overflow-wrap:anywhere;margin:28px 0 18px}html:is([data-eol-workspace],:has([data-workspace-shell])) .message{padding:17px 19px;border-radius:8px;margin-bottom:24px;font-size:.88rem;line-height:1.7}html:is([data-eol-workspace],:has([data-workspace-shell])) .error{background:var(--bad-bg);color:var(--bad);border:1px solid var(--bad)}html:is([data-eol-workspace],:has([data-workspace-shell])) .notice{background:var(--good-bg);color:var(--good)}html:is([data-eol-workspace],:has([data-workspace-shell])) .loading{color:var(--muted)}html:is([data-eol-workspace],:has([data-workspace-shell])) .settings-content{max-width:700px}html:is([data-eol-workspace],:has([data-workspace-shell])) .setting-row{display:flex;align-items:center;justify-content:space-between;gap:22px;border-top:1px solid var(--line);padding:25px 0}html:is([data-eol-workspace],:has([data-workspace-shell])) .setting-row select{max-width:240px}html:is([data-eol-workspace],:has([data-workspace-shell])) .theme-choice{border-top:1px solid var(--line);padding:18px 0 25px}html:is([data-eol-workspace],:has([data-workspace-shell])) .theme-choice legend{font-weight:650;padding-right:15px}html:is([data-eol-workspace],:has([data-workspace-shell])) .theme-choice label{display:inline-flex;align-items:center;gap:9px;min-height:44px;margin-right:25px;font-size:.9rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .settings-note{border-top:1px solid var(--line);padding-top:28px;margin-top:15px}html:is([data-eol-workspace],:has([data-workspace-shell])) .settings-note>svg{margin-bottom:16px}html:is([data-eol-workspace],:has([data-workspace-shell])) .settings-note p{font-size:.88rem;color:var(--muted)}html:is([data-eol-workspace],:has([data-workspace-shell])) .settings-note dl>div{padding-bottom:15px}html:is([data-eol-workspace],:has([data-workspace-shell])) dialog{overscroll-behavior:contain;color:var(--ink);background:var(--surface);border:1px solid var(--line);border-radius:12px;padding:28px;width:min(510px,calc(100% - 32px));max-height:85dvh;overflow:auto}html:is([data-eol-workspace],:has([data-workspace-shell])) dialog::-webkit-backdrop{background:#000000a6}html:is([data-eol-workspace],:has([data-workspace-shell])) dialog::backdrop{background:#000000a6}html:is([data-eol-workspace],:has([data-workspace-shell])) dialog p{font-size:.9rem;color:var(--muted)}html:is([data-eol-workspace],:has([data-workspace-shell])) dialog .delete-title{font-weight:700;color:var(--ink);overflow-wrap:anywhere}html:is([data-eol-workspace],:has([data-workspace-shell])) .skip-link{position:fixed;top:-100px;left:20px;z-index:5;background:var(--accent);color:var(--paper);padding:15px}html:is([data-eol-workspace],:has([data-workspace-shell])) .skip-link:focus{top:10px}html:is([data-eol-workspace],:has([data-workspace-shell])) .visually-hidden{position:absolute!important;width:1px!important;height:1px!important;padding:0!important;margin:-1px!important;overflow:hidden!important;clip:rect(0,0,0,0)!important;white-space:nowrap!important;border:0!important}@media(max-width:900px){html:is([data-eol-workspace],:has([data-workspace-shell])) .sidebar{width:205px;padding:30px 17px}html:is([data-eol-workspace],:has([data-workspace-shell])) main{margin-left:205px;padding-left:32px;padding-right:32px}html:is([data-eol-workspace],:has([data-workspace-shell])) .local-label{display:none}html:is([data-eol-workspace],:has([data-workspace-shell])) .sidebar nav a{font-size:.81rem;gap:9px}}@media(max-width:680px){html:is([data-eol-workspace],:has([data-workspace-shell])) .sidebar{overflow:visible;position:relative;inset:auto;width:auto;min-height:73px;height:auto;padding:17px 21px;border:0;border-bottom:1px solid var(--line);background:var(--paper);z-index:3}html:is([data-eol-workspace],:has([data-workspace-shell])) .brand{font-size:1.05rem;gap:9px}html:is([data-eol-workspace],:has([data-workspace-shell])) .brand img{height:36px;width:36px}html:is([data-eol-workspace],:has([data-workspace-shell])) .brand-sub{font-size:.65rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .sidebar-foot,html:is([data-eol-workspace],:has([data-workspace-shell])) .tagline{display:none}html:is([data-eol-workspace],:has([data-workspace-shell])) .sidebar nav{position:fixed;inset:auto 0 0;display:grid;grid-template-columns:repeat(4,minmax(0,1fr));grid-gap:0;gap:0;padding:6px 4px max(7px,env(safe-area-inset-bottom));background:var(--paper);border-top:1px solid var(--line)}html:is([data-eol-workspace],:has([data-workspace-shell])) .sidebar nav a{flex-direction:column;justify-content:center;gap:4px;padding:7px 2px;min-height:58px;font-size:.6rem;border-radius:7px;line-height:1.4}html:is([data-eol-workspace],:has([data-workspace-shell])) .sidebar nav a[aria-current]{background:var(--soft);color:var(--ink)}html:is([data-eol-workspace],:has([data-workspace-shell])) .sidebar nav a span{max-width:100%;overflow-wrap:anywhere}html:is([data-eol-workspace],:has([data-workspace-shell])) .sidebar nav svg{height:23px;width:23px}html:is([data-eol-workspace],:has([data-workspace-shell])) main{margin:0;padding:24px 22px calc(150px + env(safe-area-inset-bottom))}html:is([data-eol-workspace],:has([data-workspace-shell])) .topline{padding-bottom:17px;margin-bottom:28px}html:is([data-eol-workspace],:has([data-workspace-shell])) .eyebrow{font-size:10px}html:is([data-eol-workspace],:has([data-workspace-shell])) .page-header{margin-bottom:29px}html:is([data-eol-workspace],:has([data-workspace-shell])) h1{font-size:2.03rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .page-header p{font-size:.86rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .empty-state{padding-top:27px}html:is([data-eol-workspace],:has([data-workspace-shell])) .large-mark{margin-bottom:23px}html:is([data-eol-workspace],:has([data-workspace-shell])) .empty-state>p:not(.eyebrow){font-size:.85rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .empty-state h2{font-size:1.7rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .actions{gap:10px}html:is([data-eol-workspace],:has([data-workspace-shell])) .empty-state .actions{align-items:flex-start;flex-direction:column}html:is([data-eol-workspace],:has([data-workspace-shell])) .empty-line{margin-top:32px}html:is([data-eol-workspace],:has([data-workspace-shell])) .form-step{grid-template-columns:24px minmax(0,1fr);gap:9px;margin-bottom:23px;padding-bottom:23px}html:is([data-eol-workspace],:has([data-workspace-shell])) .actor-field{margin-left:33px}html:is([data-eol-workspace],:has([data-workspace-shell])) .form-step label{font-size:.97rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .hint{font-size:.75rem}html:is([data-eol-workspace],:has([data-workspace-shell])) input,html:is([data-eol-workspace],:has([data-workspace-shell])) select,html:is([data-eol-workspace],:has([data-workspace-shell])) textarea{font-size:16px}html:is([data-eol-workspace],:has([data-workspace-shell])) .proof{padding:19px 16px}html:is([data-eol-workspace],:has([data-workspace-shell])) .proof-heading{gap:10px}html:is([data-eol-workspace],:has([data-workspace-shell])) .proof-heading h2{font-size:1.06rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .proof-heading p{font-size:.78rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .proof-icon{height:28px;width:28px}html:is([data-eol-workspace],:has([data-workspace-shell])) .proof-icon svg{width:18px;height:18px}html:is([data-eol-workspace],:has([data-workspace-shell])) .facts>div{gap:10px}html:is([data-eol-workspace],:has([data-workspace-shell])) .facts dt{font-size:.73rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .facts dd{font-size:.7rem;min-width:75px}html:is([data-eol-workspace],:has([data-workspace-shell])) .boundary{font-size:.71rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .record-row{gap:10px;padding:20px 0}html:is([data-eol-workspace],:has([data-workspace-shell])) .row-icon{padding:8px}html:is([data-eol-workspace],:has([data-workspace-shell])) .row-meta{font-size:.63rem;flex-wrap:wrap;gap:4px}html:is([data-eol-workspace],:has([data-workspace-shell])) .row-body h2{font-size:1rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .record-row>svg{width:17px}html:is([data-eol-workspace],:has([data-workspace-shell])) .integrity{font-size:.66rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .file-drop{padding:27px 15px}html:is([data-eol-workspace],:has([data-workspace-shell])) .meta-pair{grid-template-columns:1fr}html:is([data-eol-workspace],:has([data-workspace-shell])) .record-content dd{font-size:.88rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .setting-row{flex-wrap:wrap;gap:12px}html:is([data-eol-workspace],:has([data-workspace-shell])) .setting-row select{max-width:none}html:is([data-eol-workspace],:has([data-workspace-shell])) .back-link{margin-top:-10px}html:is([data-eol-workspace],:has([data-workspace-shell])) .contents{margin-top:30px}html:is([data-eol-workspace],:has([data-workspace-shell])) dialog{padding:22px}html:is([data-eol-workspace],:has([data-workspace-shell])) .local-label{display:none}}@media(prefers-reduced-motion:no-preference){html:is([data-eol-workspace],:has([data-workspace-shell])) a,html:is([data-eol-workspace],:has([data-workspace-shell])) button,html:is([data-eol-workspace],:has([data-workspace-shell])) input,html:is([data-eol-workspace],:has([data-workspace-shell])) select,html:is([data-eol-workspace],:has([data-workspace-shell])) textarea{transition:background-color .15s,border-color .15s,opacity .15s}}html:is([data-eol-workspace],:has([data-workspace-shell])) .message{scroll-margin-top:100px}html:is([data-eol-workspace],:has([data-workspace-shell])) a,html:is([data-eol-workspace],:has([data-workspace-shell])) button,html:is([data-eol-workspace],:has([data-workspace-shell])) input,html:is([data-eol-workspace],:has([data-workspace-shell])) select,html:is([data-eol-workspace],:has([data-workspace-shell])) textarea{touch-action:manipulation}html:is([data-eol-workspace],:has([data-workspace-shell])) h1:focus{outline:none}html:is([data-eol-workspace],:has([data-workspace-shell])) .proof .boundary{font-size:.83rem;color:var(--ink)}html:is([data-eol-workspace],:has([data-workspace-shell])) .file-format{overflow-wrap:anywhere}html:is([data-eol-workspace],:has([data-workspace-shell]))[data-native=true] :is(button,.button,input:not([type=radio]),select,summary,.theme-choice label,.back-link){min-height:48px}html:is([data-eol-workspace],:has([data-workspace-shell])) :focus-visible{scroll-margin-block:100px 110px}@media print{html:is([data-eol-workspace],:has([data-workspace-shell])) .actions,html:is([data-eol-workspace],:has([data-workspace-shell])) .back-link,html:is([data-eol-workspace],:has([data-workspace-shell])) .delete-area,html:is([data-eol-workspace],:has([data-workspace-shell])) .example-button,html:is([data-eol-workspace],:has([data-workspace-shell])) .file-drop,html:is([data-eol-workspace],:has([data-workspace-shell])) .sample-bar,html:is([data-eol-workspace],:has([data-workspace-shell])) .save-received,html:is([data-eol-workspace],:has([data-workspace-shell])) .sidebar,html:is([data-eol-workspace],:has([data-workspace-shell])) .skip-link,html:is([data-eol-workspace],:has([data-workspace-shell])) .topline{display:none!important}html:is([data-eol-workspace],:has([data-workspace-shell])) main{margin:0;padding:0;max-width:none}html:is([data-eol-workspace],:has([data-workspace-shell])) .boundary,html:is([data-eol-workspace],:has([data-workspace-shell])) .hash,html:is([data-eol-workspace],:has([data-workspace-shell])) .proof,html:is([data-eol-workspace],:has([data-workspace-shell])) .record-content,html:is([data-eol-workspace],:has([data-workspace-shell])) pre{overflow:visible;overflow-wrap:anywhere;white-space:pre-wrap}html:is([data-eol-workspace],:has([data-workspace-shell])) .proof{page-break-inside:avoid;break-inside:avoid}html:is([data-eol-workspace],:has([data-workspace-shell])) .contents details{display:none}}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet{max-width:880px;overflow-wrap:anywhere}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet>details,html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet>section{background:var(--surface);border:1px solid var(--line);border-radius:12px;padding:20px;margin-block:2.5rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet>details{padding-block:0}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet h2{font-size:1.4rem;font-weight:700;line-height:1.3;letter-spacing:-.02em;margin:0 0 .75rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet h3{font-size:1.1rem;font-weight:650;line-height:1.35;margin:1.25rem 0 .5rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet h4{font-size:1rem;font-weight:650;line-height:1.4;margin:1rem 0 .4rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet dd,html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet li,html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet p{font-size:1rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet .hint{font-size:.85rem;color:var(--muted)}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet form{max-width:660px;margin-block:1.25rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet fieldset{border:0;padding:0;min-width:0}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet legend{font-weight:700;font-size:1.25rem;margin-bottom:1rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet label:not(.cabinet-check){display:block;margin-top:1rem;margin-bottom:.45rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet input:not([type=checkbox]),html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet select,html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet textarea{width:100%;min-width:0;max-width:100%}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet form button{margin-top:1rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet pre{white-space:pre-wrap;overflow-wrap:anywhere;max-width:100%;font-size:.8rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet details summary{cursor:pointer;min-height:44px;padding-block:.65rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet-advanced-all>details{margin:1rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet-account{display:flex;align-items:center;justify-content:space-between;gap:1rem;flex-wrap:wrap}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet-check{display:flex;gap:.8rem;align-items:center;min-height:44px}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet-check input{flex:0 0 24px;min-height:24px}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet-check-row,html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet-history{border-top:1px solid var(--line);padding-block:1rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet-check-row>span{-webkit-margin-start:1rem;margin-inline-start:1rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet-prose{white-space:pre-wrap}@media (max-width:760px){html:is([data-eol-workspace],:has([data-workspace-shell])) .sidebar nav.with-cabinet{grid-template-columns:repeat(5,minmax(0,1fr))}html:is([data-eol-workspace],:has([data-workspace-shell])) .with-cabinet a{font-size:.68rem}}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet .facts dd{color:var(--ink);min-width:0;overflow-wrap:anywhere}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet .facts>div{flex-wrap:wrap}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet .facts dd{text-align:start}html:is([data-eol-workspace],:has([data-workspace-shell])) .records-nav{margin-block:1rem 2rem}@media (max-width:680px){html:is([data-eol-workspace],:has([data-workspace-shell])) .sidebar nav.online-nav{grid-template-columns:repeat(3,minmax(0,1fr))}}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet a{color:var(--accent)}html:is([data-eol-workspace],:has([data-workspace-shell])) .path{list-style:none;margin:0;padding:0;display:grid;grid-template-columns:minmax(0,1fr);grid-gap:12px;gap:12px}html:is([data-eol-workspace],:has([data-workspace-shell])) .path>li{border:1px solid var(--line);border-radius:10px;padding:14px 16px;background:var(--paper)}html:is([data-eol-workspace],:has([data-workspace-shell])) .path>li>h3{margin:0;font-size:1.1rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .path>li[data-state=ahead]>h3{color:var(--muted);font-weight:500}html:is([data-eol-workspace],:has([data-workspace-shell])) .path>li[data-state=current]{border:2px solid var(--accent)}html:is([data-eol-workspace],:has([data-workspace-shell])) .path>li>p{margin:8px 0 12px}html:is([data-eol-workspace],:has([data-workspace-shell])) .path>li[data-state=done]{border-color:var(--good);background:var(--good-bg);padding:0}html:is([data-eol-workspace],:has([data-workspace-shell])) .path>li[data-state=done]>details{border:0;background:transparent}html:is([data-eol-workspace],:has([data-workspace-shell])) .path>li[data-state=done]>details>summary{color:var(--good);font-weight:650;padding-inline:16px}html:is([data-eol-workspace],:has([data-workspace-shell])) .path>li[data-state=done]>details>:not(summary){margin-inline:16px}html:is([data-eol-workspace],:has([data-workspace-shell])) .stage-now{display:inline-block;-webkit-margin-end:8px;margin-inline-end:8px;padding:2px 10px;border-radius:999px;background:var(--accent);color:var(--paper);font-size:.75rem;font-weight:700;vertical-align:middle}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet>.first-path-done{border-color:var(--good);background:var(--good-bg)}html:is([data-eol-workspace],:has([data-workspace-shell])) .first-path-done>summary{color:var(--good);font-size:1.1rem;font-weight:700}html:is([data-eol-workspace],:has([data-workspace-shell])) .promise-summary{font-size:1.1rem}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet-check-row code{display:block;font-size:.8rem;color:var(--muted);overflow-wrap:anywhere}html:is([data-eol-workspace],:has([data-workspace-shell])) .agent-safety,html:is([data-eol-workspace],:has([data-workspace-shell])) .evidence-details{margin-block:1rem}@media(max-width:680px){html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet>details,html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet>section{padding-inline:14px}html:is([data-eol-workspace],:has([data-workspace-shell])) .path>li{padding:12px}}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet pre.command,html:is([data-eol-workspace],:has([data-workspace-shell])) .path pre.command{max-width:100%;overflow-x:auto;white-space:pre;font-size:13px;line-height:1.6;padding:14px;border:1px solid var(--line);border-radius:8px;margin:0 0 10px}html:is([data-eol-workspace],:has([data-workspace-shell])) .path details,html:is([data-eol-workspace],:has([data-workspace-shell])) .path form{margin-top:12px}html:is([data-eol-workspace],:has([data-workspace-shell])) .path .waiting{color:var(--muted)}html:is([data-eol-workspace],:has([data-workspace-shell])) .path progress{width:100%;accent-color:var(--accent)}html:is([data-eol-workspace],:has([data-workspace-shell])) .narrow-note{display:none;color:var(--muted)}@media(max-width:680px){html:is([data-eol-workspace],:has([data-workspace-shell])) .narrow-note{display:block}html:is([data-eol-workspace],:has([data-workspace-shell])) .path pre.command{font-size:14px}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet{min-width:0;overflow-wrap:anywhere}html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet input:not([type=checkbox]),html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet select,html:is([data-eol-workspace],:has([data-workspace-shell])) .cabinet textarea{font-size:16px}}html:is([data-eol-workspace],:has([data-workspace-shell])){--paper:#0a0a0b;--surface:#111112;--ink:#f3f7f3;--muted:#a4b1a6;--line:#2a2a2d;--soft:#19231c;--accent:#00ff41;--good:#00ff41;--good-bg:#112019;--bad:#ffada3;--bad-bg:#321c1b;color-scheme:dark}html:is([data-eol-workspace],:has([data-workspace-shell])) body{font-family:Manrope,system-ui,sans-serif}html:is([data-eol-workspace],:has([data-workspace-shell])) .brand{padding:0;color:var(--accent);font:600 1.25rem JetBrains Mono,monospace;text-transform:none;letter-spacing:0;min-height:44px}html:is([data-eol-workspace],:has([data-workspace-shell])) .brand-sub{color:var(--muted);font-family:Manrope,system-ui,sans-serif;letter-spacing:0;margin-top:5px}html:is([data-eol-workspace],:has([data-workspace-shell])) :is(.primary,.sidebar nav a[aria-current]){background:var(--accent);border-color:var(--accent);color:var(--paper)}html:is([data-eol-workspace],:has([data-workspace-shell])) .sidebar{background:var(--paper)}html:is([data-eol-workspace],:has([data-workspace-shell])) :focus-visible{outline-color:var(--accent)}html:is([data-eol-workspace],:has([data-workspace-shell])) input::placeholder,html:is([data-eol-workspace],:has([data-workspace-shell])) textarea::placeholder{opacity:1}html:is([data-eol-workspace],:has([data-workspace-shell])) .workspace-site-links{display:flex;flex-wrap:wrap;gap:4px 16px;margin-top:16px}html:is([data-eol-workspace],:has([data-workspace-shell])) .workspace-site-links a{display:inline-flex;align-items:center;min-height:44px;font-size:.75rem;color:var(--muted)}html:is([data-eol-workspace],:has([data-workspace-shell])) .workspace-local-note{max-width:720px;color:var(--muted);font-size:.83rem;padding-bottom:24px;border-bottom:1px solid var(--line)}@media(max-width:680px){html:is([data-eol-workspace],:has([data-workspace-shell])) .sidebar{display:flex;flex-direction:row;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:8px 16px}html:is([data-eol-workspace],:has([data-workspace-shell])) .workspace-site-links{margin:0}}@media print{html:is([data-eol-workspace],:has([data-workspace-shell])) .workspace-local-note{display:none}}html:is([data-eol-workspace],:has([data-workspace-shell])){--workspace-sidebar-width:250px;background:var(--paper);color:var(--ink)}html:is([data-eol-workspace],:has([data-workspace-shell])) body{overflow:hidden}html:is([data-eol-workspace],:has([data-workspace-shell])) .app-shell{height:100dvh;min-height:0;overflow:hidden}html:is([data-eol-workspace],:has([data-workspace-shell])) .sidebar{width:var(--workspace-sidebar-width)}html:is([data-eol-workspace],:has([data-workspace-shell])) main{width:calc(100% - var(--workspace-sidebar-width));max-width:1210px;height:100dvh;margin:0 0 0 var(--workspace-sidebar-width);padding:35px clamp(32px,4vw,65px) 0;display:flex;flex-direction:column;overflow:hidden}html:is([data-eol-workspace],:has([data-workspace-shell])) .page-header{flex:none;max-width:none;margin-bottom:30px}html:is([data-eol-workspace],:has([data-workspace-shell])) .page-header h1{height:2.3em;margin-bottom:16px;overflow:auto;text-wrap:wrap}html:is([data-eol-workspace],:has([data-workspace-shell])) .workspace-lead{height:5.1em;overflow:auto;font-size:.94rem;line-height:1.7}html:is([data-eol-workspace],:has([data-workspace-shell])) .workspace-lead p{margin:0}html:is([data-eol-workspace],:has([data-workspace-shell])) .workspace-lead .back-link{margin:0}html:is([data-eol-workspace],:has([data-workspace-shell])) [data-workspace-body]{flex:1 1;min-height:0;min-width:0;overflow-y:auto;scrollbar-gutter:stable;overscroll-behavior:contain;padding-bottom:70px}html:is([data-eol-workspace],:has([data-workspace-shell])) .topline{flex:none}html:is([data-eol-workspace],:has([data-workspace-shell])) :is(.create-form,.settings-content){max-width:none}html:is([data-eol-workspace],:has([data-workspace-shell])) dialog:not([open]){display:none}@media(max-width:900px){html:is([data-eol-workspace],:has([data-workspace-shell])){--workspace-sidebar-width:205px}}@media(max-width:680px){html:is([data-eol-workspace],:has([data-workspace-shell])) .app-shell{display:flex;flex-direction:column}html:is([data-eol-workspace],:has([data-workspace-shell])) .sidebar{flex:none;width:100%}html:is([data-eol-workspace],:has([data-workspace-shell])) main{flex:1 1;min-height:0;height:auto;width:100%;margin:0;padding:24px 22px calc(80px + env(safe-area-inset-bottom))}html:is([data-eol-workspace],:has([data-workspace-shell])) .workspace-lead{font-size:.86rem;height:6.8em}}html:is([data-eol-workspace],:has([data-workspace-shell])) .page-header h1:focus-visible{outline:2px solid var(--accent);outline-offset:2px}@media(max-height:650px){html:is([data-eol-workspace],:has([data-workspace-shell])) :focus-visible{scroll-margin-block:2px}html:is([data-eol-workspace],:has([data-workspace-shell])) main{padding-top:12px}html:is([data-eol-workspace],:has([data-workspace-shell])) :is(.topline,.workspace-lead){display:none}html:is([data-eol-workspace],:has([data-workspace-shell])) .page-header{margin-bottom:12px}html:is([data-eol-workspace],:has([data-workspace-shell])) .page-header h1{margin:0;font-size:1.15rem}html:is([data-eol-workspace],:has([data-workspace-shell])) [data-workspace-body]{padding-bottom:24px}}@media(max-width:680px) and (max-height:650px){html:is([data-eol-workspace],:has([data-workspace-shell])) .sidebar{min-height:0;padding:8px 16px}html:is([data-eol-workspace],:has([data-workspace-shell])) main{padding:8px 16px calc(76px + env(safe-area-inset-bottom))}}@media print{html:is([data-eol-workspace],:has([data-workspace-shell])) :is(body,.app-shell,main,[data-workspace-body]){height:auto;overflow:visible;display:block}html:is([data-eol-workspace],:has([data-workspace-shell])) main{width:100%;margin:0;padding:0}}html:is([data-eol-workspace],:has([data-workspace-shell])) :is(button:not(.example-button),.button){border-radius:999px}