.red {
  background-color: #f004;
}
.cyan {
  background-color: cyan;
}
html {
  scroll-behavior: smooth;
}
body {
  font-family: -apple-system, sans-serif;
}
pre {
  margin-top: 0px !important;
  margin-bottom: 0px !important;
}
.source-name-title {
  padding: 5px 10px;
  border-bottom: 1px solid #8888;
  background-color: #0002;
  line-height: 35px;
}
.centered {
  display: table;
  margin-left: left;
  margin-right: auto;
  border: 1px solid #8888;
  border-radius: 3px;
}
.expansion-view {
  margin-left: 0px;
  margin-top: 5px;
  margin-right: 5px;
  margin-bottom: 5px;
  border: 1px solid #8888;
  border-radius: 3px;
}
table {
  border-collapse: collapse;
}
.light-row {
  border: 1px solid #8888;
  border-left: none;
  border-right: none;
}
.light-row-bold {
  border: 1px solid #8888;
  border-left: none;
  border-right: none;
  font-weight: bold;
}
.column-entry {
  text-align: left;
}
.column-entry-bold {
  font-weight: bold;
  text-align: left;
}
.column-entry-yellow {
  text-align: left;
  background-color: #ff06;
}
.column-entry-red {
  text-align: left;
  background-color: #f004;
}
.column-entry-gray {
  text-align: left;
  background-color: #fff4;
}
.column-entry-green {
  text-align: left;
  background-color: #0f04;
}
.line-number {
  text-align: right;
}
.covered-line {
  text-align: right;
  color: #06d;
}
.uncovered-line {
  text-align: right;
  color: #d00;
}
.uncovered-line.selected {
  color: #f00;
  font-weight: bold;
}
.region.red.selected {
  background-color: #f008;
  font-weight: bold;
}
.branch.red.selected {
  background-color: #f008;
  font-weight: bold;
}
.tooltip {
  position: relative;
  display: inline;
  background-color: #bef;
  text-decoration: none;
}
.tooltip span.tooltip-content {
  position: absolute;
  width: 100px;
  margin-left: -50px;
  color: #FFFFFF;
  background: #000000;
  height: 30px;
  line-height: 30px;
  text-align: center;
  visibility: hidden;
  border-radius: 6px;
}
.tooltip span.tooltip-content:after {
  content: '';
  position: absolute;
  top: 100%;
  left: 50%;
  margin-left: -8px;
  width: 0; height: 0;
  border-top: 8px solid #000000;
  border-right: 8px solid transparent;
  border-left: 8px solid transparent;
}
:hover.tooltip span.tooltip-content {
  visibility: visible;
  opacity: 0.8;
  bottom: 30px;
  left: 50%;
  z-index: 999;
}
th, td {
  vertical-align: top;
  padding: 2px 8px;
  border-collapse: collapse;
  border-right: 1px solid #8888;
  border-left: 1px solid #8888;
  text-align: left;
}
td pre {
  display: inline-block;
  text-decoration: inherit;
}
td:first-child {
  border-left: none;
}
td:last-child {
  border-right: none;
}
tr:hover {
  background-color: #eee;
}
tr:last-child {
  border-bottom: none;
}
tr:has(> td >a:target), tr:has(> td.uncovered-line.selected) {
  background-color: #8884;
}
a {
  color: inherit;
}
.control {
  position: fixed;
  top: 0em;
  right: 0em;
  padding: 1em;
  background: #FFF8;
}
@media (prefers-color-scheme: dark) {
  body {
    background-color: #222;
    color: whitesmoke;
  }
  tr:hover {
    background-color: #111;
  }
  .covered-line {
    color: #39f;
  }
  .uncovered-line {
    color: #f55;
  }
  .tooltip {
    background-color: #068;
  }
  .control {
    background: #2228;
  }
  tr:has(> td >a:target), tr:has(> td.uncovered-line.selected) {
    background-color: #8884;
  }
}
/* remendo denim theme override for llvm-cov HTML reports */

:root {
  color-scheme: dark;
  --denim-dark:   #1a2a3a;
  --denim-mid:    #2c4a6e;
  --denim-light:  #4a7ab5;
  --thread-white: #e8e0d4;
  --thread-gold:  #c4a35a;
  --tux-orange:   #e8943a;
  --text-muted:   #9ab0c8;
  --card-bg:      #1e3450;
  --card-border:  #5a8ab5;
}

