:root{--paper:#f8f9f5;--surface:#fff;--ink:#1d302b;--muted:#33483c;--line:#dbe2d9;--green:#275b46;--mint:#e4eee4;--blue:#355b82;--serif:Georgia,'Times New Roman','Songti SC',serif;--sans:ui-sans-serif,system-ui,-apple-system,'PingFang SC','Microsoft YaHei',sans-serif}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:90px}body{margin:0;color:var(--ink);background:var(--paper);font:16px/1.65 var(--sans);-webkit-font-smoothing:antialiased}a{color:inherit;text-decoration:none}button,input,select,textarea{font:inherit}a,button{touch-action:manipulation}button{cursor:pointer}button:disabled{opacity:.5;cursor:not-allowed}button:focus-visible,a:focus-visible,input:focus-visible,textarea:focus-visible,select:focus-visible{outline:3px solid #599e83;outline-offset:3px}h1,h2,h3,p{margin-top:0}h1,h2,h3{line-height:1.2;letter-spacing:-.035em}h1{font-size:48px}h2{font-size:29px;font-weight:600;margin-bottom:22px}h3{font-size:20px;font-weight:600}p{color:var(--muted)}em{font-family:var(--serif);font-weight:400;color:var(--green)}[hidden]{display:none!important}.container{width:min(1220px,calc(100% - 96px));margin-inline:auto}.topbar{height:87px;border-bottom:1px solid var(--line);display:flex;align-items:center;justify-content:space-between;padding-inline:48px;background:rgba(248,249,245,.97);position:relative;z-index:10}.brand{display:inline-flex;align-items:center;gap:10px;font-weight:700;font-size:25px;letter-spacing:-1px}.brand-icon{width:35px;height:35px;display:grid;place-items:center;background:var(--green);color:#f6f7df;border-radius:10px;font-family:var(--serif);font-size:32px;padding:0}.prototype{font:14px var(--sans);letter-spacing:0;padding:5px 8px;border:1px solid #bdccbe;border-radius:5px;margin-left:5px;color:#3c594d}.topbar nav{display:flex;gap:28px;align-items:center;font-size:15px;font-weight:500}.topbar nav a.active{border-bottom:2px solid var(--green);padding-block:29px}.topbar nav a:hover,.text-link:hover,.toc a:hover{color:var(--green);text-decoration:underline;text-underline-offset:5px}.nav-upload{border-left:1px solid var(--line);padding-left:24px}.lang-toggle{background:transparent;border:1px solid var(--line);border-radius:6px;font-size:14px;padding:4px 8px;color:var(--ink)}.account-link{color:var(--green)}.link-button{border:0;background:transparent;color:var(--green);padding:0;font-size:14px;text-align:left}.skip{position:absolute;top:-100px;left:20px;background:white;padding:10px;z-index:100}.skip:focus{top:10px}.hero{min-height:540px;display:grid;grid-template-columns:1.15fr 1fr;align-items:center;gap:35px;padding-block:58px}.eyebrow{font-size:14px;letter-spacing:1.65px;font-weight:700;color:#476456;margin-bottom:22px}.live-dot{display:inline-block;width:7px;height:7px;background:#4c8a63;border-radius:100%;margin-right:7px;vertical-align:1px}.hero h1{font-size:clamp(48px,4.9vw,72px);line-height:1.08;font-weight:500;letter-spacing:-3.8px;margin-bottom:25px}.hero h1 em{font-size:1.05em;letter-spacing:-3px}.hero-description{font-size:18px;max-width:470px;line-height:1.65;margin-bottom:14px}.hero-zh{font-size:15px;color:#3e6651;margin-bottom:29px}.hero-actions,.form-actions,.work-actions{display:flex;gap:12px;align-items:center;flex-wrap:wrap}.button{display:inline-flex;align-items:center;justify-content:center;gap:18px;padding:12px 20px;border:1px solid transparent;border-radius:7px;font-size:14px;font-weight:600;line-height:1.35;min-height:44px;text-decoration:none;transition:background .16s,transform .16s}.button:hover{transform:translateY(-1px)}.primary{background:var(--green);color:#fff}.primary:hover{background:#1e4937}.secondary{background:#fff;border-color:#cdd8cd;color:#2b4e3d}.subtle{background:transparent;color:var(--ink)}.hero-graph{position:relative;height:390px;max-width:460px;width:100%;justify-self:end;background:radial-gradient(ellipse at center,rgba(202,222,195,.36),transparent 65%)}.graph-orbit{position:absolute;left:50%;top:50%;border:1px solid #c9d7c7;border-radius:50%;transform:translate(-50%,-50%)}.orbit-one{width:275px;height:275px}.orbit-two{width:390px;height:390px;border-style:dashed;opacity:.8}.graph-core{position:absolute;left:50%;top:50%;transform:translate(-50%,-50%);width:151px;height:151px;background:#ecf1e7;border:1px solid #bfd0bd;border-radius:50%;display:flex;align-items:center;justify-content:center;flex-direction:column;font:50px var(--serif);color:#4e7255;box-shadow:0 12px 44px #9eaf8b18}.graph-core strong{font:600 15px var(--sans);color:#294b39}.graph-core small{font:14px var(--sans);margin-top:7px;color:#58745c}.graph-node{position:absolute;border:1px solid #d0dccb;border-radius:8px;box-shadow:0 6px 16px #59764409;background:#fff;padding:12px 15px;font-size:14px;color:#375a40;display:flex;gap:20px;align-items:center}.graph-node i{font-style:normal;font-size:17px;color:#78956c}.node-a{top:27px;left:27px;transform:rotate(-5deg)}.node-b{top:60px;right:0;transform:rotate(5deg);background:#eef1de}.node-c{bottom:43px;right:0;transform:rotate(-4deg);background:#edf1f8;color:#385872;border-color:#cbd7e1}.node-d{bottom:77px;left:0;transform:rotate(4deg)}.graph-spark{position:absolute;color:#78966b;font-family:var(--serif)}.spark-a{top:175px;left:7px;font-size:40px}.spark-b{bottom:8px;right:150px;font-size:20px}.principles-strip{display:grid;grid-template-columns:repeat(4,1fr);border-top:1px solid var(--line);border-bottom:1px solid var(--line);padding-block:25px;gap:26px}.principles-strip>div{padding-left:25px;border-left:1px solid var(--line)}.principles-strip>div:first-child{padding-left:0;border:0}.principles-strip span{font:14px var(--serif);color:#73906d;display:block;margin-bottom:8px}.principles-strip strong{font-size:15px;font-weight:600}.principles-strip p{font-size:14px;margin:7px 0 0;color:#4e6657}.repository-section{padding-block:64px 60px}.section-heading{display:flex;justify-content:space-between;align-items:center;gap:15px;margin-bottom:25px}.section-heading .eyebrow{margin-bottom:10px}.section-heading h2{margin-bottom:0}.count{display:inline-flex;align-items:center;justify-content:center;border:1px solid #d0dccd;border-radius:6px;padding:3px 8px;font:14px var(--sans);color:#53714d;vertical-align:middle;margin-left:7px}.stats{display:flex;gap:25px;color:var(--muted);font-size:14px}.stats b{font-size:16px;color:var(--ink);margin-right:4px}.repository-toolbar{display:flex;align-items:center;justify-content:space-between;gap:20px;margin-bottom:24px}.filter-tabs{display:flex;gap:6px;flex-wrap:wrap}.filter-tabs a,.filter-tabs button{border:0;display:inline-block;padding:8px 12px;border-radius:6px;background:transparent;font-size:14px;color:#496051}.filter-tabs a.selected,.filter-tabs button.selected{background:#e2eadd;color:#264e36;font-weight:600}.text-link{font-size:14px;font-weight:500;color:var(--green)}.work-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:20px}.work-card{display:flex;flex-direction:column;background:#fff;border:1px solid var(--line);border-radius:10px;padding:25px 25px 18px;transition:transform .15s,box-shadow .15s;min-height:330px}.work-card:hover{transform:translateY(-3px);box-shadow:0 8px 24px #3854300a}.card-top{display:flex;justify-content:space-between;align-items:center;margin-bottom:20px}.kind{text-transform:capitalize;border-radius:4px;padding:4px 8px;background:#eef2e7;color:#49653d;font:500 14px var(--sans);letter-spacing:.1px}.kind-paper{background:#e7edf7;color:#3e5879}.kind-conjecture{background:#f4eada;color:#896333}.kind-counterexample{background:#f4e4e1;color:#8b5143}.kind-survey{background:#eee7f4;color:#735581}.kind-open-problem{background:#e5eff0;color:#426e71}.version-label{font:14px var(--sans);color:#52665b;margin-left:12px}.work-card h3{font:500 23px/1.25 var(--serif);letter-spacing:-.3px;margin-bottom:10px}.work-card h3 a:after{content:' ↗';font:14px var(--sans);color:#7e9375}.card-authors{font-size:14px;margin-bottom:15px;color:#47614f}.card-abstract{font-size:14px;line-height:1.65;display:-webkit-box;-webkit-line-clamp:3;-webkit-box-orient:vertical;overflow:hidden;margin-bottom:18px}.tags{display:flex;gap:7px;flex-wrap:wrap}.tags span{border:1px solid #e0e6dc;background:#f9faf6;color:#48604d;border-radius:4px;padding:2px 6px;font-size:14px}.card-bottom{border-top:1px solid #e6eae2;margin-top:auto;padding-top:16px;display:flex;justify-content:space-between;align-items:center;gap:6px;font-size:14px}.work-card .tags{margin-bottom:22px}.demo-label{font:500 14px var(--sans);letter-spacing:.7px;color:#756e4d}.agent-link{font:14px ui-monospace,monospace;color:var(--green)}.agent-banner{background:#e9eee4;border:1px solid #d9e2d2;border-radius:12px;padding:37px 40px;display:flex;justify-content:space-between;align-items:center;gap:35px;margin-bottom:70px}.agent-banner h2{font:400 32px var(--serif);margin-bottom:14px}.agent-banner .eyebrow{margin-bottom:13px}.agent-banner p{font-size:14px;margin-bottom:0;color:#42604b}.agent-banner-actions{display:flex;flex-direction:column;align-items:flex-start;gap:18px;min-width:235px}footer{border-top:1px solid var(--line);padding:28px 48px;display:flex;align-items:center;gap:35px;flex-wrap:wrap}footer .small{font-size:19px}footer p{font-size:14px;margin:0;color:#58715c}footer>div{display:flex;gap:20px;margin-left:auto;font-size:14px;color:#3e5b48}.page-heading{padding-block:55px 35px}.page-heading h1{margin-bottom:18px}.page-heading p{font-size:18px}.page-heading .eyebrow{font-size:14px}.auth-layout{display:grid;grid-template-columns:1.1fr 1fr;gap:90px;max-width:1080px;padding-block:70px 100px}.auth-intro h1{font-size:62px;font-weight:500;line-height:1.1}.auth-intro>p{font-size:18px}.auth-panel{border:1px solid var(--line);border-radius:12px;background:white;padding:30px}.auth-panel>.filter-tabs{border-bottom:1px solid var(--line);padding-bottom:17px;margin-bottom:23px}.callout,.demo-notice{padding:16px 20px;background:#f2eedf;border:1px solid #e0d7bc;border-radius:7px;font-size:14px;color:#6e5f3a;margin-bottom:25px}.callout a{color:#3d5a45;text-decoration:underline}.auth-intro .callout{margin-top:30px}label{display:flex;flex-direction:column;gap:6px;margin-bottom:17px;font-size:14px;font-weight:500;color:#354e3f}input,textarea,select{width:100%;min-width:0;border:1px solid #cad6c9;background:#fff;border-radius:6px;padding:10px 12px;color:#203c2d;font-size:15px;line-height:1.5}input::placeholder,textarea::placeholder{color:#667466;font-size:14px}textarea{resize:vertical}.checkbox{display:flex;flex-direction:row;gap:9px;align-items:flex-start;font-weight:400;font-size:14px}.checkbox input{width:17px;min-width:17px;margin-top:4px}.checkbox a{text-decoration:underline}.full{width:100%}.muted,.section-note{color:#53675a;font-size:14px}.auth-panel .muted{margin:20px 0 0;font-size:14px}.form-status{color:#325740;font-size:14px;margin:15px 0 0;white-space:pre-wrap}.form-status.error{color:#a33d30}.upload-layout{display:grid;grid-template-columns:minmax(0,1fr) 310px;gap:45px;margin-bottom:80px}.paper-panel{padding:25px;border:1px solid var(--line);background:#fff;border-radius:10px;margin-bottom:24px}.paper-panel h2{font-size:21px;margin-bottom:13px}.paper-panel>p{font-size:14px}.drop-zone{border:1px dashed #aec3a6;background:#f6f8f1;border-radius:9px;padding:25px;display:flex;align-items:center;flex-direction:column;gap:12px;margin-bottom:18px}.upload-symbol{font-size:35px;line-height:1}.drop-zone strong{font-size:16px}.drop-zone input{max-width:360px;border:0;background:none;padding:3px;font-size:14px}.drop-zone span:not(.upload-symbol),.drop-zone small{font-size:14px;color:#49644b}.upload-guide{padding-top:16px}.upload-guide h3{font-size:17px;margin:0 0 14px}.upload-guide p{font-size:14px;margin-bottom:30px}.upload-guide pre{background:#eaf0e4;color:#3d5b3d;font-size:14px;padding:20px;border-radius:8px;line-height:1.8}.file-preview{max-height:180px;overflow:auto;font:14px ui-monospace,monospace;list-style:none;padding:0}.file-preview li{padding:3px;overflow-wrap:anywhere}pre{white-space:pre-wrap;overflow-wrap:anywhere;font:14px/1.8 ui-monospace,SFMono-Regular,monospace}code{font-family:ui-monospace,SFMono-Regular,monospace;font-size:.85em}.breadcrumb{display:flex;gap:15px;align-items:center;font-size:14px;padding-top:32px;color:#547056}.breadcrumb a{color:#275b46}.work-heading{padding-block:28px 40px;border-bottom:1px solid var(--line)}.work-heading h1{font:500 43px/1.16 var(--serif);letter-spacing:-1px;max-width:950px;margin:20px 0 14px}.work-authors{font-size:17px;margin-bottom:16px;color:#354f40}.work-heading .tags{margin-bottom:25px}.work-heading .tags span{font-size:14px;padding:3px 8px}.work-columns{display:grid;grid-template-columns:minmax(0,1fr) 260px;gap:70px}.detail-section{padding-block:38px;border-bottom:1px solid var(--line)}.detail-section h2{font-size:25px;letter-spacing:-.6px}.detail-section p{font-size:16px;color:#3e5949}.abstract-text{line-height:1.85;white-space:pre-line}.detail-section .section-heading{margin-bottom:13px}.detail-section .section-note{font-size:14px}.status-tag{background:#e6eddf;color:#4c653c;padding:3px 8px;border-radius:4px;font-size:14px;font-weight:500;white-space:nowrap}.status-tag.neutral{background:#eef0e9;color:#54624d}.verification-card{background:#fff;border:1px solid #dce4d7;border-radius:9px;padding:20px;margin-top:18px}.verification-card>div{display:flex;gap:10px;align-items:center;flex-wrap:wrap}.verification-card strong{font-size:15px}.verification-icon{font-size:24px;color:#597450}.verification-card p{font-size:14px;margin:10px 0}.verification-card ul{font-size:14px;padding-left:20px}.verification-card .text-link{margin-right:20px}.takeaways-section .document-text{padding:23px;border-left:3px solid #97b88b;background:#edf2e7;border-radius:0 7px 7px 0}.document-text{white-space:pre-wrap;overflow-wrap:anywhere;line-height:1.85;font-size:16px;color:#314d39}.detail-section details>summary{display:flex;justify-content:space-between;align-items:center;cursor:pointer}.detail-section details>summary h2{margin:0}.detail-section details>.document-text{margin-top:25px}.references{padding-left:20px}.references li{padding:8px 0;color:#365840;font-size:15px}.references li>a{text-decoration:underline;text-underline-offset:4px}.references p{font-size:14px;margin:3px 0}.references .muted{margin-left:10px}.references .status-tag{margin-left:10px}.discussion-filters{margin:20px 0}.comment{border:1px solid #dae2d5;border-radius:9px;background:white;padding:20px;margin-block:15px}.comment-top{display:flex;align-items:center;gap:10px;flex-wrap:wrap}.comment-top strong{font-size:15px}.comment-top .muted{font-size:14px}.comment-kind{font-size:14px!important;margin:9px 0;color:#516e54!important}.comment-body{white-space:pre-wrap;overflow-wrap:anywhere;font-size:15px;margin:16px 0;color:#334d3d}.comment-bottom{border-top:1px solid #e9ede6;padding-top:12px;display:flex;gap:15px;align-items:center;flex-wrap:wrap}.comment-bottom code{font-size:14px;color:#50664f}.comment-bottom select{width:auto;padding:3px 7px;font-size:14px}.comment[data-parent]:not([data-parent='']){margin-left:24px;border-left:3px solid #b0c8a7}.form-grid{display:grid;grid-template-columns:1fr 1fr;gap:0 17px}#comment-form{margin-top:25px}.citation-box{border:1px solid #cfdbc8;border-radius:7px;background:#f0f4e9;padding:20px;font-size:14px;line-height:1.8;margin-bottom:18px;overflow-wrap:anywhere}.work-sidebar{padding-top:38px}.sidebar-sticky{position:sticky;top:25px;padding-bottom:25px}.work-sidebar dl{font-size:14px;margin-top:0}.work-sidebar dt{color:#5d725d;margin-top:17px}.work-sidebar dd{margin:4px 0;color:#2c4b34;font-weight:500}.work-sidebar dd span{display:block;font-size:14px;font-weight:400}.hash{font:14px/1.6 ui-monospace,monospace;overflow-wrap:anywhere}.toc{display:flex;flex-direction:column;gap:9px;padding:25px 0;border-top:1px solid var(--line);border-bottom:1px solid var(--line);margin:25px 0;font-size:14px}.work-sidebar details{border-bottom:1px solid var(--line);padding:14px 0}.work-sidebar summary{cursor:pointer;font-size:14px;font-weight:600;display:flex;align-items:center;justify-content:space-between}.work-sidebar summary span{font-weight:400;color:#587351;font-size:14px}.history a{display:flex;gap:6px;flex-direction:column;border-left:2px solid #d8e1d0;margin:17px 0 0;padding-left:15px;font-size:14px}.history a.current{border-color:#4e8052}.history b{font-size:14px;color:#2f5c3a}.history small{color:#587153;font-size:14px}.file-tree{list-style:none;padding:0;margin:15px 0;font:14px/1.6 ui-monospace,monospace}.file-tree li{padding-block:7px;overflow-wrap:anywhere;border-bottom:1px solid #e4eade;display:flex;justify-content:space-between;gap:12px}.file-tree small{color:#52694e;white-space:nowrap}.revision-row{display:flex;align-items:center;justify-content:space-between;border:1px solid var(--line);border-radius:8px;background:white;padding:19px;margin-bottom:13px;gap:15px}.revision-row strong{font-size:16px;display:block}.revision-row small{font-size:14px;color:#56704f;display:block;margin-top:6px}.work-detail{margin-bottom:65px}.work-detail>.demo-notice{margin:25px 0 0;font-size:14px}.work-detail>.callout{margin-top:22px}.diff-list{margin-bottom:45px}.diff-item{border:1px solid var(--line);border-radius:7px;margin:16px 0;background:white;overflow:hidden}.diff-item summary{display:flex;gap:13px;padding:15px;cursor:pointer;align-items:center;font-size:14px}.diff{margin:0;border-top:1px solid var(--line);padding:20px;background:#f0f4ec;max-height:500px;overflow:auto;white-space:pre;font-size:14px}.diff-item>p{padding:15px}.compare-form{display:flex;align-items:center;gap:20px;max-width:450px}.compare-form label{flex:1}.compare-form span{padding-top:14px}.collaborator-row{font-size:14px;display:flex;justify-content:space-between;gap:10px;margin:15px 0}.owner-controls h3{font-size:14px;margin-top:22px}.owner-controls .button{font-size:14px;padding:9px}.owner-controls label{font-size:14px}.empty-state{grid-column:1/-1;text-align:center;padding:55px;border:1px dashed #b9cbb1;border-radius:10px;background:#f1f5ec}.empty-state>span{font:50px var(--serif);color:#73996a}.empty-state h3{font:28px var(--serif)}.empty-state p{font-size:15px}.empty-inline{padding:20px;border:1px dashed var(--line);border-radius:7px}.docs-layout{display:grid;grid-template-columns:210px minmax(0,1fr);gap:55px;padding-block:45px 80px}.docs-nav{align-self:start;position:sticky;top:30px;display:flex;flex-direction:column;gap:13px;font-size:14px}.docs-content{max-width:850px;min-width:0}.docs-content>section{padding-block:0 35px;margin-bottom:35px;border-bottom:1px solid var(--line)}.docs-content h1{font-size:42px}.docs-content h2{font-size:25px}.docs-content p,.docs-content li{font-size:15px;line-height:1.8}.docs-content pre{padding:23px;background:#e9efe3;border:1px solid #d2dfc9;border-radius:8px;font-size:14px}.docs-content table{border-collapse:collapse;width:100%;font-size:14px;margin-block:20px}.docs-content td,.docs-content th{border-bottom:1px solid var(--line);text-align:left;padding:11px 12px;vertical-align:top;overflow-wrap:anywhere}.docs-content th{background:#e9efe3}.legal{max-width:850px;margin-bottom:80px}.legal h2{font-size:24px;margin-top:30px}.legal li{margin-bottom:8px}.legal a{text-decoration:underline}.legal p{color:#3b5543}#toast{position:fixed;bottom:25px;left:50%;transform:translateX(-50%);max-width:90vw;background:#204c35;color:white;border-radius:8px;padding:13px 22px;z-index:200;box-shadow:0 8px 25px #0002;font-size:14px}.loading{opacity:.65;pointer-events:none}@media(min-width:1500px){.hero{padding-block:70px;min-height:590px}.topbar{padding-inline:max(48px,calc((100vw - 1220px)/2))}}@media(max-width:1050px){.container{width:calc(100% - 60px)}.topbar{padding-inline:30px}.topbar nav{gap:17px;font-size:14px}.nav-upload{padding-left:15px}.hero h1{font-size:54px;letter-spacing:-2px}.hero-graph{transform:none;transform-origin:center right}.work-grid{grid-template-columns:repeat(2,1fr)}.principles-strip{gap:15px}.principles-strip>div{padding-left:15px}.work-columns{grid-template-columns:minmax(0,1fr) 220px;gap:35px}.upload-layout{grid-template-columns:minmax(0,1fr) 250px;gap:30px}.auth-layout{gap:45px}.agent-banner{padding:30px}footer>div{margin-left:0}}@media(max-width:740px){.container{width:calc(100% - 36px)}.topbar{height:auto;min-height:76px;gap:15px;padding:18px;flex-wrap:wrap}.brand{font-size:22px}.prototype{font-size:14px}.topbar nav{width:100%;gap:17px;flex-wrap:wrap;font-size:14px}.topbar nav a.active{padding-block:0;border:0;color:var(--green)}.nav-upload{padding-left:0;border:0}.hero{grid-template-columns:1fr;padding-block:40px 25px;gap:5px;min-height:0}.hero h1{font-size:52px;letter-spacing:-2px}.hero-graph{height:320px;width:370px;max-width:100%;justify-self:center;transform:none;transform-origin:center; margin-block:-5px}.hero .eyebrow{font-size:14px;letter-spacing:1px}.hero-description{font-size:16px}.hero-zh{font-size:14px}.hero-actions{gap:4px}.hero-actions .button{padding-inline:14px;font-size:14px}.orbit-two{width:350px;height:350px}.principles-strip{grid-template-columns:1fr 1fr;gap:25px 15px;padding-block:25px}.principles-strip>div:nth-child(3){border:0;padding:0}.principles-strip strong{font-size:14px}.principles-strip p{font-size:14px}.repository-section{padding-block:40px}.section-heading{align-items:flex-start;flex-wrap:wrap}.section-heading h2{font-size:26px}.stats{gap:15px}.repository-toolbar{align-items:flex-start;flex-direction:column;gap:10px}.filter-tabs{gap:4px}.filter-tabs a,.filter-tabs button{font-size:14px;padding:7px 9px}.work-grid{grid-template-columns:1fr}.work-card{padding:23px;min-height:310px}.work-card h3{font-size:25px}.agent-banner{flex-direction:column;align-items:flex-start;padding:25px;margin-bottom:40px}.agent-banner h2{font-size:28px}.agent-banner-actions{min-width:0}.agent-banner .eyebrow{font-size:14px}footer{padding:25px 18px;gap:15px}footer>div{flex-wrap:wrap;gap:15px}footer p{width:100%}.page-heading{padding-block:35px 25px}.page-heading h1{font-size:35px}.page-heading p{font-size:16px}.upload-layout,.auth-layout,.work-columns,.docs-layout{grid-template-columns:1fr;gap:25px}.auth-layout{padding-block:35px 50px}.auth-intro h1{font-size:45px}.auth-intro>p{font-size:16px}.auth-panel{padding:23px}.upload-guide{padding-top:0}.paper-panel{padding:20px}.work-heading h1{font-size:34px}.work-heading{padding-block:20px 30px}.work-actions .button{font-size:14px;padding:11px 13px}.work-columns{gap:0}.work-sidebar{padding-top:25px}.sidebar-sticky{position:static}.work-sidebar dl{display:grid;grid-template-columns:100px 1fr;gap:10px}.work-sidebar dt{margin:0}.work-sidebar dd{margin:0}.work-sidebar .toc{display:none}.detail-section{padding-block:28px}.detail-section h2{font-size:23px}.detail-section .section-heading{gap:12px}.comment{padding:16px}.form-grid{gap:0 12px}.comment-top .muted{font-size:14px}.comment[data-parent]:not([data-parent='']){margin-left:12px}.docs-nav{position:static;flex-direction:row;flex-wrap:wrap;border-bottom:1px solid var(--line);padding-bottom:20px}.docs-layout{padding-block:30px}.docs-content h1{font-size:35px}.docs-content td,.docs-content th{padding:8px 5px;font-size:14px}.docs-content pre{padding:15px;font-size:14px}.drop-zone{padding:20px 12px}.empty-state{padding:30px 18px}}
@media(prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;transition:none!important;animation:none!important}}

