@font-face{font-family:ET Book;src:url(../../../fonts/et-book-roman-line-figures.woff)format("woff");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:ET Book;src:url(../../../fonts/et-book-display-italic-old-style-figures.woff)format("woff");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:ET Book;src:url(../../../fonts/et-book-bold-line-figures.woff)format("woff");font-weight:700;font-style:normal;font-display:swap}:root{--paper:#fffff8;--ink:#111;--gray:#767676;--faint:#ccc;--red:#a00000}html{background:var(--paper);color:var(--ink);font-family:ET Book,Palatino,Palatino Linotype,Georgia,serif;font-size:15px;line-height:1.55}body{flex-direction:column;min-height:100dvh;margin:0;display:flex}main{flex:1 0 auto;width:100%;max-width:1100px;margin:0 auto;padding:3.5rem calc(2rem + 260px) 5rem 2rem;position:relative}h1{letter-spacing:.12em;margin:0;font-size:1.9rem;font-weight:400}a{color:var(--red);text-decoration:none}a:hover{text-decoration:underline}.subtitle{color:var(--gray);margin:.2rem 0 1.2rem;font-style:italic}.receipt{color:var(--gray);border-top:1px solid var(--faint);border-bottom:1px solid var(--faint);padding:.4rem 0;font-size:.9rem}nav.tiers{font-variant:small-caps;letter-spacing:.06em;margin:1.4rem 0 .6rem}nav.tiers a,nav.tiers .current{margin-right:1.2rem}nav.tiers .current{color:var(--ink);border-bottom:1px solid var(--ink)}nav.tiers a{color:var(--gray)}table{border-collapse:collapse;font-variant-numeric:tabular-nums;width:100%}thead th{font-variant:small-caps;letter-spacing:.05em;text-align:left;color:var(--gray);border-top:1px solid var(--ink);border-bottom:1px solid var(--faint);padding:.35rem 1.3rem .35rem 0;font-weight:400}tbody td{vertical-align:top;padding:.45rem 1.3rem .45rem 0}tbody tr{cursor:pointer}table tbody tr:last-child td{border-bottom:1px solid var(--ink)}thead .sorth{white-space:nowrap;font:inherit;font-variant:small-caps;letter-spacing:.05em;color:inherit;cursor:pointer;background:0 0;border:none;padding:0}thead .sorth:hover{color:var(--ink)}th.num,td.num{text-align:right;white-space:nowrap}thead th:last-child,tbody td:last-child{padding-right:0}td.headline{text-align:right;font-size:1.25rem}td .whisker{margin-top:.1rem;line-height:1;display:block}td.who{white-space:nowrap}td.rank{color:var(--gray)}.model{color:var(--gray);font-size:.8rem}tr.unranked td{color:var(--gray)}tr.detail td{cursor:default;border-bottom:1px solid var(--faint);padding:.8rem .6rem 1.1rem 0}.mono{font-family:SF Mono,Menlo,Consolas,monospace;font-size:.75rem}.sidenote{float:right;clear:right;width:250px;color:var(--gray);margin-bottom:.9rem;margin-right:-290px;font-size:.8rem;font-style:italic;line-height:1.4}.tablewrap{overflow-x:auto}.page{grid-template-columns:130px minmax(0,1fr);align-items:start;column-gap:2.5rem;display:grid}.side{z-index:20;padding-top:.4rem;position:sticky;top:1.5rem}.side h3{font-variant:small-caps;letter-spacing:.08em;color:var(--gray);border-bottom:1px solid var(--faint);justify-content:space-between;align-items:baseline;margin:1.4rem 0 .35rem;padding-bottom:.15rem;font-size:1rem;font-weight:400;display:flex}.side h3:first-child{margin-top:0}.side a,.side .current{font-variant:small-caps;letter-spacing:.05em;padding:.1rem 0;font-size:.9rem;display:block}.side .current{color:var(--ink);border-bottom:1px solid var(--ink);width:fit-content}@media (width<=900px){.page{grid-template-columns:minmax(0,1fr)}.side{position:static}.side nav{flex-wrap:wrap;align-items:baseline;gap:0 1.2rem;display:flex}.side h3{border-bottom:none;margin:0}.side a,.side .current{display:inline-block}main{box-sizing:border-box;padding-right:2rem}.sidenote{float:none;width:auto;margin:.4rem 0;display:block}}svg{max-width:100%;height:auto}@media (width<=640px){main{padding-left:1.15rem;padding-right:1.15rem}table.cards thead{display:none}table.cards,table.cards tbody{display:block}table.cards tbody tr{border:1px solid var(--faint);flex-wrap:wrap;align-items:baseline;column-gap:.5rem;margin:.7rem 0;padding:.7rem .8rem;display:flex}table.cards tbody tr:last-child td{border-bottom:none}table.cards tbody td{text-align:left;white-space:normal;width:100%;padding:.16rem 0;display:block}table.cards td.rank{font-variant:small-caps;letter-spacing:.05em;width:auto;font-size:.85rem}table.cards td.who{flex:auto;width:auto;font-size:1.05rem}table.cards td[data-label]{align-items:baseline;gap:.4rem;display:flex}table.cards td[data-label]:before{content:attr(data-label);font-variant:small-caps;letter-spacing:.05em;color:var(--gray);white-space:nowrap;margin-right:auto;padding-right:1rem;font-size:.85rem}table.cards td.headline{text-align:left;font-size:1.25rem}table.cards tbody tr.detail{border:none;margin:-.5rem 0 .7rem;padding:0 .2rem .6rem}table.cards tbody tr.detail td{padding:0}table.cards tbody td:empty{display:none}table.cards tbody tr.group{border:none;margin:1.2rem 0 0;padding:0;display:block}table.cards tbody tr.group td{padding:0}}html,body{max-width:100%;overflow-x:hidden}.app{border:none;border-radius:0;width:100%;max-width:none;margin:0}.app-top{border-bottom:1px solid var(--faint);flex-wrap:wrap;align-items:center;gap:10px 12px;padding:14px 22px;display:flex}.app-top .proj{letter-spacing:.02em;font-weight:700}.pill{border:1px solid var(--faint);color:var(--gray);cursor:default;white-space:nowrap;border-radius:0;padding:3px 10px;font-size:12px}.select{border:1px solid var(--faint);color:var(--gray);background:var(--paper);font-size:12px;font:inherit;cursor:pointer;appearance:none;background-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='10' height='6'%3E%3Cpath d='M0 0l5 6 5-6z' fill='%23767676'/%3E%3C/svg%3E");background-position:right 9px center;background-repeat:no-repeat;border-radius:0;padding:3px 24px 3px 10px}.select:hover,.select:focus{color:var(--ink);border-color:var(--gray)}.btn{border:1px solid var(--ink);background:var(--ink);color:var(--paper);font:inherit;cursor:pointer;white-space:nowrap;border-radius:0;padding:4px 14px;font-size:12px;font-weight:600}.btn:hover{opacity:.85}.btn.ghost{color:var(--ink);border-color:var(--ink);background:0 0}.btn.ghost:hover{opacity:1;background:#f0efe6}.app-body{flex-wrap:wrap;display:flex}.nav{border-right:1px solid var(--faint);flex-direction:column;flex:0 0 160px;gap:11px;padding:20px 16px;display:flex}.nav a{color:var(--gray);cursor:pointer;font-size:13px;text-decoration:none}.nav a:hover{color:var(--ink)}.nav a.on{color:var(--ink);font-weight:700}.main{flex:1 1 0;min-width:0;padding:22px 28px}.toolbar{border-bottom:1px solid var(--faint);flex-wrap:wrap;align-items:center;gap:10px;margin-bottom:22px;padding-bottom:16px;display:flex}.tiles{border:1px solid var(--faint);flex-wrap:nowrap;gap:0;margin-bottom:22px;display:flex}.tile{border-left:1px solid var(--faint);flex:1 1 0;min-width:0;padding:12px 16px}.tile:first-child{border-left:none}@media (width<=820px){.tiles{flex-wrap:wrap}.tile{flex:140px}}.tile .k{text-transform:uppercase;color:var(--gray);letter-spacing:.04em;font-size:11px}.tile .v{font-size:26px;font-weight:700}.tile .d{font-size:12px}.tile .sub{color:var(--gray);margin-top:2px;font-size:11px}.tile.primary .v{font-size:30px}.tile.muted .v{color:var(--gray)}.tile.callout .v{color:var(--red)}.up{color:#2c7a2c}.down{color:var(--red)}.pm{color:var(--gray);font-size:11px}.chartwrap{border-top:1px solid var(--faint);box-sizing:border-box;width:100%;margin-bottom:20px;padding:16px 2px}table.tbl{border-collapse:collapse;width:100%;font-size:13px}.tbl td,.tbl th{text-align:left;border-bottom:1px solid var(--faint);padding:7px 8px}.tbl th{color:var(--gray);text-transform:uppercase;letter-spacing:.04em;font-size:10px;font-weight:600}.mini{vertical-align:middle;background:#eee;border-radius:0;width:80px;height:6px;display:inline-block;position:relative}.mini b{background:#2c7a2c;border-radius:0;position:absolute;top:0;bottom:0;left:0}.tbl.breakdown{table-layout:fixed}.tbl.breakdown th:first-child,.tbl.breakdown td:first-child{width:28%}.tbl.breakdown th:nth-child(2),.tbl.breakdown td:nth-child(2){width:15%}.tbl.breakdown th:nth-child(3),.tbl.breakdown td:nth-child(3){width:13%}.tbl.breakdown th:nth-child(4),.tbl.breakdown td:nth-child(4){width:30%}.tbl.breakdown th:nth-child(5),.tbl.breakdown td:nth-child(5){width:14%}.tbl.breakdown td svg{width:100%;max-width:170px;height:24px;display:block}.cols{border-top:1px solid var(--faint);flex-wrap:wrap;gap:0;display:flex}.qlist{border-right:1px solid var(--faint);flex:260px;min-width:220px;max-height:460px;overflow:auto}.filters{border-bottom:1px solid var(--faint);gap:6px;padding:8px 12px;display:flex}.filters button{border:1px solid var(--faint);color:var(--gray);cursor:pointer;background:0 0;border-radius:0;padding:2px 9px;font-size:11px}.filters button.on{color:var(--ink);border-color:var(--ink)}.q{border-bottom:1px solid var(--faint);cursor:pointer;text-align:left;background:0 0;align-items:center;gap:8px;width:100%;padding:8px 12px;display:flex}.q.sel{background:#f6f6ee}.q .nl{flex:1;min-width:0}.ax{white-space:nowrap;font-family:ui-monospace,monospace;font-size:11px}.ok{color:#2c7a2c}.no{color:var(--red)}.tag{white-space:nowrap;text-transform:uppercase;letter-spacing:.03em;border:1px solid;border-radius:0;padding:1px 6px;font-size:10px}.tag.tier{color:var(--gray);border-color:var(--faint);font-weight:600}.tag.reg{color:var(--red);border-color:var(--red)}.tag.fix{color:#2c7a2c;border-color:#2c7a2c}.tag.unsound{color:#b8860b;border-color:#b8860b}.tag.equiv{color:var(--gray);border-color:var(--faint)}.tag.risk{color:var(--red);border-color:var(--red)}.tag.flaky{color:#7a4fb5;border-color:#7a4fb5}.attempts-row{flex-wrap:wrap;align-items:center;gap:6px;margin:4px 0;display:flex}.attempt-mark{font-family:ui-monospace,monospace;font-size:13px;font-weight:700}.attempt-mark.ok{color:#2c7a2c}.attempt-mark.no{color:var(--red)}.receipt{box-sizing:border-box;flex:340px;min-width:340px;max-height:460px;padding:16px;font-size:13px;overflow:auto}.k{text-transform:uppercase;color:var(--gray);letter-spacing:.04em;margin-top:12px;font-size:10px}.code{white-space:pre-wrap;word-break:break-word;background:#f4f4ec;border-radius:0;margin:4px 0;padding:8px 10px;font-family:ui-monospace,monospace;font-size:11px}.judge{border-left:2px solid #b8860b;margin-top:6px;padding:6px 10px 6px 12px}.tabs{border-bottom:1px solid var(--faint);flex-wrap:wrap;gap:18px;padding:10px 2px;font-size:13px;display:flex}.tabs button{color:var(--gray);cursor:pointer;font:inherit;background:0 0;border:none;padding:0}.tabs button.on{color:var(--ink);font-weight:700}.drawer{box-sizing:border-box;flex:340px;min-width:340px;padding:16px}.input{border:1px solid var(--faint);background:var(--paper);word-break:break-word;border-radius:0;padding:7px 9px}.suggested{border-left:2px solid #3b6;margin-top:4px;padding:6px 10px 6px 12px;font-size:12px}.adjudicate{border-top:1px solid var(--faint);margin-top:14px;padding-top:12px}.adjudicate .actions{flex-wrap:wrap;gap:8px;margin-top:8px;display:flex}.cta{background:var(--ink);color:var(--paper);border:1px solid var(--ink);font:inherit;cursor:pointer;border-radius:0;margin-top:14px;padding:8px 16px;font-weight:600}.cta:hover{opacity:.85}@media (width<=860px){.cols{flex-direction:column}.qlist{border-right:none;border-bottom:1px solid var(--faint);flex:auto;min-width:0;max-height:320px}.receipt,.drawer{flex:auto;min-width:0;max-height:none}}@media (width<=640px){.app-body{flex-direction:column}.nav{border-right:none;border-bottom:1px solid var(--faint);flex-flow:wrap;flex:none;gap:14px;padding:12px 16px}.main{padding:16px}.app-top{padding:12px 16px}}.marker-line{stroke:var(--faint);stroke-width:1px}.marker-label{fill:var(--gray);font-size:9px;font-style:italic}.tl-dot{cursor:pointer}.toast{background:var(--ink);color:var(--paper);z-index:1000;border-radius:0;padding:10px 18px;font-size:13px;animation:.18s ease-out toast-in;position:fixed;bottom:24px;left:50%;transform:translate(-50%)}@keyframes toast-in{0%{opacity:0;transform:translate(-50%,6px)}to{opacity:1;transform:translate(-50%)}}.tooltip{pointer-events:none;z-index:900;background:var(--paper);color:var(--ink);border:1px solid var(--gray);border-radius:0;max-width:220px;padding:8px 10px;font-size:12px;line-height:1.5;position:fixed}.tooltip .k{margin-top:4px}.tsel-trigger{border:1px solid var(--faint);background:var(--paper);font:inherit;color:var(--gray);cursor:pointer;white-space:nowrap;border-radius:0;align-items:center;gap:8px;padding:4px 10px;font-size:12px;display:inline-flex}.tsel-trigger:hover,.tsel-trigger[data-state=open]{color:var(--ink);border-color:var(--gray)}.tsel-trigger:focus{outline:none}.tsel-trigger:focus-visible{outline:1px solid var(--ink);outline-offset:1px}.tsel-label{color:var(--ink)}.tsel-caret{color:var(--gray);font-size:9px}.tsel-content{background:var(--paper);border:1px solid var(--gray);min-width:var(--bits-select-anchor-width);z-index:1100;border-radius:0;max-height:280px;padding:2px;overflow-y:auto}.tsel-item{color:var(--ink);cursor:pointer;-webkit-user-select:none;user-select:none;border-radius:0;outline:none;justify-content:space-between;align-items:center;gap:16px;padding:5px 10px;font-size:12px;display:flex}.tsel-item[data-highlighted]{background:#f0efe6}.tsel-item[data-selected]{font-weight:700}.tsel-check{color:var(--gray);font-size:11px}.auth-page.svelte-12qhfyh{max-width:30rem;margin:0 auto;padding:4rem 2rem}.gate.svelte-12qhfyh{color:var(--gray);font-style:italic}.gate-copy.svelte-12qhfyh{margin-bottom:1.6rem}.proj.svelte-12qhfyh{color:var(--ink);text-decoration:none}.linkish.svelte-12qhfyh{cursor:pointer;color:var(--red);font:inherit;background:0 0;border:none;margin-top:1rem;padding:0}.linkish.svelte-12qhfyh:hover{text-decoration:underline}