/* ── Base ─────────────────────────────────── */
body {
  font-family: 'Courier New', 'Consolas', 'Liberation Mono', monospace !important;
  background-color: var(--denim-dark) !important;
  background-image:
    repeating-linear-gradient(0deg, transparent, transparent 2px, rgba(74,122,181,0.08) 2px, rgba(74,122,181,0.08) 3px),
    repeating-linear-gradient(90deg, transparent, transparent 3px, rgba(90,138,197,0.06) 3px, rgba(90,138,197,0.06) 4px),
    repeating-linear-gradient(135deg, transparent, transparent 4px, rgba(44,74,110,0.15) 4px, rgba(44,74,110,0.15) 5px) !important;
  color: var(--thread-white) !important;
  padding: 2rem 1rem !important;
  max-width: 1100px;
  margin: 0 auto;
}

/* ── Headings ─────────────────────────────── */
h2 {
  font-size: 1.4rem;
  letter-spacing: 0.08em;
  color: var(--thread-white);
  text-transform: lowercase;
}

h4 {
  color: var(--text-muted);
  font-size: 0.8rem;
  font-weight: 400;
  margin-bottom: 0.5rem;
}

h5 {
  color: var(--text-muted);
  font-size: 0.7rem;
  font-weight: 400;
  opacity: 0.5;
  margin-top: 2rem;
}

p { color: var(--text-muted); }

a { color: var(--tux-orange) !important; }
a:hover { text-decoration: underline; }

/* ── Summary table ────────────────────────── */
.centered {
  border: 2px dashed var(--card-border) !important;
  border-radius: 4px !important;
  background: var(--card-bg);
  width: 100%;
}

table {
  width: 100%;
  font-size: 0.82rem;
}

th, td {
  border-color: rgba(90,138,197,0.2) !important;
  padding: 0.5rem 0.8rem !important;
}

/* Header row */
.column-entry-bold {
  background: var(--denim-mid) !important;
  color: var(--thread-white) !important;
  border-bottom: 2px dashed var(--thread-gold) !important;
  font-size: 0.8rem;
}

/* Coverage cells — denim-appropriate colors */
.column-entry-green {
  background-color: rgba(68, 204, 17, 0.12) !important;
  color: #6cbf4c !important;
}

.column-entry-yellow {
  background-color: rgba(196, 163, 90, 0.12) !important;
  color: var(--thread-gold) !important;
}

.column-entry-red {
  background-color: rgba(224, 93, 68, 0.12) !important;
  color: #e05d44 !important;
}

.column-entry-gray {
  background-color: rgba(90, 138, 197, 0.06) !important;
  color: var(--text-muted) !important;
}

/* Data rows */
.light-row {
  border-color: rgba(90,138,197,0.15) !important;
}

.light-row:hover {
  background-color: rgba(90,138,197,0.08) !important;
}

.light-row-bold {
  border-color: rgba(90,138,197,0.15) !important;
  background-color: rgba(90,138,197,0.06) !important;
}

.light-row td pre,
.light-row-bold td pre {
  color: var(--thread-white);
}

.light-row td pre a {
  color: var(--tux-orange) !important;
}

/* ── Source file views ────────────────────── */
.source-name-title {
  background-color: var(--denim-mid) !important;
  border-bottom-color: var(--thread-gold) !important;
  color: var(--thread-white) !important;
  padding: 8px 12px !important;
}

.line-number {
  color: var(--text-muted) !important;
  opacity: 0.5;
}

.covered-line {
  color: #5aabff !important;
}

.uncovered-line {
  color: #e05d44 !important;
}

pre {
  color: var(--thread-white);
}

.red {
  background-color: rgba(224, 93, 68, 0.15) !important;
}

.cyan {
  background-color: rgba(90, 138, 197, 0.2) !important;
}

.expansion-view {
  border-color: rgba(90,138,197,0.3) !important;
  background: var(--card-bg);
}

.tooltip {
  background-color: var(--denim-mid) !important;
}

/* ── Controls overlay ─────────────────────── */
.control {
  background: rgba(26, 42, 58, 0.9) !important;
  border: 1px dashed var(--card-border);
  border-radius: 4px;
  color: var(--thread-white);
}

/* ── Remove default dark mode (we handle it) ── */
@media (prefers-color-scheme: dark) {
  body {
    background-color: var(--denim-dark) !important;
    color: var(--thread-white) !important;
  }
  tr:hover {
    background-color: rgba(90,138,197,0.08) !important;
  }
  .covered-line {
    color: #5aabff !important;
  }
  .uncovered-line {
    color: #e05d44 !important;
  }
  .control {
    background: rgba(26, 42, 58, 0.9) !important;
  }
}