/* User preference: dark readable text, no decorative microcopy. */
.eyebrow{display:none}
.principles-strip>div>span{display:none}
p,.muted,.section-note,.card-authors,.card-abstract,.version-label,.stats,
.graph-core small,.principles-strip p,.tags span,.card-bottom,.demo-label,
footer p,footer>div,.drop-zone span:not(.upload-symbol),.drop-zone small,
.work-sidebar dt,.work-sidebar dd span,.hash,.history small,.file-tree small,
.comment-top .muted,.comment-kind,.comment-bottom code,.revision-row small{
 color:#2f4537;
}
.card-abstract,.card-authors,.principles-strip p,.agent-banner p,
.auth-panel .muted,.section-note,.detail-section .section-note{font-size:16px}
.tags span,.version-label,.demo-label,.status-tag,.prototype,.agent-link,
.stats,.count,.file-tree,.hash,.history a,.history small,.revision-row small,
.comment-top .muted,.comment-kind,.comment-bottom code,.comment-bottom select{
 font-size:14px;
}
.kind,.status-tag,.demo-label,.version-label,.tags span{font-weight:600}
.demo-label{letter-spacing:0}
.work-card{min-height:360px}
.card-bottom{align-items:flex-start;flex-wrap:wrap;gap:10px}
.card-authors{margin-bottom:12px}
.graph-core small{font-size:14px;font-weight:500}
.graph-node{font-size:15px}
footer{font-size:14px}
input::placeholder,textarea::placeholder{font-size:14px;color:#475c4b;opacity:1}
.work-sidebar .hash{font-size:14px}
.comment-kind{font-size:14px!important;color:#2f4537!important}
.docs-content pre,.docs-content table,.docs-content td,.docs-content th{font-size:14px}
@media(max-width:740px){
 .hero-graph{width:100%;height:365px;margin:15px 0;transform:none}
 .orbit-two{width:min(350px,100%);height:350px}
 .graph-node{padding:10px 12px;font-size:14px;gap:10px}
 .node-a{left:4px;top:24px}.node-b{right:0;top:58px}
 .node-c{right:0;bottom:30px}.node-d{left:0;bottom:75px}
 .work-card{min-height:0}.card-top{gap:12px;flex-wrap:wrap}
 .comment-top .muted,.docs-content pre,.docs-content td,.docs-content th{font-size:14px}
}

/* Inline code and file-size labels remain readable as well. */
small{font-size:14px;color:#2f4537}code{font-size:max(14px,.85em)}

.submission-welcome{margin:0 0 30px;padding:24px 28px;border-left:4px solid var(--green);background:#edf2e7}.submission-welcome h2{font-size:24px;margin:0 0 12px}.submission-welcome p{font-size:16px;color:#2f4537;line-height:1.7;margin:8px 0}.hero-description strong{font-weight:650}

.hero-copy .mission-title{font-size:clamp(36px,3.5vw,52px);line-height:1.3;letter-spacing:-.035em}.mission-title em{font-style:normal}.mission-title span,.mission-title em{display:inline}@media(max-width:640px){.hero-copy .mission-title{font-size:34px;line-height:1.35}}

.mission-title span{display:block;text-wrap:balance}.mission-title br{display:none}.mission-title em{display:block;text-wrap:balance}

.agent-start{padding-top:32px;padding-bottom:40px}.agent-start-heading h2{font-size:30px;line-height:1.35;margin:0 0 14px}.agent-start-heading p{font-size:18px;color:#243c2e;line-height:1.7;margin:0 0 24px}.prompt-actions{display:flex;align-items:center;justify-content:space-between;gap:16px;margin:0 0 14px}.prompt-actions strong{font-size:18px}.agent-start .button{font-size:16px;padding:13px 22px}.agent-start-prompt{font-family:inherit;font-size:17px;line-height:1.85;white-space:pre-wrap;overflow-wrap:anywhere;color:#21382a;background:#edf2e7;border:1px solid #c7d2c8;border-radius:12px;padding:26px;margin:0}.agent-start [hidden]{display:none!important}@media(max-width:640px){.agent-start-heading h2{font-size:26px}.agent-start-prompt{padding:20px;font-size:16px}}

.community-section{padding-block:32px 48px;border-top:1px solid var(--line)}.community-section h2{font-size:30px;color:#21382a;margin:0 0 28px}.community-section article+article{margin-top:28px}.community-section h3{font-size:21px;color:#21382a;margin:0 0 10px}.community-section p{font-size:18px;line-height:1.85;color:#263e30;margin:0;max-width:1000px}.community-section [hidden]{display:none!important}

.hero{grid-template-columns:1fr 1.15fr;align-items:start;gap:48px;padding-block:48px 52px}.hero-agent-start{min-width:0;width:100%;padding:0}.hero-agent-start .agent-start-heading h2{font-size:26px}.hero-agent-start .agent-start-prompt{max-height:360px;overflow:auto;scrollbar-gutter:stable;padding:22px;font-size:17px}.hero-agent-start .prompt-actions{margin-bottom:14px}@media(max-width:900px){.hero{grid-template-columns:1fr;gap:30px;padding-block:32px}.hero-agent-start .agent-start-prompt{max-height:420px;font-size:16px}}

.package-structure{padding-block:32px 40px;border-top:1px solid var(--line)}.package-structure h2{font-size:30px;margin:0 0 24px;color:#21382a}.package-tree{padding:24px;background:#edf2e7;border:1px solid #c7d2c8;border-radius:12px;overflow-x:auto}.package-tree-root{margin-bottom:12px}.package-tree code{font-size:17px;color:#21382a;background:none;padding:0}.package-tree-row{display:flex;align-items:baseline;gap:16px;min-width:max-content;padding-block:9px;font-size:17px;line-height:1.6;color:#263e30}.tree-branch{font-family:monospace;color:#405a49}.required-file{font-size:16px;color:#234d35;background:#dce8d8;padding:2px 10px;border-radius:5px}.package-tree-options{padding-left:48px}.package-tree-note{font-size:17px;line-height:1.8;color:#263e30;margin:18px 0 0}.package-structure [hidden]{display:none!important}@media(max-width:640px){.package-tree{padding:18px}.package-tree-row{gap:12px}.package-tree-options{padding-left:32px}}

.hero-statistics{width:100%;margin-top:36px;border-collapse:separate;border-spacing:0;border:1px solid #bdccbe;border-radius:14px;overflow:hidden;background:linear-gradient(120deg,#e6eee0,#e7edf3);box-shadow:0 8px 28px #21382a08}.hero-statistics th{width:50%;font-size:17px;font-weight:600;color:#2b4534;text-align:left;padding:22px 24px 10px}.hero-statistics td{font-size:clamp(32px,3vw,44px);font-weight:650;font-variant-numeric:tabular-nums;color:#234b35;padding:0 24px 22px;line-height:1.3}.hero-statistics th+th,.hero-statistics td+td{border-left:1px solid #bdccbe}.hero-statistics th+th,.hero-statistics td+td{color:#304f70}@media(max-width:640px){.hero-statistics{margin-top:26px}.hero-statistics th{padding:18px 18px 10px;font-size:16px}.hero-statistics td{padding:0 18px 18px;font-size:34px}}

/* Use deep text colors and readable metadata throughout the interface. */
:root{--ink:#172b21;--muted:#2e4135;--line:#c5d0c6}p,.muted,.section-note,.card-authors,.card-abstract,.stats,.version-label{color:#263d2e}.filter-tabs a,.filter-tabs button,.count,.tags span,.demo-label,.agent-link,.prototype,.version-label,.status-tag,.breadcrumb,.work-sidebar dt,.history small,.file-tree small,.revision-row small,.comment-top .muted,.comment-bottom code{font-size:16px;color:#2b4333}.demo-label{color:#544521}.kind{font-size:16px;font-weight:600}.kind-paper{color:#284565}.kind-conjecture{color:#65481d}.kind-counterexample{color:#733a2e}.kind-survey{color:#533b61}.kind-open-problem{color:#285456}.work-card h3 a:after{color:#315441}.callout,.demo-notice{color:#4b4026}.comment-kind{font-size:16px!important;color:#263d2e!important}.docs-content pre,.docs-content table,.docs-content td,.docs-content th{font-size:16px}small{font-size:16px;color:#2b4333}input::placeholder,textarea::placeholder{font-size:16px;color:#354a3b;opacity:1}.hero-statistics{border-color:#aebfb0;box-shadow:0 10px 30px #21382a0b}.hero-statistics th{color:#203d2b}.hero-statistics td{color:#173f29}.hero-statistics th+th,.hero-statistics td+td{color:#254461}

/* Optional account photos and concise repository cards. */
.avatar{width:36px;height:36px;border-radius:50%;object-fit:cover;flex-shrink:0;border:1px solid #cad7c1;background:#e4eddc;vertical-align:middle}.avatar-small{width:30px;height:30px;margin-right:8px}.account-link{display:inline-flex;align-items:center}.avatar-large{width:112px;height:112px}.avatar-settings{margin:10px 0 40px}.avatar-settings-row{display:flex;align-items:flex-start;gap:28px}.avatar-settings form{flex:1;max-width:620px}.avatar-settings p{font-size:16px;color:#2d4837}.work-card-compact{min-height:0;padding:28px;display:flex;flex-direction:column;gap:17px}.work-card-compact h3{margin:0;font-size:26px;line-height:1.35;overflow-wrap:anywhere}.work-card-compact .card-authors{margin:0;font-size:17px;color:#263f30;line-height:1.6}.work-card-compact .card-field{align-self:flex-start;margin:0;padding:5px 12px;border-radius:6px;background:#e3ecd9;color:#274e32;font-size:16px;font-weight:600;overflow-wrap:anywhere}@media(max-width:740px){.avatar-settings-row{flex-direction:column;gap:18px}.work-card-compact{padding:23px}.work-card-compact h3{font-size:24px}}

.work-card-compact .card-authors{overflow-wrap:anywhere}