/* Copyright 2015 the Istanbul contributors. All rights reserved. ISC license. */
/* Copyright 2018-2023 the Deno authors. All rights reserved. MIT license. */

body,
html {
  margin: 0;
  padding: 0;
  height: 100%;
}
body {
  color-scheme: light dark;
  font-family:
    Helvetica Neue,
    Helvetica,
    Arial;
  font-size: 14px;
  color: light-dark(#333, #ddd);
  background-color: light-dark(white, #111);
}
.small {
  font-size: 12px;
}
*,
*:after,
*:before {
  box-sizing: border-box;
}
h1 {
  font-size: 20px;
  margin: 0;
}
h2 {
  font-size: 14px;
}
pre {
  font:
    12px/1.4 Consolas,
    "Liberation Mono",
    Menlo,
    Courier,
    monospace;
  margin: 0;
  padding: 0;
  tab-size: 2;
}
a {
  color: light-dark(#0074d9, #3ba3ff);
  text-decoration: none;
}
a:hover {
  text-decoration: underline;
}
.strong {
  font-weight: bold;
}
.space-top1 {
  padding: 10px 0 0 0;
}
.pad2y {
  padding: 20px 0;
}
.pad1y {
  padding: 10px 0;
}
.pad2x {
  padding: 0 20px;
}
.pad2 {
  padding: 20px;
}
.pad1 {
  padding: 10px;
}
.space-left2 {
  padding-left: 55px;
}
.space-right2 {
  padding-right: 20px;
}
.center {
  text-align: center;
}
.clearfix {
  display: block;
}
.clearfix:after {
  content: "";
  display: block;
  height: 0;
  clear: both;
  visibility: hidden;
}
.fl {
  float: left;
}
@media only screen and (max-width: 640px) {
  .col3 {
    width: 100%;
    max-width: 100%;
  }
  .hide-mobile {
    display: none !important;
  }
}

.quiet {
  color: light-dark(rgb(0 0 0 / 0.5), rgb(255 255 255 / 0.5));
}
.quiet a {
  opacity: 0.7;
}

.fraction {
  font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace;
  font-size: 10px;
  color: light-dark(#555, #bbb);
  background: light-dark(#e8e8e8, #171717);
  padding: 4px 5px;
  border-radius: 3px;
  vertical-align: middle;
}

div.path a:link,
div.path a:visited {
  color: light-dark(#333, #ddd);
}
table.coverage {
  border-collapse: collapse;
  margin: 10px 0 0 0;
  padding: 0;
}

table.coverage td {
  margin: 0;
  padding: 0;
  vertical-align: top;
}
table.coverage td.line-count {
  text-align: right;
  padding: 0 5px 0 20px;
}
table.coverage td.line-coverage {
  text-align: right;
  padding-right: 4px;
  min-width: 20px;
}

table.coverage td.branch-coverage {
  text-align: right;
  padding-right: 3px;
  min-width: 8px;
}

table.coverage td span.cline-any {
  display: inline-block;
  padding: 0 5px;
  width: 100%;
}
.missing-if-branch {
  display: inline-block;
  margin-right: 5px;
  border-radius: 3px;
  position: relative;
  padding: 0 4px;
  background: light-dark(#333, #ddd);
  color: light-dark(yellow, #cc0);
}

.skip-if-branch {
  display: none;
  margin-right: 10px;
  position: relative;
  padding: 0 4px;
  background: light-dark(#ccc, #333);
  color: light-dark(white, black);
}
.missing-if-branch .typ,
.skip-if-branch .typ {
  color: inherit !important;
}
.coverage-summary {
  border-collapse: collapse;
  width: 100%;
}
.coverage-summary tr {
  border-bottom: 1px solid light-dark(#bbb, #444);
}
.keyline-all {
  border: 1px solid light-dark(#ddd, #222);
}
.coverage-summary td,
.coverage-summary th {
  padding: 10px;
}
.coverage-summary tbody {
  border: 1px solid light-dark(#bbb, #444);
}
.coverage-summary td {
  border-right: 1px solid light-dark(#bbb, #444);
}
.coverage-summary td:last-child {
  border-right: none;
}
.coverage-summary th {
  text-align: left;
  font-weight: normal;
  white-space: nowrap;
}
.coverage-summary th.file {
  border-right: none !important;
}
.coverage-summary th.pic,
.coverage-summary th.abs,
.coverage-summary td.pct,
.coverage-summary td.abs {
  text-align: right;
}
.coverage-summary td.file {
  white-space: nowrap;
}
.coverage-summary td.pic {
  min-width: 120px !important;
}

.coverage-summary .sorter {
  height: 10px;
  width: 7px;
  display: inline-block;
  margin-left: 0.5em;
  background: url(sort-arrow-sprite.png) no-repeat scroll 0 0 transparent;
}
.coverage-summary .sorted .sorter {
  background-position: 0 -20px;
}
.coverage-summary .sorted-desc .sorter {
  background-position: 0 -10px;
}
.status-line {
  height: 10px;
}
/* yellow */
.cbranch-no {
  background: light-dark(yellow, #cc0) !important;
  color: #111;
}
/* dark red */
.red.solid,
.status-line.low,
.low .cover-fill {
  background: light-dark(#c21f39, #a5162e);
}
.low .chart {
  border: 1px solid light-dark(#c21f39, #a5162e);
}
.highlighted,
.highlighted .cstat-no,
.highlighted .fstat-no,
.highlighted .cbranch-no {
  background: light-dark(#c21f39, #a5162e) !important;
}
/* medium red */
.cstat-no,
.fstat-no,
.cbranch-no,
.cbranch-no {
  background: light-dark(#f6c6ce, #553339);
}
/* light red */
.low,
.cline-no {
  background: light-dark(#fce1e5, #2e2023);
}
/* light green */
.high,
.cline-yes {
  background: light-dark(#e6f5d0, #25291f);
}
/* medium green */
.cstat-yes {
  background: light-dark(#a1d76a, #293b18);
}
/* dark green */
.status-line.high,
.high .cover-fill {
  background: light-dark(#4d9221, #2a5211);
}
.high .chart {
  border: 1px solid light-dark(#4d9221, #2a5211);
}
/* dark yellow (gold) */
.status-line.medium,
.medium .cover-fill {
  background: light-dark(#f9cd0b, #b09107);
}
.medium .chart {
  border: 1px solid light-dark(#f9cd0b, #b09107);
}
/* light yellow */
.medium {
  background: light-dark(#fff4c2, #4a432a);
}

.cstat-skip {
  background: light-dark(#ddd, #222);
  color: light-dark(#111, #eee);
}
.fstat-skip {
  background: light-dark(#ddd, #222);
  color: light-dark(#111, #eee) !important;
}
.cbranch-skip {
  background: light-dark(#ddd, #222) !important;
  color: light-dark(#111, #eee);
}

span.cline-neutral {
  background: light-dark(#eaeaea, #141414);
}

.coverage-summary td.empty {
  opacity: 0.5;
  padding-top: 4px;
  padding-bottom: 4px;
  line-height: 1;
  color: light-dark(#888, #999);
}

.cover-fill,
.cover-empty {
  display: inline-block;
  height: 12px;
}
.chart {
  line-height: 0;
}
.cover-empty {
  background: light-dark(white, black);
}
.cover-full {
  border-right: none !important;
}
pre.prettyprint {
  border: none !important;
  padding: 0 !important;
  margin: 0 !important;
}
.com {
  color: light-dark(#999, #666) !important;
}
.ignore-none {
  color: light-dark(#999, #666);
  font-weight: normal;
}

.wrapper {
  min-height: 100%;
  height: auto !important;
  height: 100%;
  margin: 0 auto -48px;
}
.footer,
.push {
  height: 48px;
}
.overflow-auto {
  overflow: auto;
}