:root{--maroon:#b31b1b;--maroon-dark:#8c1515;--link:#0068ac;--link-visited:#5c4b8a;--text:#1a1a1a;--muted:#6e6e6e;--faint:#999;--border:#e2ded4;--cream:#f7f5f0;--card:#fbfaf7;--hn-bg:#f6f6ef;--hn-grey:#828282;--green:#1a7f37;--green-bg:#dafbe1;--orange:#bc4c00;--purple:#6639ba}*{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{color:var(--text);background:#fff;margin:0;font-family:Lucida Grande,Helvetica Neue,Helvetica,Arial,sans-serif;font-size:15px;line-height:1.5}a{color:var(--link);text-decoration:none}a:hover{text-decoration:underline}h1,h2,h3,h4{margin:0 0 .5em;line-height:1.25}code,pre,kbd{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.92em}pre{border:1px solid var(--border);background:#f4f2ec;border-radius:3px;padding:10px 12px;overflow-x:auto}code{background:#f4f2ec;border-radius:3px;padding:1px 4px}pre code{background:0 0;padding:0}.wrap{max-width:1120px;margin:0 auto;padding:0 18px}main.wrap{min-height:60vh;padding-top:20px;padding-bottom:48px}.site-header{background:var(--maroon);color:#fff}.header-inner{flex-wrap:wrap;align-items:center;gap:16px;max-width:1120px;margin:0 auto;padding:9px 18px;display:flex}.logo{letter-spacing:.5px;font-size:27px;font-weight:700;line-height:1;color:#fff!important;text-decoration:none!important}.logo .chi{margin:0 1px;font-family:Georgia,Times New Roman,serif;font-size:1.12em;font-style:italic}.header-crumb{color:#ffffffd9;font-size:13.5px}.header-crumb a{color:#ffffffeb}.header-search{gap:6px;margin-left:auto;display:flex}.header-search input[type=text]{border:0;border-radius:2px;width:210px;padding:6px 9px;font-size:13.5px}.header-search button{color:#fff;cursor:pointer;background:#7c1010;border:0;border-radius:2px;padding:6px 12px;font-size:13px}.header-search button:hover{background:#690c0c}.site-tagline{background:var(--maroon-dark);color:#fffc;text-align:left;font-size:12.5px}.site-tagline .wrap{padding-top:3px;padding-bottom:3px}.mnav{margin-left:auto;display:none;position:relative}.mnav summary{cursor:pointer;color:#fff;-webkit-user-select:none;user-select:none;border:1px solid #ffffff80;border-radius:3px;padding:2px 8px;font-size:22px;list-style:none}.mnav summary::-webkit-details-marker{display:none}.mnav[open] summary{background:var(--maroon-dark)}.mnav-panel{border:1px solid var(--border);border-top:3px solid var(--maroon);z-index:50;background:#fff;min-width:230px;padding:10px 0;position:absolute;top:calc(100% + 8px);right:0;box-shadow:0 6px 18px #0000002e}.mnav-panel a{color:#333;padding:8px 16px;font-size:15px;display:block}.mnav-panel a.active,.mnav-panel a.submit-link{color:var(--maroon);font-weight:700}.mnav-panel hr{border:none;border-top:1px solid var(--border);margin:6px 0}.mnav-search{border-bottom:1px solid var(--border);gap:6px;margin-bottom:6px;padding:4px 16px 10px;display:flex}.mnav-search input{border:1px solid #b9b4a7;border-radius:2px;flex:1;min-width:0;padding:6px 8px;font-size:14px}.mnav-search button{background:var(--maroon);color:#fff;border:0;border-radius:2px;padding:6px 10px;font-size:13px}.mnav-logout{color:#333;padding:8px 16px;font-size:15px;display:block}@media (max-width:720px){.mnav{display:block}.header-search,.subnav{display:none}.header-inner{flex-wrap:nowrap;gap:10px}.header-crumb{text-overflow:ellipsis;white-space:nowrap;flex:1;min-width:0;overflow:hidden}}.subnav{background:var(--cream);border-bottom:1px solid var(--border);font-size:13.5px}.subnav-inner{flex-wrap:wrap;align-items:center;gap:18px;max-width:1120px;margin:0 auto;padding:7px 18px;display:flex}.subnav a{color:#444}.subnav a:hover{color:var(--maroon);text-decoration:none}.subnav a.active{color:var(--maroon);font-weight:700}.subnav .spacer{margin-left:auto}.subnav .subnav-user{color:var(--muted)}.subnav .submit-link{color:var(--maroon);font-weight:700}.site-footer{border-top:1px solid var(--border);background:var(--cream);color:var(--muted);margin-top:40px;font-size:12.5px}.site-footer .wrap{flex-wrap:wrap;align-items:baseline;gap:24px;padding:18px;display:flex}.site-footer a{color:#555}.mission-block{border-left:4px solid var(--maroon);background:var(--card);max-width:860px;margin:0 0 18px;padding:14px 20px}.mission-block .mission-lead{color:var(--maroon-dark);margin:0 0 6px;font-size:19px;font-weight:700}.mission-block p{max-width:78ch;margin:0}.cred-strip{border-bottom:1px solid var(--border);flex-wrap:wrap;align-items:baseline;gap:18px;margin:0 0 26px;padding-bottom:16px;display:flex}.cred-label{text-transform:uppercase;letter-spacing:.8px;color:var(--faint);white-space:nowrap;font-size:11px}.cred-names{flex-wrap:wrap;align-items:baseline;gap:22px;display:flex}.cred-names span{color:#9a958a;letter-spacing:.2px;white-space:nowrap;font-family:Georgia,Times New Roman,serif;font-size:15.5px;font-weight:700}.home-grid{grid-template-columns:minmax(0,1fr) 300px;gap:36px;display:grid}@media (max-width:900px){.home-grid{grid-template-columns:1fr}}.home-intro{border-bottom:1px solid var(--border);margin-bottom:18px;padding-bottom:14px}.home-intro h1{margin-bottom:4px;font-size:21px}.home-intro p{color:#333;max-width:72ch;margin:4px 0}.home-intro .actions{flex-wrap:wrap;align-items:center;gap:10px;margin-top:10px;display:flex}h2.section-title{border-bottom:2px solid var(--maroon);align-items:baseline;gap:10px;margin:22px 0 12px;padding-bottom:5px;font-size:17px;display:flex}h2.section-title .more{margin-left:auto;font-size:12.5px;font-weight:400}.railbox{border:1px solid var(--border);background:var(--card);margin-bottom:16px;padding:13px 15px;font-size:13.5px}.railbox h3{text-transform:uppercase;letter-spacing:.7px;color:var(--muted);margin:0 0 9px;font-size:12px}.railbox ul{margin:0;padding-left:18px}.railbox li{margin-bottom:6px}.railbox .foot{color:var(--muted);margin-top:8px;font-size:12px}.stats-line{flex-wrap:wrap;gap:14px;display:flex}.stats-line b{font-size:16px}.listing-date{border-bottom:1px solid var(--border);margin:20px 0 10px;padding-bottom:4px;font-size:16px;font-weight:700}.paper-item{gap:10px;margin-bottom:16px;display:flex}.paper-item .num{color:var(--faint);text-align:right;min-width:26px;padding-top:2px;font-size:13px}.paper-item .body{min-width:0}.paper-item .idline{margin-bottom:1px;font-size:13px}.paper-item .idline .aid{font-weight:700}.paper-item .idline .fmt{color:var(--muted)}.paper-item .ptitle{margin:1px 0;font-size:16px;font-weight:600;line-height:1.3}.paper-item .ptitle a{color:var(--text)}.paper-item .ptitle a:hover{color:var(--maroon)}.paper-item .pauthors{margin:1px 0;font-size:13.5px}.paper-item .pmeta{color:var(--muted);margin:1px 0;font-size:12.5px}.paper-item .psubjects{color:var(--muted);font-size:12.5px}.paper-item .psubjects .primary{color:#555;font-weight:700}.paper-item .editorial{color:#333;background:var(--card);border-left:3px solid var(--maroon);max-width:74ch;margin:6px 0 2px;padding:6px 10px;font-size:13.5px}.chips{display:inline}.chip{vertical-align:1.5px;white-space:nowrap;border:1px solid #0000;border-radius:3px;margin-right:4px;padding:0 6px;font-size:10.5px;line-height:1.5;display:inline-block}.chip-repo{color:var(--green);background:#f2fbf4;border-color:#9fd2ac}.chip-cot{color:var(--purple);background:#f8f5ff;border-color:#c6b3ec}.chip-repro{color:#14652c;background:var(--green-bg);border-color:var(--green-bg)}.chip-disputed{color:var(--orange);background:#fff6f0;border-color:#f0bd9d}.chip-pick{color:var(--maroon);background:#fdf3f3;border-color:#e5b6b6}.chip-imported{color:var(--muted);background:#f6f4ef;border-color:#d5d1c7}.chip-pending{color:#8a6d00;background:#fdf9e7;border-color:#e2cd7c}.chip-withdrawn{color:#7a2020;background:#faeaea;border-color:#d9a5a5;text-decoration:none}.withdrawn-notice{color:#5c1a1a;background:#faeaea;border:1px solid #d9a5a5;max-width:900px;margin:14px 0;padding:10px 14px;font-size:14px}.pagination{color:var(--muted);gap:16px;margin:22px 0;font-size:13.5px;display:flex}.abs-grid{grid-template-columns:minmax(0,1fr) 280px;gap:40px;display:grid}@media (max-width:900px){.abs-grid{grid-template-columns:1fr}}.abs-subject-header{color:var(--muted);margin-bottom:8px;font-size:14px;font-weight:700}.abs-dateline{color:var(--muted);margin-bottom:6px;font-size:12.5px}h1.abs-title{color:#000;margin:2px 0 8px;font-size:25px;font-weight:700;line-height:1.28}.abs-authors{margin-bottom:12px;font-size:15.5px}blockquote.abs-abstract{background:#f5f4f0;border-radius:3px;margin:14px 0 18px;padding:10px 14px;font-size:15.5px;line-height:1.55}blockquote.abs-abstract .descriptor{font-weight:700}.abs-badge-row{margin:4px 0 14px}.metatable{border-collapse:collapse;margin-bottom:18px;font-size:13.5px}.metatable td{vertical-align:top;overflow-wrap:anywhere;padding:2px 0}.metatable td.label{color:var(--muted);white-space:nowrap;padding-right:14px;font-weight:700}.metatable .mono{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:12.5px}.submission-history{color:#333;margin-top:18px;font-size:13px}.submission-history h3{color:var(--muted);margin-bottom:6px;font-size:14px}.submission-history .vrow{margin-bottom:3px}.submission-history .vlabel{font-weight:700}.submission-history .current{color:var(--maroon);font-weight:700}.mobile-access{display:none}@media (max-width:900px){.mobile-access{flex-wrap:wrap;align-items:center;gap:8px;margin:10px 0 4px;display:flex}.mobile-access a{border:1px solid var(--border);background:var(--card);color:#333;border-radius:3px;padding:5px 12px;font-size:13.5px}.mobile-access a.ma-pdf{background:var(--maroon);border-color:var(--maroon);color:#fff;font-weight:700}}.abs-sidebar{font-size:13.5px}.sidebox{border:1px solid var(--border);background:var(--card);margin-bottom:14px;padding:12px 14px}.sidebox h3{color:#333;margin:0 0 8px;font-size:13px}.sidebox ul{margin:0;padding:0;list-style:none}.sidebox li{margin-bottom:6px}.sidebox .pdf-link{color:var(--maroon);font-size:14.5px;font-weight:700}.sidebox .disabled{color:var(--faint)}.sidebox .note{color:var(--muted);margin-top:6px;font-size:11.5px}.browse-context{color:var(--muted);margin-bottom:14px;font-size:12.5px}.status-line{border:1px solid var(--border);background:#fff;border-radius:3px;margin-bottom:14px;padding:8px 10px;font-size:12.5px}.status-line.s-reproduced{background:var(--green-bg);border-color:#b4e6c0}.status-line.s-disputed{background:#fff2e8;border-color:#f0c4a4}.abs-section{border-top:1px solid var(--border);margin-top:30px;padding-top:18px}.abs-section>h2{margin-bottom:4px;font-size:18px}.abs-section .section-sub{color:var(--muted);margin:0 0 14px;font-size:13px}.abs-section h3{margin:18px 0 6px;font-size:14.5px}.md{max-width:78ch;font-size:14.5px;line-height:1.6}.md p{margin:.6em 0}.md h1,.md h2{margin-top:1.2em;font-size:16px}.md h3{font-size:15px}.md blockquote{border-left:3px solid var(--border);color:#444;margin-left:0;padding-left:14px}.repo-card{border:1px solid var(--border);background:var(--card);max-width:560px;margin:8px 0;padding:10px 14px;font-size:13.5px}.repo-card .rname{font-size:14.5px;font-weight:700}.repo-card .rmeta{color:var(--muted);margin-top:3px;font-size:12.5px}.repro-entry{border:1px solid var(--border);background:#fff;border-left-width:4px;max-width:78ch;margin:10px 0;padding:10px 14px;font-size:14px}.repro-entry.o-reproduced{border-left-color:var(--green)}.repro-entry.o-partial{border-left-color:#b58900}.repro-entry.o-failed,.repro-entry.o-issue{border-left-color:var(--orange)}.repro-entry .rhead{color:var(--muted);margin-bottom:5px;font-size:12.5px}.repro-entry .rhead b.outcome{color:var(--text)}.comment-tree{margin-top:10px}.comment{margin-bottom:12px}.comment .comhead{color:var(--hn-grey);font-size:12px}.comment .comhead a{color:var(--hn-grey)}.comment .ctext{overflow-wrap:break-word;max-width:88ch;margin-top:2px;font-size:13.5px}.comment .ctext p{margin:.45em 0}.comment .creply{font-size:11px}.comment .creply a{color:var(--hn-grey);text-decoration:underline}.comment.dead .ctext,.comment.dead .comhead{color:#c5c5c5}.cchildren{border-left:1px solid #eceae2;margin-left:26px;padding-left:14px}.comment-form textarea{border:1px solid #bbb;border-radius:2px;width:100%;max-width:640px;height:100px;padding:8px;font-family:inherit;font-size:13.5px}.votelink{cursor:pointer;color:#999;vertical-align:1px;background:0 0;border:none;padding:0 3px;font-size:10px}.votelink:hover,.votelink.voted{color:var(--maroon)}.forum-shell{background:var(--hn-bg);max-width:1000px;min-height:70vh;margin:10px auto 0;padding-bottom:20px;font-family:Verdana,Geneva,sans-serif}@media (max-width:1020px){.forum-shell{margin:0}}.forum-bar{background:var(--maroon);flex-wrap:wrap;align-items:center;gap:8px;padding:4px 8px;font-size:12.5px;display:flex}.forum-logo{border:1px solid #fff;padding:0 4px;font-size:13px;font-weight:700;color:#fff!important;text-decoration:none!important}.forum-title{color:#fff;font-weight:700}.forum-title a{color:#fff!important;text-decoration:none!important}.forum-nav{color:#f0d5d5}.forum-nav a{color:#fff}.forum-user{color:#fff;margin-left:auto}.forum-user a{color:#fff}.forum-body{padding:10px 12px 4px;font-size:13.5px}.forum-body a{color:var(--text)}.forum-body a:hover{text-decoration:none}.frow{align-items:baseline;gap:4px;margin-bottom:6px;display:flex}.frow .rank{color:var(--hn-grey);text-align:right;min-width:24px;font-size:13px}.frow .fmain{min-width:0}.frow .titleline{font-size:13.5px}.frow .titleline a.storylink{color:#000}.frow .titleline a.storylink:visited{color:var(--hn-grey)}.frow .sitebit{color:var(--hn-grey);font-size:11px}.frow .sitebit a{color:var(--hn-grey)}.frow .subtext{color:var(--hn-grey);margin-top:1px;font-size:10.5px}.frow .subtext a{color:var(--hn-grey)}.frow .subtext a:hover{text-decoration:underline}.forum-more{margin:14px 0 10px 28px;font-size:13px}.forum-more a{color:var(--hn-grey)}.forum-footer{border-top:2px solid var(--maroon);text-align:center;color:var(--hn-grey);margin:18px 12px 0;padding-top:8px;font-size:11px}.forum-footer a{color:var(--hn-grey)}.forum-item-title{font-size:14.5px;font-weight:700}.forum-item-text{max-width:88ch;margin:8px 0;font-size:13.5px}.page-narrow{max-width:720px}.form-block label{margin:16px 0 4px;font-size:13.5px;font-weight:700;display:block}.form-block .hint{color:var(--muted);margin:2px 0 4px;font-size:12.5px;font-weight:400}.form-block input[type=text],.form-block input[type=email],.form-block input[type=password],.form-block input[type=url],.form-block select,.form-block textarea{background:#fff;border:1px solid #b9b4a7;border-radius:2px;width:100%;max-width:640px;padding:7px 9px;font-family:inherit;font-size:14px}.form-block textarea{min-height:110px;line-height:1.5}.form-block textarea.md-input{min-height:150px;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:13px}.form-block .checks{columns:2;max-width:640px;font-size:13.5px}.form-block .checks label{break-inside:avoid;margin:2px 0;font-weight:400;display:block}.form-block .checks-scroll{border:1px solid var(--border);background:#fff;max-height:260px;padding:8px 10px;font-size:12.5px;overflow-y:auto}.form-block input[type=file]{max-width:100%}@media (max-width:640px){.form-block .checks{columns:1}}fieldset{border:1px solid var(--border);background:#fffefb;max-width:700px;margin:24px 0;padding:4px 18px 16px}fieldset legend{padding:0 8px;font-size:14.5px;font-weight:700}fieldset .fieldset-sub{color:var(--muted);margin:2px 0 0;font-size:12.5px}.btn{background:var(--maroon);cursor:pointer;border:none;border-radius:3px;padding:8px 16px;font-family:inherit;font-size:14px;display:inline-block;color:#fff!important;text-decoration:none!important}.btn:hover{background:var(--maroon-dark)}.btn-secondary{border:1px solid var(--maroon);background:#fff;padding:7px 15px;color:var(--maroon)!important}.btn-secondary:hover{background:#fdf3f3}.btn-small{padding:4px 10px;font-size:12.5px}.linklike{color:var(--link);font-size:inherit;cursor:pointer;background:0 0;border:none;padding:0;font-family:inherit}.linklike:hover{text-decoration:underline}.form-error{color:var(--maroon-dark);background:#fdf0f0;border:1px solid #dfa8a8;max-width:640px;margin:14px 0;padding:9px 13px;font-size:13.5px}.form-success{color:#14652c;background:#eefbf1;border:1px solid #a8d9b4;max-width:640px;margin:14px 0;padding:9px 13px;font-size:13.5px}.notice{background:var(--card);border:1px solid var(--border);max-width:720px;margin:14px 0;padding:10px 14px;font-size:13.5px}.profile-table{border-collapse:collapse;font-size:14px}.profile-table td{vertical-align:top;padding:3px 0}.profile-table td.label{color:var(--muted);white-space:nowrap;padding-right:18px}.badge-tag{color:var(--maroon);background:#fdf3f3;border:1px solid #e5b6b6;border-radius:10px;margin:0 6px 4px 0;padding:1px 8px;font-size:12px;display:inline-block}.digest-datenav{color:var(--muted);margin-bottom:14px;font-size:13px}.digest-card{border:1px solid var(--border);background:#fff;margin-bottom:14px;padding:14px 18px}.digest-card.pick{background:#fffdf7;border-color:#e0cfa6}.digest-card .dc-title{font-size:16px;font-weight:700}.digest-card .dc-authors{color:var(--muted);margin:2px 0 6px;font-size:13px}.digest-card .dc-summary{max-width:80ch;font-size:14px}.subscribe-row{flex-wrap:wrap;gap:8px;margin-top:8px;display:flex}.subscribe-row input[type=email]{border:1px solid #b9b4a7;border-radius:2px;width:220px;padding:7px 9px;font-size:13.5px}.subscribe-row select{border:1px solid #b9b4a7;border-radius:2px;padding:6px;font-size:13px}.admin-table{border-collapse:collapse;width:100%;margin:10px 0 24px;font-size:13.5px}.admin-table th,.admin-table td{border:1px solid var(--border);text-align:left;vertical-align:top;padding:6px 10px}.admin-table th{background:var(--cream)}.cat-group{margin:22px 0}.cat-group-title{border-bottom:1px solid var(--border);margin-bottom:8px;padding-bottom:4px;font-size:16px}.cat-group-soon .cat-group-title{color:var(--muted)}.cat-columns{columns:3;column-gap:28px;max-width:1050px;margin:0;padding:0;font-size:13px;list-style:none}.cat-columns li{break-inside:avoid;margin-bottom:3px}@media (max-width:900px){.cat-columns{columns:2}}@media (max-width:600px){.cat-columns{columns:1}}.cat-soon-link{color:#8a8a8a}.cat-inline a{white-space:nowrap;margin-right:7px;font-size:12px}.muted{color:var(--muted)}.small{font-size:12.5px}.mono{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.92em}hr.rule{border:none;border-top:1px solid var(--border);margin:24px 0}.inline-form{display:inline}mjx-container{max-width:100%;overflow:auto hidden}