.loading-lines{min-width:0}.loading-line-slot{align-items:center;height:32px;display:flex}.loading-mark{background:var(--border-default,#deded9);border-radius:3px;width:70%;max-width:280px;height:10px;display:block}[data-visible=false] .loading-mark{visibility:hidden}.loading-rows td{height:40px}.loading-rows td:first-child .loading-mark{width:64%}.loading-search{height:33px}.loading-search .loading-lines{width:100%}.reader-loading{width:min(100%,850px);margin:0 auto;padding:48px 60px}.reader-loading-title .loading-line-slot{height:44px}.reader-loading-title .loading-mark{width:70%;max-width:480px;height:25px}.reader-loading-actions{margin:28px 0 36px}.reader-loading-actions .loading-mark{width:80%;max-width:500px;height:30px}.reader-loading>.loading-lines:last-child .loading-line-slot{height:42px}.reader-loading>.loading-lines:last-child .loading-mark{width:95%;max-width:none}.reader-loading>.loading-lines:last-child .loading-line-slot:nth-child(3n) .loading-mark{width:62%}.sidebar-account-loading{height:33px;margin-top:auto}.sidebar-methods-loading{flex:1;overflow:hidden}.sidebar-methods-loading>.loading-lines{padding-inline:8px}.method-run-meta-slot{grid-column:1/-1;min-height:18px;font-size:12px}.method-run-meta-slot .loading-line-slot{height:18px}.method-run-meta-slot .loading-mark{width:100px}.method-version-controls{min-width:230px;min-height:34px}.method-version-controls .version-controls-loading{width:120px}.method-version-controls .version-controls-loading .loading-mark{width:100%}@media (width<=640px){.reader-loading{padding:38px 28px}}.run-toolbar-loading{padding:22px 24px 0}.run-toolbar-loading .loading-line-slot{height:34px}.run-toolbar-loading .loading-line-slot:first-child .loading-mark{width:70%;max-width:none;height:24px}.run-toolbar-loading .loading-line-slot:last-child .loading-mark{width:160px}.reader-loading-run{padding-top:24px}@media (width<=1000px){.run-toolbar-loading .loading-line-slot:first-child{height:80px}}@media (width<=640px){.run-toolbar-loading{padding:18px 12px 0}.run-toolbar-loading .loading-line-slot:first-child{height:114px}}.improvement-error{color:var(--status-error);font-size:12.5px}.improvement-slot{color:var(--text-secondary);flex-wrap:wrap;align-items:center;gap:4px 12px;font-size:13px;display:inline-flex}.method-proofs{color:var(--text-subtle);flex-basis:100%;grid-column:1/-1;margin:0;padding:0;font-size:12px;line-height:18px;list-style:none}.improvement-slot a{color:inherit;text-underline-offset:3px;text-decoration:underline}.reader-workspace .document-meta.method-meta-row{flex-wrap:wrap;grid-column:1/-1;align-items:center;gap:4px 18px;display:flex}.method-meta-row .method-version-controls,.method-meta-row .method-run-meta-slot{grid-column:auto}.verdict{white-space:nowrap;vertical-align:1px;border-radius:999px;padding:1px 9px;font-size:11.5px;font-weight:600;display:inline-block}.verdict.is-strong{color:#fff;background:#6c956d}.verdict.is-weak{background:var(--status-waiting-surface);color:var(--status-waiting)}.prop{max-width:880px}.crumb{color:var(--text-subtle);font-size:12.5px}.crumb a{color:inherit;text-underline-offset:3px;text-decoration:underline}.prop-title{text-wrap:balance;margin:-6px 0 0;font-size:24px;font-weight:500}.prop-act{background:#0000000a;border-radius:12px;justify-content:space-between;align-items:center;gap:16px;padding:12px 14px;display:flex}.prop-act.done{background:var(--action-soft)}.prop-act .why{min-width:0;color:var(--text-secondary);flex:1;line-height:1.5}.prop-act code{font-family:var(--font-mono);font-size:11.5px}.pq{color:var(--text-secondary);margin:0;padding:10px 16px 2px;line-height:1.5}.pq code{font-family:var(--font-mono);font-size:11.5px}.prop .method-file-diff{margin:10px 16px 0}.proposal-cases{gap:2px;list-style:none;display:grid}.proposal-cases li[data-after=fail]{color:var(--status-error)}.proposal-example{color:var(--text-secondary);border-top:.5px solid #0000000d;margin:10px 16px 0;padding-top:8px;font-size:12.5px}.proposal-example p{overflow-wrap:anywhere;white-space:pre-wrap;margin:4px 0}.proposal-example-pair{grid-template-columns:1fr 1fr;gap:16px;display:grid}@media (width<=640px){.proposal-example-pair{grid-template-columns:1fr}.prop-act{flex-direction:column;align-items:stretch}}.method-placement{margin-bottom:24px}.method-placement h2{margin:0 0 8px;font-size:15px;font-weight:500}.placement-choice{border:0;flex-wrap:wrap;align-items:center;gap:16px;margin:0 0 6px;padding:0;font-size:13px;display:flex}.placement-choice legend{float:left;color:var(--text-subtle);margin-right:8px}.placement-choice label{cursor:pointer;align-items:center;gap:6px;display:inline-flex}.placement-choice input{accent-color:var(--action-primary)}.placement-choice label:has(input:disabled){color:var(--text-subtle);cursor:default}.placement-note{color:var(--text-subtle);margin:4px 0 0;font-size:12px}