/* /history/coverage/ and /history/coverage/cells/ */
.cv-legend ul { list-style: none; padding: 0; margin: 0 0 var(--space-5); display: grid; gap: var(--space-2); }
.cv-legend li { display: flex; align-items: flex-start; gap: var(--space-3); margin: 0; }
.cv-legend .cv-sw { flex: none; margin-top: 2px; }
.cv-figure { margin: var(--space-4) 0; }
.cv-box { display: flex; border: 1px solid var(--c-line); border-radius: var(--radius-card); background: var(--c-surface); overflow: hidden; }
.cv-names { flex: none; width: 6.75rem; border-right: 1px solid var(--c-line); background: var(--c-surface); }
.cv-axis-pad { height: 24px; }
.cv-name { height: 34px; display: flex; align-items: center; padding: 0 var(--space-1) 0 var(--space-2); font-size: 11.5px; line-height: 14px; font-weight: 600; overflow: hidden; }
.cv-name:nth-child(odd) { background: var(--c-surface2); }
.cv-scroll { flex: 1; min-width: 0; overflow-x: auto; overscroll-behavior-x: contain; }
.cv-scroll:focus-visible, .cv-tablewrap:focus-visible { outline: 3px solid var(--c-focus); outline-offset: -3px; }
.cv-svg { display: block; max-width: none; }
.cv-svg text { fill: var(--c-fg); font-size: 12px; font-weight: 600; }
.cv-track { fill: transparent; }
.cv-track.alt { fill: var(--c-surface2); }
.cv-gap { fill: var(--c-surface2); stroke: var(--c-line); stroke-width: 1; }
.cv-tick { stroke: var(--c-line); stroke-width: 1; opacity: 0.7; }
.cv-box-out { fill: var(--c-bg); stroke: var(--c-fg); stroke-width: 1; }
.cv-full { fill: var(--c-accent); stroke: var(--c-fg); stroke-width: 1; }
.cv-witness { fill: url(#cv-hatch); stroke: var(--c-fg); stroke-width: 1; }
.cv-witness.cv-k { fill: url(#cv-hatch-k); }
.cv-hatch-bg { fill: var(--c-bg); }
.cv-hatch-line { stroke: var(--c-fg); stroke-width: 2; }
.cv-cat { fill: var(--c-fg); stroke: none; }
.cv-bar { fill: var(--c-fg); stroke: var(--c-bg); stroke-width: 1; }
.cv-tablewrap { overflow-x: auto; max-width: 100%; margin: 0 0 var(--space-4); border: 1px solid var(--c-line); border-radius: var(--radius-card); }
.cv-table { border-collapse: collapse; width: 100%; font-size: 14px; }
.cv-table caption { text-align: left; font-weight: 700; padding: var(--space-2); }
.cv-table th, .cv-table td { text-align: left; padding: var(--space-1) var(--space-2); border-top: 1px solid var(--c-line); vertical-align: top; }
.cv-table thead th { background: var(--c-surface2); border-top: 0; }
.cv-table td code { overflow-wrap: anywhere; font-size: 12px; }
.cv-cells { min-width: 46rem; }
.cv-code { margin: 0 0 var(--space-4); }
.cv-dl { margin: 0; }
.cv-dl > div { display: flex; flex-wrap: wrap; gap: var(--space-1) var(--space-3); padding: var(--space-1) 0; border-top: 1px solid var(--c-line); }
.cv-dl dt { font-weight: 700; min-width: 9rem; }
.cv-dl dd { margin: 0; flex: 1 1 14rem; overflow-wrap: anywhere; }
.cv-jump a { display: inline-flex; align-items: center; min-height: var(--space-target); }
.cv-jump { list-style: none; padding: 0; margin: 0 0 var(--space-4); display: flex; flex-wrap: wrap; gap: var(--space-1) var(--space-3); }
@media (min-width: 720px) { .cv-names { width: 13rem; } .cv-name { font-size: 13px; } }