/* The coverage figure on the home page (docs/javascripts/coverage.js).
   Colours are status, and every status also has a text label. */

.cov {
  --cov-learns: #2e7d32;
  --cov-rising: #8d7b00;
  --cov-flat: #7b8792;
  --cov-collapses: #c62828;
  --cov-reference: #3d4852;
  --cov-ink: var(--md-default-fg-color, #1f2328);
  --cov-ink-soft: var(--md-default-fg-color--light, #5b6570);
  --cov-ground: var(--md-default-bg-color, #fff);
  --cov-rule: var(--md-default-fg-color--lightest, #e3e6ea);
  margin: 1.6em 0 2em;
  font-size: 0.72rem;
  color: var(--cov-ink);
}

[data-md-color-scheme="slate"] .cov {
  --cov-learns: #66bb6a;
  --cov-rising: #d4c14a;
  --cov-flat: #8e9aa6;
  --cov-collapses: #ef5350;
  --cov-reference: #b0bec5;
}

.cov-scroll {
  overflow-x: auto;
  padding-bottom: 0.4rem;
}

/* Four task columns across the text width; each policy-algorithm pair is a
   label line above its row, so the cells get the whole width. */
.cov-grid {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 0.5rem;
  min-width: 30rem;
  align-items: stretch;
}

.cov-colhead,
.cov-rowhead {
  font-size: 0.66rem;
  color: var(--cov-ink-soft);
  letter-spacing: 0.01em;
}

.cov-colhead {
  font-weight: 700;
  align-self: end;
  padding: 0 0.1rem;
}

.cov-rowhead {
  grid-column: 1 / -1;
  margin-top: 0.45rem;
  font-family: var(--md-code-font-family, monospace);
}

.md-typeset .cov-cell {
  --cov-c: var(--cov-flat);
  display: flex;
  flex-direction: column;
  width: auto;
  max-width: none;
  margin: 0;
  text-align: left;
  border: 3px solid var(--cov-c);
  border-radius: 6px;
  background: var(--cov-ground);
  overflow: hidden;
  cursor: pointer;
  outline-offset: 3px;
}

.md-typeset .cov-cell figcaption {
  margin: 0;
  max-width: none;
  font-style: normal;
  text-align: left;
}

.cov-cell:focus-visible {
  outline: 2px solid var(--md-accent-fg-color, #526cfe);
}

.md-typeset .cov-cell[data-status="learns"] { --cov-c: var(--cov-learns); }
.md-typeset .cov-cell[data-status="rising"] { --cov-c: var(--cov-rising); }
.md-typeset .cov-cell[data-status="flat"],
.md-typeset .cov-cell[data-status="runs"],
.md-typeset .cov-cell[data-status="holds"] { --cov-c: var(--cov-flat); }
.md-typeset .cov-cell[data-status="collapses"] { --cov-c: var(--cov-collapses); }
.md-typeset .cov-cell[data-status="reference"] { --cov-c: var(--cov-reference); }

.cov-media {
  position: relative;
  aspect-ratio: 1 / 1;
  background: #10151a;
}

.cov-media img,
.cov-media video {
  position: absolute;
  inset: 0;
  width: 100%;
  height: 100%;
  object-fit: cover;
  display: block;
}

.cov-media video { opacity: 0; }
.cov-cell.is-playing .cov-media video { opacity: 1; }

.cov-chip {
  position: absolute;
  top: 0.35rem;
  left: 0.35rem;
  padding: 0.12rem 0.4rem;
  border-radius: 3px;
  background: var(--cov-c);
  color: #fff;
  font-weight: 700;
  font-size: 0.62rem;
  letter-spacing: 0.02em;
  line-height: 1.3;
}

.cov-play,
.cov-speed {
  position: absolute;
  bottom: 0.35rem;
  padding: 0.1rem 0.35rem;
  border-radius: 3px;
  background: rgba(0, 0, 0, 0.55);
  color: #fff;
  font-size: 0.6rem;
  line-height: 1.3;
}

.cov-play { left: 0.35rem; }
.cov-speed { right: 0.35rem; }
.cov-cell.is-playing .cov-play { display: none; }

.cov-body {
  flex: 1;
  padding: 0.35rem 0.45rem 0.45rem;
  display: flex;
  flex-direction: column;
  gap: 0.25rem;
}

.cov-body .cov-links { margin-top: auto; }

.cov-spark {
  width: 100%;
  height: 1.7rem;
  display: block;
  overflow: visible;
}

.cov-spark polyline {
  fill: none;
  stroke: var(--cov-c);
  vector-effect: non-scaling-stroke;
  stroke-linejoin: round;
}

.cov-spark .seed { stroke-width: 1; opacity: 0.35; }
.cov-spark .mean { stroke-width: 2; }

.cov-note {
  line-height: 1.35;
  font-variant-numeric: tabular-nums;
}

.cov-links {
  color: var(--cov-ink-soft);
  font-size: 0.62rem;
}

.cov-links a { margin-right: 0.35rem; }

.cov-legend {
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem 1rem;
  margin: 0.8rem 0 0;
  color: var(--cov-ink-soft);
}

.cov-legend span::before {
  content: "";
  display: inline-block;
  width: 0.7rem;
  height: 0.7rem;
  margin-right: 0.35rem;
  border: 3px solid var(--cov-c);
  border-radius: 3px;
  vertical-align: -0.12rem;
}

.cov-legend [data-status="learns"] { --cov-c: var(--cov-learns); }
.cov-legend [data-status="rising"] { --cov-c: var(--cov-rising); }
.cov-legend [data-status="flat"] { --cov-c: var(--cov-flat); }
.cov-legend [data-status="collapses"] { --cov-c: var(--cov-collapses); }

/* The selected cell, and the panel with its two commands. */
.md-typeset .cov-cell.is-selected {
  box-shadow: 0 0 0 2px var(--cov-ground), 0 0 0 4px var(--cov-c);
}

.cov-cmd {
  margin-top: 0.8rem;
  padding: 0.55rem 0.7rem 0.6rem;
  border: 1px solid var(--cov-rule);
  border-radius: 6px;
}

.md-typeset .cov-cmd p { margin: 0; }

.cov-cmd-title { font-size: 0.7rem; }

.md-typeset .cov-cmd-label {
  display: flex;
  flex-wrap: wrap;
  gap: 0.2rem 0.6rem;
  align-items: baseline;
  margin: 0.55rem 0 0.25rem;
}

.cov-cmd-label span {
  color: var(--cov-ink-soft);
  font-family: var(--md-code-font-family, monospace);
  font-size: 0.6rem;
}

.cov-cmd-code { position: relative; }

.md-typeset .cov-cmd-code pre {
  margin: 0;
  font-size: 0.64rem;
}

.md-typeset .cov-cmd-code pre > code { padding: 0.55rem 3.6rem 0.55rem 0.7rem; }

.md-typeset .cov-cmd mark { padding: 0 0.1em; }

.cov-copy {
  position: absolute;
  top: 0.35rem;
  right: 0.35rem;
  padding: 0.1rem 0.45rem;
  border: 1px solid var(--cov-rule);
  border-radius: 3px;
  background: var(--cov-ground);
  color: var(--cov-ink-soft);
  font-size: 0.6rem;
  cursor: pointer;
}

.cov-copy:hover,
.cov-copy:focus-visible { color: var(--cov-ink); }

.md-typeset .cov-cmd-hint {
  margin-top: 0.45rem;
  color: var(--cov-ink-soft);
  font-size: 0.64rem;
  line-height: 1.45;
}

.cov-vla {
  margin-top: 1.4rem;
}

.cov-vla-title {
  font-weight: 700;
  font-size: 0.7rem;
  color: var(--cov-ink-soft);
  margin: 0 0 0.5rem;
}

.cov-vla-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 0.5rem;
  max-width: 30rem;
  min-width: 22.5rem;
  align-items: stretch;
}

.cov-vla-label {
  font-family: var(--md-code-font-family, monospace);
  font-size: 0.64rem;
  color: var(--cov-ink-soft);
}

.cov-score {
  display: flex;
  align-items: baseline;
  gap: 0.3rem;
  font-variant-numeric: tabular-nums;
}

.cov-score strong {
  font-size: 1.05rem;
  color: var(--cov-c);
}

.cov-bar {
  height: 0.3rem;
  border-radius: 2px;
  background: var(--cov-rule);
  overflow: hidden;
}

.cov-bar span {
  display: block;
  height: 100%;
  background: var(--cov-c);
}

.cov-foot {
  margin: 0.9rem 0 0;
  color: var(--cov-ink-soft);
  line-height: 1.45;
  max-width: 44rem;
}

@media (prefers-reduced-motion: reduce) {
  .cov-media video { transition: none; }
}