/* Selection focus: statement differences and a vertical list of saved candidates. */
.result-sheet { display: grid; gap: 8px; font-size: 11px; line-height: 1.3; color: #263244; }
.rs-prov { margin-left: auto; color: #94a3b8; font-size: 12px; cursor: help; }

/* Box: head line with the label at the left, the state mark, then the link into the owning view. */
.rs-box { display: grid; gap: 5px; padding-top: 6px; border-top: 1px solid #e3e7ec; }
.result-sheet > .rs-box:first-child { padding-top: 0; border-top: 0; }
.rs-box-head { display: flex; align-items: center; gap: 8px; min-height: 16px; }
.rs-box-label { font-size: 9.5px; font-weight: 700; letter-spacing: .06em; text-transform: uppercase; color: #64748b; }
.rs-box-mark { display: inline-flex; align-items: center; gap: 5px; }

/* State dots: the kernel's colour vocabulary. */
.rs-dot { display: inline-block; width: 10px; height: 10px; border-radius: 50%; border: 1.5px solid #64748b; background: #fff; }
.rs-dot-proved { background: #63b58a; border-color: #216748; }
.rs-dot-own { background: #ef476f; border-color: #a91d42; }
.rs-dot-inherited { background: #df8a16; border-color: #92540c; }
.rs-dot-unknown { background: #b5c0cd; border-color: #64748b; }
.rs-dot-none { background: #fff; border-style: dashed; }
.rs-pair { display: inline-flex; align-items: center; gap: 3px; }
.rs-arrow { color: #64748b; font-size: 10px; }
.rs-delta { font-weight: 700; color: #245be0; cursor: help; }

/* Statement: one row per flagged part. */
.rs-rows { display: grid; gap: 2px; }
.rs-diff { display: flex; align-items: center; gap: 6px; margin: 0; padding: 1px 4px 1px 0; border: 0; background: none; font: inherit; font-size: 10.5px; color: #263244; text-align: left; cursor: pointer; border-radius: 2px; }
.rs-diff:hover, .rs-diff:focus-visible { background: #f3f5f8; outline: none; }
.rs-diff-bar { flex: 0 0 3px; align-self: stretch; min-height: 14px; border-radius: 1px; background: #94a3b8; }
.rs-diff-differs .rs-diff-bar { background: #ea580c; }
.rs-diff-one_side .rs-diff-bar { background: repeating-linear-gradient(135deg, #ea580c 0 2px, #fbd5bd 2px 4px); }
.rs-diff-low .rs-diff-bar { background: #94a3b8; }
.rs-q { flex: 0 0 auto; width: 12px; height: 12px; border-radius: 50%; background: #334155; color: #fff; font: 700 9px/12px var(--sans, system-ui); text-align: center; }
.rs-diff-label { flex: 1 1 auto; }
.rs-tag { font-size: 9px; color: #64748b; border: 1px solid #dce2e8; border-radius: 2px; padding: 0 3px; font-family: var(--mono, monospace); }

/* Numbered candidates run top to bottom. Order/height never invent a model score. */
.rs-candidate-routes { display: inline-flex; margin-left: auto; gap: 3px; }
.rs-candidate-routes button { height: 21px; padding: 0 6px; border: 1px solid #dce2e8; border-radius: 3px; background: #fff; color: #64748b; font: 10px var(--sans, system-ui); cursor: pointer; }
.rs-candidate-routes button[aria-pressed="true"] { border-color: #64748b; background: #eef2f6; color: #263244; }
.rs-candidate-routes button:focus-visible { outline: 2px solid #334155; outline-offset: 2px; }
.rs-candidate-caption { color: #7b8798; font-size: 9px; line-height: 1.4; }
.rs-candidate-list { display: grid; list-style: none; margin: 0; padding: 0; }
.rs-candidate { position: relative; display: grid; grid-template-columns: 20px minmax(0, 1fr); gap: 8px; padding: 8px 0; border-top: 1px solid #edf0f4; }
.rs-candidate:first-child { border-top: 0; }
.rs-candidate::before { content: ''; position: absolute; left: 9px; top: 27px; bottom: -9px; width: 1px; background: #dce2e8; }
.rs-candidate:last-child::before { display: none; }
.rs-candidate-rank { position: relative; display: flex; justify-content: center; align-items: center; width: 20px; height: 20px; background: #f1f4f8; border: 1px solid #dce2e8; border-radius: 3px; color: #64748b; font-size: 10px; font-weight: 700; }
.rs-candidate.is-selected .rs-candidate-rank { border-color: #64748b; background: #e5ebf2; color: #263244; }
.rs-candidate-main { min-width: 0; }
.rs-candidate-name { display: flex; flex-wrap: wrap; align-items: baseline; gap: 5px; }
.rs-candidate-name code { font: 600 11px/1.4 var(--mono, monospace); overflow-wrap: anywhere; }
.rs-candidate-list-blueprint .rs-candidate-name code { color: #36558e; }
.rs-candidate-selected { padding: 0 4px; border: 1px solid #dce2e8; border-radius: 3px; color: #64748b; font-size: 9px; }
.rs-candidate-origin { margin-top: 2px; color: #718096; font-size: 9.5px; line-height: 1.4; overflow-wrap: anywhere; }
.rs-candidate-reason { margin-top: 4px; color: #3c4b61; font-size: 11px; line-height: 1.45; overflow-wrap: anywhere; }
.rs-candidate-reason.is-missing { color: #94a3b8; font-size: 10px; }
.rs-candidate-empty { color: #64748b; font-size: 10.5px; line-height: 1.5; padding: 3px 0; }

/* The ladder: tiers joined by a rail; the middle tier is the result itself. */
.rs-ladder { display: grid; gap: 0; padding-left: 10px; }
.rs-tier { position: relative; display: flex; flex-wrap: wrap; align-items: center; gap: 3px 10px; padding: 3px 0 3px 10px; }
.rs-tier::before { content: ''; position: absolute; left: 0; top: 0; bottom: 0; width: 1.5px; background: #cbd5e1; }
.rs-tier-open::before { top: 50%; }
.rs-tier-feeds::before { bottom: 50%; }
.rs-tier:first-child:last-child::before { display: none; }
.rs-tier-self { padding-top: 2px; padding-bottom: 2px; }
.rs-tier-self::after { content: ''; position: absolute; left: -2.5px; top: 50%; width: 6px; height: 6px; margin-top: -3px; border-radius: 50%; background: #64748b; }
.rs-ladder-plan .rs-tier-self::after { display: none; }
.rs-self { display: inline-flex; align-items: center; margin: 0; padding: 0; border: 0; background: none; font: inherit; cursor: pointer; }
.rs-self code { font: 600 11px var(--mono, monospace); color: #263244; }
.rs-self-own code { color: #a91d42; }
.rs-self-inherited code { color: #92540c; }
.rs-self-proved code { color: #216748; }
.rs-self:hover code { text-decoration: underline; }
.rs-root { display: inline-flex; align-items: center; gap: 4px; margin: 0; padding: 0; border: 0; background: none; font: inherit; font-size: 10.5px; color: #263244; cursor: pointer; }
.rs-root:hover .rs-root-name { text-decoration: underline; }
.rs-root-closed { color: #64748b; cursor: default; }
.rs-root-closed .rs-root-name { text-decoration: line-through; }
.rs-root-check { color: #216748; font-weight: 700; }
.rs-mono { font: 10.5px var(--mono, monospace); }
.rs-shared { font-size: 9.5px; font-weight: 700; color: #a91d42; }
.rs-chip { display: inline-flex; align-items: center; gap: 4px; margin: 0; padding: 0; border: 0; background: none; font: inherit; font-size: 10.5px; color: #263244; cursor: pointer; }
.rs-chip:hover { text-decoration: underline; }
.rs-chip .pv-square { width: 12px; height: 12px; font-size: 9px; line-height: 9px; }
.rs-chip sup { color: #a91d42; font-weight: 700; font-size: 9px; line-height: 1; }

/* Blueprint: author's claims above Lean's checks, three columns; the plan ladder below. */
.rs-bp-name { font: 600 11px var(--mono, monospace); color: #36558e; }
.rs-grid { display: grid; grid-template-columns: 44px repeat(3, 52px); gap: 2px 4px; align-items: center; justify-items: center; font-size: 9.5px; }
.rs-grid-col { color: #64748b; }
.rs-grid-row { justify-self: start; color: #475569; font-weight: 600; }
.rs-tick { font-size: 12px; font-weight: 700; line-height: 1; cursor: help; }
.rs-tick-yes { color: #216748; }
.rs-tick-no { color: #a91d42; }
.rs-tick-na { color: #cbd5e1; }
.rs-grid-diverges { background: #fff7ea; border-radius: 3px; padding: 2px 0; }
.rs-plan-square { display: inline-block; width: 12px; height: 12px; border: 1.5px solid #36558e; border-radius: 1px; background: #fff; }
.rs-state-proved { background: #63b58a; }
.rs-state-own { background: #ef476f; }
.rs-state-inherited { background: #df8a16; }
.rs-state-unknown { background: #b5c0cd; }
.rs-state-external { background: #cbd5e1; border-style: dashed; }
.rs-state-no_lean { background: #fff; }
.rs-bar { display: flex; width: 100%; height: 9px; border: 1px solid #cbd5e1; border-radius: 2px; overflow: hidden; }
.rs-bar > span { display: block; min-width: 2px; }
.rs-bar > .rs-state-no_lean { background: repeating-linear-gradient(135deg, #fff 0 3px, #dfe5ec 3px 4px); }

/* Task controls in the coverage header. */
.paper-left-mode-status { font-size: 10px; color: #64748b; align-self: center; }
.paper-left-mode-status.is-error { color: #a91d42; }