:root{--paper:#f7f7f2;--surface:#fff;--ink:#172c2a;--muted:#6b7670;--line:#dde1d7;--accent:#35665d;--accent-soft:#e9f0e8;--serif:Georgia,"Times New Roman",serif;--sans:Inter,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;--mono:"SFMono-Regular",Consolas,monospace}*{box-sizing:border-box}body{background:var(--paper);color:var(--ink);font-family:var(--sans);margin:0;font-size:14px;line-height:1.6}a{color:inherit;text-decoration:none}button,input,select{font:inherit}button{cursor:pointer}button,a,input,select{outline-offset:4px}:is(button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible){outline:2px solid var(--accent)}button{color:inherit}button[hidden],[hidden]{display:none!important}.sr-only{clip:rect(0,0,0,0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.skip-link{z-index:100;background:var(--ink);color:#fff;padding:10px 20px;position:fixed;top:-60px;left:16px}.skip-link:focus{top:10px}.topbar{border-bottom:1px solid var(--line);background:var(--paper);align-items:center;gap:38px;height:84px;padding:0 3.3%;display:flex}.brand{letter-spacing:-.8px;white-space:nowrap;align-items:center;gap:12px;font-size:21px;font-weight:600;display:flex}.brand-symbol{border:1px solid var(--accent);width:34px;height:38px;font-family:var(--serif);border-radius:2px;place-items:center;font-size:25px;line-height:1;display:grid}.independent{color:var(--muted);max-width:170px;font-size:11px;line-height:1.5}.independent span{font-family:var(--mono);color:var(--ink)}.topbar nav{align-items:center;gap:28px;margin-left:auto;font-size:12px;display:flex}.topbar nav a{color:var(--accent);font-weight:500}.text-button{color:var(--muted);background:0 0;border:0;padding:0;font-size:12px}.text-button:hover{color:var(--ink);text-decoration:underline}.app-shell{grid-template-columns:252px minmax(0,1fr);max-width:1560px;margin:0 auto;display:grid}.collection-sidebar{background:var(--paper);color:var(--ink);border-right:1px solid var(--line);padding:38px 18px 32px 30px}.sidebar-heading{font-family:var(--mono);letter-spacing:1.5px;color:var(--muted);justify-content:space-between;padding:0 12px 20px 8px;font-size:10px;display:flex}.sidebar-heading span{letter-spacing:0;font-size:9px}.subjects{flex-direction:column;gap:4px;display:flex}.subject-button{text-align:left;color:#53635b;background:0 0;border:0;border-radius:3px;justify-content:space-between;align-items:center;gap:8px;min-height:40px;padding:10px 11px;font-size:12px;line-height:1.5;display:flex}.subject-button:hover{background:#eeefe8}.subject-button.active{background:var(--accent-soft);color:#234e42;font-weight:600}.subject-button.active:before{content:"";background:var(--accent);border-radius:2px;flex:none;width:3px;height:14px;margin-left:-6px}.subject-button .count{font:10px var(--mono);color:#778378;text-align:center;background:#e8ece4;border-radius:3px;min-width:25px;padding:2px 6px}.subject-button .subject-name{flex:1}.sidebar-note{border-top:1px solid var(--line);color:var(--muted);margin-top:32px;padding:27px 10px 0;font-size:12px}.small-symbol{color:var(--accent);font-size:32px;line-height:1}.sidebar-note p{max-width:180px}.sidebar-note a{color:var(--accent);margin-top:20px;font-size:10px;display:block}main{min-width:0;padding:46px 5% 0}.eyebrow{font:10px var(--mono);letter-spacing:1.6px;color:var(--accent);align-items:center;gap:9px;margin-bottom:22px;display:flex}.dot{background:var(--accent);border-radius:50%;width:5px;height:5px}h1{font-family:var(--serif);letter-spacing:-2.6px;margin:0 0 22px;font-size:clamp(40px,4.6vw,68px);font-weight:400;line-height:1.08}h1 em{color:var(--accent);font-style:italic;font-weight:400}.intro-description{max-width:530px;color:var(--muted);margin:0;font-size:14px;line-height:1.8}.collection-stats{border-top:1px solid var(--line);border-bottom:1px solid var(--line);gap:30px;margin:30px 0 38px;padding:22px 0;display:flex}.stat{border-right:1px solid var(--line);align-items:baseline;gap:9px;padding-right:25px;display:flex}.stat:last-child{border-right:0;padding-right:0}.stat strong{font:29px var(--serif);letter-spacing:-1px;font-weight:400}.stat span{color:var(--muted);max-width:96px;font-size:10px;line-height:1.5}.search-bar{background:#fff;border:1px solid #b9c8bd;border-radius:5px;align-items:center;gap:15px;height:61px;padding:0 18px;display:flex;box-shadow:0 2px 3px #213f2610}.search-bar:focus-within{border-color:var(--accent);box-shadow:0 0 0 2px #35665d17}.search-bar svg{color:var(--accent);flex:none}.search-bar input{min-width:0;color:var(--ink);background:0 0;border:0;outline:none;flex:1;font-size:14px}.search-bar input::placeholder{color:#929b94}.search-bar kbd{border:1px solid var(--line);font:12px var(--mono);color:#9aa297;border-radius:3px;padding:0 6px;line-height:21px}.suggestions{color:var(--muted);flex-wrap:wrap;align-items:center;gap:10px;margin:12px 0 25px;font-size:10px;display:flex}.suggestions button{color:#5a6e61;background:#eeefe8;border:0;border-radius:3px;padding:3px 9px;font-size:10px}.suggestions button:hover{background:var(--accent-soft);color:var(--accent)}.filter-row{border-bottom:1px solid var(--line);align-items:center;gap:25px;padding-bottom:22px;display:flex}.filter-controls{flex-direction:column;gap:5px;display:flex}.filter-controls label{font:9px var(--mono);text-transform:uppercase;letter-spacing:1px;color:var(--muted)}select{border:1px solid var(--line);background:var(--paper);color:#34483d;border-radius:3px;max-width:100%;padding:7px 28px 7px 10px;font-size:11px}.reset-button{color:var(--accent);background:0 0;border:0;margin-left:auto;padding:8px 0;font-size:11px}.reset-button span{padding-left:5px;font-size:17px}.results-heading{justify-content:space-between;align-items:baseline;gap:16px;margin:26px 0 19px;display:flex}.results-heading>div{flex-wrap:wrap;align-items:baseline;gap:13px;display:flex}.results-heading h2{font-family:var(--serif);letter-spacing:-.5px;margin:0;font-size:22px;font-weight:400}.results-heading #results-count{color:var(--muted);font-size:10px}.catalogue-mark{font:9px var(--mono);letter-spacing:1px;color:#899187;white-space:nowrap}.active-subject{color:var(--accent);background:#eef3ec;border:1px solid #c4d2c1;border-radius:3px;margin-bottom:15px;padding:3px 9px;font-size:10px;display:inline-block}.results-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:16px;display:grid}.result-card{border:1px solid var(--line);background:#fcfcf8;border-radius:4px;flex-direction:column;min-height:258px;padding:22px 23px 17px;transition:border-color .15s,background .15s,transform .15s;display:flex;position:relative}.result-card:hover{background:#fff;border-color:#95b3a0;transform:translateY(-2px)}.card-top{justify-content:space-between;align-items:flex-start;gap:12px;margin-bottom:15px;display:flex}.family-id{font:10px var(--mono);color:#8c978c;letter-spacing:1px;white-space:nowrap}.status{color:#496444;background:#edf3e9;border:1px solid #cfddcd;border-radius:3px;align-items:center;gap:5px;padding:2px 6px;font-size:9px;line-height:1.4;display:inline-flex}.status:before{content:"";background:#6b8d65;border-radius:50%;width:4px;height:4px}.status.none{border-color:var(--line);color:#8a9386;background:0 0}.status.none:before{background:#b2b9ad}.result-card h3{font:400 21px/1.25 var(--serif);letter-spacing:-.4px;margin:0 0 13px}.card-button{font:inherit;text-align:left;color:var(--ink);background:0 0;border:0;padding:0}.card-button:after{content:"";z-index:1;position:absolute;inset:0}.result-card h3 .katex{font-size:1em}.card-summary{color:var(--muted);-webkit-line-clamp:3;-webkit-box-orient:vertical;margin:0 0 20px;font-size:11px;line-height:1.75;display:-webkit-box;overflow:hidden}.card-bottom{color:#7a887b;border-top:1px solid #e8eadf;justify-content:space-between;align-items:center;gap:12px;margin-top:auto;padding-top:13px;font-size:9px;display:flex}.card-subject{white-space:nowrap;text-overflow:ellipsis;overflow:hidden}.card-count{white-space:nowrap;align-items:center;gap:9px;display:flex}.card-arrow{color:var(--accent);font-size:16px;line-height:1}.loading,.empty-state{text-align:center;color:var(--muted);background:#f1f3ec;border:1px dashed #cbd5c7;border-radius:4px;grid-column:1/-1;padding:45px 24px}.empty-state h3{font:24px var(--serif);color:var(--ink);margin-top:0}.empty-state p{font-size:12px}.primary-button{border:1px solid var(--accent);background:var(--accent);color:#fff;border-radius:4px;padding:9px 15px;font-size:12px}.pagination{color:var(--muted);justify-content:space-between;align-items:center;gap:12px;margin:28px 0 44px;font-size:11px;display:flex}.pagination button{border:1px solid var(--line);background:0 0;border-radius:3px;padding:7px 13px;font-size:11px}.pagination button:not(:disabled):hover{background:#e9eee4}.pagination button:disabled{opacity:.4;cursor:default}.pagination .page-numbers{gap:5px;display:flex}.page-numbers button{min-width:28px;padding:5px 7px}.page-numbers button.current{background:var(--accent);color:#fff;border-color:var(--accent)}.footer{border-top:1px solid var(--line);color:#8a9487;padding:23px 0 30px;font-size:10px;line-height:1.8}.footer>p{max-width:740px;margin-top:0}.footer>div{justify-content:space-between;gap:15px;display:flex}.footer .text-button{font-size:10px}.footer code{font-size:9px}dialog{color:var(--ink);background:var(--paper);border:0;border-radius:8px;width:min(830px,95vw);max-height:94vh;padding:0;overflow:auto;box-shadow:0 20px 80px #10281c30}dialog::backdrop{-webkit-backdrop-filter:blur(3px);backdrop-filter:blur(3px);background:#172c2a77}.detail-dialog{height:94vh;margin:3vh 3vw 3vh auto}.dialog-toolbar{border-bottom:1px solid var(--line);background:var(--paper);z-index:4;font:10px var(--mono);letter-spacing:1px;justify-content:space-between;align-items:center;padding:13px 28px;display:flex;position:sticky;top:0}.dialog-toolbar>div{align-items:center;gap:22px;display:flex}.close-button{font:26px/1 var(--sans);width:32px;height:32px;color:var(--accent);background:#e9eee4;border:0;border-radius:50%}.close-button:hover{background:#dfe9d8}.detail-content{padding:34px 38px 45px}.detail-content h2{font:400 38px/1.15 var(--serif);letter-spacing:-1px;margin:12px 0 18px}.detail-content .family-summary{color:#5b6a5e;font-size:13px;line-height:1.85}.detail-meta{flex-wrap:wrap;align-items:center;gap:12px;margin:0 0 20px;display:flex}.detail-meta .status{font-size:10px}.subject-label{color:var(--accent);font-size:11px}.detail-tabs{border-bottom:1px solid var(--line);gap:23px;margin:28px 0 27px;display:flex}.detail-tabs button{color:var(--muted);background:0 0;border:0;border-bottom:2px solid #0000;padding:12px 0;font-size:12px}.detail-tabs button.active{color:var(--accent);border-bottom-color:var(--accent)}.detail-tabs button:disabled{opacity:.5;cursor:default}.paper{border-bottom:1px solid var(--line);padding:23px 0}.paper:first-child{padding-top:0}.paper-number{font:9px var(--mono);letter-spacing:1px;color:var(--muted)}.paper h3{font:400 24px/1.3 var(--serif);letter-spacing:-.5px;margin:9px 0 13px}.paper-abstract{color:#657264;font-size:12px;line-height:1.85}.paper-links{color:var(--accent);flex-wrap:wrap;align-items:center;gap:17px;margin-top:18px;font-size:11px;display:flex}.paper-links .paper-pdf{background:var(--accent);color:#fff;border-radius:3px;padding:7px 12px}.paper-links a:hover{text-decoration:underline}.paper-badges{flex-wrap:wrap;gap:8px;margin-top:15px;display:flex}.paper-note{color:var(--muted);margin:15px 0 0;font-size:10px}.notice{color:#5f704f;background:#eff2e7;border:1px solid #d8decf;border-left:3px solid #97a77d;border-radius:3px;margin:18px 0;padding:13px 15px;font-size:11px;line-height:1.7}.scope-text{overflow-wrap:anywhere;color:#54634f;font-size:13px;line-height:1.9}.scope-text h1{font:28px/1.3 var(--serif);letter-spacing:-.5px;margin-top:26px}.scope-text h2{font:26px/1.3 var(--serif);margin-top:25px}.scope-text h3{font:23px/1.3 var(--serif);margin-top:22px}.scope-text a{color:var(--accent);text-underline-offset:2px;text-decoration:underline}.scope-text table{border-collapse:collapse;width:100%;margin:20px 0;font-size:11px;display:block;overflow-x:auto}.scope-text th,.scope-text td{border:1px solid var(--line);text-align:left;padding:10px}.scope-text ul{padding-left:22px}.scope-text code{font:11px var(--mono);overflow-wrap:anywhere;background:#e9eee2;padding:2px 4px}.katex-display{padding:3px 0;overflow:auto hidden}.katex{font-size:1.05em}.verification-intro{color:var(--muted);font-size:12px;line-height:1.8}.setup-block,.check-block{border:1px solid var(--line);background:#fcfcf8;border-radius:4px;margin:20px 0;padding:18px}.check-block h4,.setup-block h4{font:19px var(--serif);margin:0 0 12px;font-weight:400}.code-box{background:#eaf0e5;border:1px solid #d7dfd0;border-radius:3px;padding:15px;position:relative}.code-box pre{white-space:pre-wrap;word-break:break-word;color:#2b5145;font:11px/1.8 var(--mono);margin:0;padding-right:43px}.copy-code{background:#f9faf5;border:1px solid #bfceba;border-radius:3px;padding:3px 6px;font-size:9px;position:absolute;top:10px;right:10px}.check-links{color:var(--accent);flex-wrap:wrap;gap:15px;margin-top:13px;font-size:11px;display:flex}.declaration{font:10px/1.8 var(--mono);overflow-wrap:anywhere;color:var(--muted);margin-bottom:13px}.check-result{color:#828e7d;margin-top:12px;font-size:10px}.about-dialog{width:min(660px,95vw)}.about-content{color:#5e6d58;padding:30px 38px 40px;font-size:13px}.about-content h2{font:38px/1.1 var(--serif);color:var(--ink);letter-spacing:-1px;margin:0 0 23px}.about-content h3{font:24px var(--serif);color:var(--ink);margin:26px 0 12px;font-weight:400}.about-content a{color:var(--accent);text-decoration:underline}.about-content dt{color:var(--ink);margin-top:15px;font-size:12px;font-weight:600}.about-content dd{margin:4px 0;font-size:12px}.about-content code{overflow-wrap:anywhere;font-size:10px}.source-links{flex-wrap:wrap;gap:9px;display:flex}.source-links a{background:#e9eee1;border-radius:3px;padding:4px 8px;font-size:11px}.about-credit{border-top:1px solid var(--line);color:#8a9783;margin-top:26px;padding-top:20px;font-size:10px}.toast{background:var(--ink);color:#fff;z-index:100;opacity:0;pointer-events:none;border-radius:4px;padding:10px 19px;font-size:12px;transition:opacity .15s;position:fixed;bottom:25px;left:50%;transform:translate(-50%)}.toast.visible{opacity:1}@media (min-width:1450px){.results-grid{grid-template-columns:repeat(3,minmax(0,1fr))}.result-card{min-height:280px}}@media (max-width:1050px){.app-shell{grid-template-columns:210px minmax(0,1fr)}.collection-sidebar{padding-left:16px;padding-right:12px}.topbar{gap:24px;padding:0 24px}.topbar nav{gap:18px}.independent{display:none}main{padding:38px 30px 0}.collection-stats{gap:18px}.stat{gap:7px;padding-right:18px}.stat strong{font-size:26px}.results-grid{gap:12px}.result-card{min-height:260px;padding:19px 17px}.card-top{gap:8px}.status{font-size:8px}.card-summary{font-size:11px}.catalogue-mark{display:none}h1{font-size:53px}.filter-row{gap:17px}}@media (max-width:760px){.topbar{height:68px;padding:0 20px}.brand{font-size:19px}.brand-symbol{width:29px;height:32px;font-size:21px}.topbar nav>a{font-size:0}.topbar nav>a span{font-size:20px}.topbar nav{gap:20px}.app-shell{display:block}.collection-sidebar{border-right:0;border-bottom:1px solid var(--line);padding:17px 20px 0}.sidebar-heading,.sidebar-note{display:none}.subjects{scrollbar-width:thin;flex-direction:row;gap:6px;padding-bottom:16px;overflow-x:auto}.subject-button{white-space:nowrap;border:1px solid var(--line);flex:none;min-height:33px;padding:6px 10px;font-size:10px}.subject-button.active:before{display:none}.subject-button .count{min-width:21px;font-size:9px}main{padding:29px 20px 0}.eyebrow{letter-spacing:1.3px;margin-bottom:17px;font-size:8px}h1{letter-spacing:-1.8px;font-size:46px}.intro-description{max-width:460px;font-size:12px}.collection-stats{gap:16px;margin:25px 0 26px;padding:17px 0}.stat{flex-direction:column;gap:4px;padding-right:16px}.stat strong{font-size:25px}.stat span{max-width:85px;font-size:9px}.search-bar{gap:10px;height:54px;padding:0 13px}.search-bar input{font-size:12px}.search-bar kbd{display:none}.suggestions{gap:7px;margin:10px 0 21px}.suggestions span,.suggestions button{font-size:9px}.filter-row{flex-wrap:wrap;gap:12px;padding-bottom:17px}.filter-controls{max-width:100%}.filter-controls label{font-size:8px}select{max-width:235px;font-size:10px}.reset-button{font-size:10px}.results-heading{margin-top:23px}.results-heading h2{font-size:21px}.results-grid{gap:12px}.result-card{min-height:265px;padding:17px 15px}.result-card h3{font-size:20px}.card-top{flex-direction:column;gap:8px;margin-bottom:12px}.card-summary{-webkit-line-clamp:3;font-size:10px}.card-bottom{gap:7px;font-size:8px}.card-arrow,.pagination .page-numbers{display:none}.footer{font-size:9px}.footer>div{flex-direction:column;align-items:flex-start;gap:8px}.detail-dialog{border-radius:0;width:100vw;max-width:100vw;height:100dvh;max-height:100dvh;margin:0}.dialog-toolbar{padding:12px 20px}.detail-content{padding:25px 23px 35px}.detail-content h2{font-size:32px}.detail-content .family-summary{font-size:12px}.detail-tabs{gap:22px}.detail-tabs button{font-size:11px}.paper h3{font-size:23px}.about-content{padding:24px}.about-content h2{font-size:33px}.about-dialog{max-height:94dvh}.scope-text{font-size:12px}}@media (max-width:430px){.results-grid{grid-template-columns:1fr}.result-card{min-height:240px}.card-top{flex-direction:row}.result-card h3{font-size:23px}.card-summary{font-size:11px}.card-bottom{font-size:9px}.card-arrow{display:block}.collection-stats{gap:12px}.stat{padding-right:12px}.stat span{font-size:8px}.suggestions{gap:6px}.filter-row{justify-content:space-between}.filter-controls:first-child{flex:1}select{max-width:225px;padding-right:17px;font-size:9px}.reset-button{margin-left:0}.search-bar input{font-size:11px}}@media (prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;transition:none!important}.result-card:hover{transform:none}}.sync-bar{border-top:1px solid var(--line,#ddddd3);justify-content:space-between;align-items:center;gap:20px;margin-top:24px;padding:17px 0 0;display:flex}.sync-heading{letter-spacing:.14em;color:var(--muted,#73766b);font-size:10px;font-weight:700}.sync-bar p{margin:5px 0 3px;font-size:13px}.sync-bar time{color:var(--muted,#73766b);font-size:12px}.sync-button{font:inherit;border:1px solid var(--line,#ddddd3);cursor:pointer;white-space:nowrap;background:0 0;border-radius:4px;padding:10px 13px;font-size:12px}.sync-button:hover{background:#eeeee5}.sync-button:disabled{opacity:.6;cursor:wait}.sync-bar[data-error=true] #sync-status{color:#92502f}@media (max-width:520px){.sync-bar{align-items:flex-start;gap:12px}.sync-button{padding:9px;font-size:11px}}.footer-links{flex-wrap:wrap;justify-content:flex-end;gap:14px;display:flex}.creator-credit{color:var(--muted);margin:14px 0 6px}.tracking-choice{align-items:center;gap:7px;display:flex}#feedback-form{flex-direction:column;gap:10px;display:flex}#feedback-form label{color:var(--ink);font-size:12px}#feedback-form textarea{border:1px solid var(--line);width:100%;color:var(--ink);resize:vertical;font:inherit;background:#fff;border-radius:4px;padding:12px}#feedback-form .primary-button{align-self:flex-start;margin-top:8px}.feedback-permission{align-items:flex-start;gap:7px;display:flex}.feedback-note{margin:0;font-size:11px}.info-page{max-width:1000px;margin:0 auto;padding:40px 24px 70px}.info-page>a{color:var(--accent)}.info-page .eyebrow{margin:35px 0 18px}.info-page h1{font-size:clamp(38px,5vw,58px)}.info-page h2{font:400 28px var(--serif);margin-top:35px}.info-page p{max-width:850px}.owner-actions{flex-wrap:wrap;align-items:center;gap:20px;display:flex}.report-date{color:var(--muted);font-size:12px}.metric-grid{grid-template-columns:repeat(3,minmax(0,1fr));gap:14px;margin:28px 0;display:grid}.metric-card{border:1px solid var(--line);background:#fff;border-radius:5px;flex-direction:column;gap:8px;padding:20px;display:flex}.metric-card strong{font:38px var(--serif)}.metric-card span{color:var(--muted);font-size:12px}.table-scroll{overflow-x:auto}.info-page table{border-collapse:collapse;width:100%;font-size:12px}.info-page th,.info-page td{text-align:left;border-bottom:1px solid var(--line);padding:10px 14px}.report-columns{grid-template-columns:1fr 1fr;gap:24px;display:grid}.feedback-item{border:1px solid var(--line);background:#fff;border-radius:5px;margin:15px 0;padding:15px 20px}.feedback-message{white-space:pre-wrap;overflow-wrap:anywhere}@media (max-width:650px){.metric-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.report-columns{display:block}.footer>div{flex-direction:column}.footer-links{justify-content:flex-start}}.lab-switcher{flex-wrap:wrap;gap:8px;margin:24px 0 0;display:flex}.lab-switcher button{border:1px solid var(--line);color:var(--accent);background:#fff;border-radius:4px;padding:7px 11px;font-size:11px}.lab-switcher button[aria-pressed=true]{background:var(--accent);color:#fff;border-color:var(--accent)}.lab-switcher span{font:10px var(--mono);opacity:.75;margin-left:5px}.filter-row{flex-wrap:wrap;gap:16px}.filter-controls{flex:150px}.filter-controls select{width:100%}.card-agent{color:var(--accent);margin:-3px 0 11px;font-size:9px;line-height:1.6}.family-id{white-space:normal;letter-spacing:0}.card-top .status{text-align:left;max-width:60%}.source-register{border-top:1px solid var(--line);padding:30px 0 40px;scroll-margin-top:20px}.source-register h2{font:400 30px var(--serif);margin:0 0 12px}.source-note{color:var(--muted);max-width:740px;font-size:12px}.repository-cards{grid-template-columns:repeat(2,minmax(0,1fr));gap:14px;margin-top:24px;display:grid}.repository-card{border:1px solid var(--line);overflow-wrap:anywhere;background:#fcfcf8;border-radius:4px;padding:20px;font-size:11px}.source-title{justify-content:space-between;align-items:baseline;gap:10px;display:flex}.source-title h3{font:400 23px var(--serif);margin:0}.source-title span{font:9px var(--mono);color:var(--muted);white-space:nowrap}.source-agent{color:var(--accent);font-weight:600}.source-version,.source-license{color:var(--muted);font-size:10px}.source-error{color:#92502f}.repository-card .text-button{color:var(--accent);margin-top:12px}.provenance{background:var(--accent-soft);border:1px solid var(--line);border-radius:4px;margin:0 0 22px;padding:16px;font-size:12px}.provenance p{margin:6px 0;font-size:11px}.provenance a{text-decoration:underline}.artifact{border-bottom:1px solid var(--line);overflow-wrap:anywhere;padding:18px 0}.artifact h3{font:400 22px var(--serif);margin:0 0 8px}.artifact p{color:var(--muted);font-size:10px}.proof-artifact{color:var(--accent);font-size:12px;text-decoration:underline;display:inline-block}.related-artifacts{margin-top:24px;font-size:12px}.related-artifacts summary{cursor:pointer;margin-bottom:12px}.detail-marker,.dialog-toolbar>span{overflow-wrap:anywhere}.collection-stats{flex-wrap:wrap}.result-card .card-agent{min-height:14px}@media (max-width:760px){.repository-cards{grid-template-columns:1fr}.filter-controls{flex-basis:calc(50% - 16px);min-width:0}.card-top .status{max-width:100%}.collection-stats{gap:16px}.stat{flex:1;padding-right:10px}.topbar nav>a{font-size:10px}.topbar nav>a span{font-size:12px}.provenance strong{font-size:11px}}.reader-dialog{background:var(--paper);flex-direction:column;width:min(1440px,96vw);max-width:96vw;height:94dvh;max-height:94dvh;margin:3dvh auto;display:flex;overflow:hidden}.reader-dialog:not([open]){display:none}.reader-header{border-bottom:1px solid var(--line);flex:none;justify-content:space-between;align-items:center;gap:20px;padding:18px 24px;display:flex}.reader-heading{min-width:0}.reader-heading .eyebrow{margin:0 0 7px;font-size:9px}.reader-heading h2{font:400 25px/1.2 var(--serif);white-space:nowrap;text-overflow:ellipsis;margin:0;overflow:hidden}.reader-heading p{font:10px/1.5 var(--mono);color:var(--muted);overflow-wrap:anywhere;margin:6px 0 0}.reader-actions{flex:none;align-items:center;gap:12px;display:flex}.reader-button{border:1px solid var(--line);background:#fff;border-radius:4px;padding:6px 10px;font-size:11px}.reader-button:disabled{opacity:.5;cursor:default}.reader-document-row{flex-wrap:wrap;flex:none;align-items:center;gap:15px;padding:12px 24px;font-size:11px;display:flex}.reader-document-row label{color:var(--muted)}.reader-document-row select{background:#fff;flex:1;min-width:120px;max-width:700px}.reader-document-row a{color:var(--accent);white-space:nowrap;text-decoration:underline}.reader-notes{color:var(--muted);flex:none;margin:0;padding:0 24px 12px;font-size:11px;line-height:1.6}.reader-toolbar{border-block:1px solid var(--line);background:#edf1e8;flex-wrap:wrap;flex:none;align-items:center;gap:18px;padding:10px 24px;font-size:11px;display:flex}.reader-pages,.reader-zoom-control,.reader-find{align-items:center;gap:7px;display:flex}.reader-pages input{border:1px solid var(--line);width:55px;color:var(--ink);text-align:center;background:#fff;border-radius:3px;padding:5px 4px;font-size:12px}.reader-toolbar select{background:#fff;width:100px}.reader-find{margin-left:auto}.reader-find input{border:1px solid var(--line);width:180px;min-width:120px;color:var(--ink);background:#fff;border-radius:4px;padding:6px 10px;font-size:12px}#reader-find-count{color:var(--muted);min-width:65px;font-size:10px}.reader-content{isolation:isolate;background:#dce1d9;flex:1;min-height:0;position:relative}.reader-pdf-shell{scrollbar-gutter:stable;position:absolute;inset:0;overflow:auto}.reader-pdf-shell .pdfViewer{--scale-factor:1;--total-scale-factor:1;padding:18px 0 26px}.reader-text{scrollbar-gutter:stable;background:#fcfcf8;font-size:100%;position:absolute;inset:0;overflow:auto}.reader-prose{max-width:900px;margin:0 auto;padding:34px 42px;font-size:.9em}.reader-code{font:.8em/1.8 var(--mono);white-space:pre;tab-size:2;color:#2d5146;width:max-content;min-width:100%;min-height:100%;margin:0;padding:28px 36px}.reader-code code{font:inherit}.reader-text mark{color:inherit;background:#fff09b}.reader-text mark.selected{background:#ffa96b;outline:1px solid #d67632}.reader-status-box{z-index:20;text-align:center;pointer-events:none;max-width:min(600px,90%);position:absolute;top:24px;left:50%;transform:translate(-50%)}.reader-status-box p:empty{display:none}.reader-status-box p{border:1px solid var(--line);color:var(--ink);background:#fff;border-radius:4px;padding:12px 18px;font-size:12px;box-shadow:0 4px 20px #172c2a15}.reader-footer{border-top:1px solid var(--line);color:var(--muted);flex:none;padding:9px 24px;font-size:10px}:-webkit-any(.reader-dialog:-webkit-full-screen,.reader-dialog.reader-expanded){border-radius:0;width:100vw;max-width:100vw;height:100dvh;max-height:100dvh;margin:0}:is(.reader-dialog:fullscreen,.reader-dialog.reader-expanded){border-radius:0;width:100vw;max-width:100vw;height:100dvh;max-height:100dvh;margin:0}.reader-dialog[data-format=code] #reader-zoom option[value=page-width],.reader-dialog[data-format=code] #reader-zoom option[value=page-fit],.reader-dialog[data-format=markdown] #reader-zoom option[value=page-width],.reader-dialog[data-format=markdown] #reader-zoom option[value=page-fit]{display:none}.detail-tabs{gap:17px;overflow-x:auto}.detail-tabs button{white-space:nowrap}.material-note{line-height:1.8;font-size:12px!important}.paper-links .primary-button{padding:7px 12px;font-size:11px}.reader-text .scope-text h1{font-size:2em}.reader-text .scope-text h2{font-size:1.8em}.reader-text .scope-text h3{font-size:1.5em}.reader-text .scope-text pre{background:var(--accent-soft);padding:14px;overflow:auto}@media (max-width:760px){.reader-dialog{border-radius:0;width:100vw;max-width:100vw;height:100dvh;max-height:100dvh;margin:0}.reader-header{gap:12px;padding:12px 16px}.reader-heading h2{font-size:20px}.reader-heading p{font-size:8px}.reader-actions{gap:7px}.reader-actions .reader-button{padding:5px 7px;font-size:10px}.reader-document-row{gap:10px;padding:10px 16px}.reader-document-row label{display:none}.reader-document-row select{flex-basis:100%;max-width:100%;font-size:11px}.reader-notes{max-height:60px;padding:0 16px 10px;font-size:10px;overflow:auto}.reader-toolbar{justify-content:space-between;gap:10px;padding:8px 12px}.reader-find{width:100%;margin-left:0}.reader-find input{flex:1;width:120px}.reader-prose{padding:25px 20px}.reader-code{padding:20px 16px;font-size:.7em}.reader-footer{padding:7px 16px;font-size:9px}.reader-pages{gap:4px}.reader-pages input{width:45px}.reader-toolbar select{width:95px;font-size:11px}.reader-content{min-height:150px}}.collection-sidebar .sidebar-heading,.collection-sidebar .sidebar-note{color:#53635b}.collection-sidebar .subject-button .count{color:var(--accent);background:var(--accent-soft)}