:root {
  color-scheme: light;
  --ink: #192b35;
  --muted: #5d6c76;
  --line: #d5dfe2;
  --accent: #075e61;
}
* {
  box-sizing: border-box;
}
body {
  margin: 0;
  background: #f3f5f3;
  color: var(--ink);
  font:
    15px system-ui,
    sans-serif;
}
header {
  padding: 32px max(24px, calc((100vw - 1080px) / 2));
  background: #183335;
  color: white;
}
header span {
  font-size: 11px;
  letter-spacing: 2px;
}
h1 {
  font-size: 30px;
  margin: 14px 0 8px;
}
header p {
  color: #c8d9d6;
}
main {
  max-width: 1080px;
  margin: 24px auto;
  padding: 0 24px;
}
section {
  padding: 22px 0;
  border-bottom: 1px solid var(--line);
}
h2 {
  font-size: 19px;
}
h3 {
  font-size: 15px;
  color: var(--muted);
}
p,
footer {
  color: var(--muted);
}
label {
  display: block;
  margin: 12px 0;
  font-weight: 600;
}
input,
textarea {
  display: block;
  margin-top: 6px;
  padding: 10px;
  border: 1px solid var(--line);
  width: 100%;
  font:
    14px ui-monospace,
    monospace;
  background: white;
  color: var(--ink);
}
button {
  border: 1px solid var(--accent);
  background: var(--accent);
  color: white;
  padding: 9px 14px;
  cursor: pointer;
  margin: 4px 8px 4px 0;
}
button:disabled {
  opacity: 0.4;
  cursor: not-allowed;
}
.stats {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(145px, 1fr));
  gap: 18px;
  margin: 22px 0;
}
.stat strong {
  font-size: 24px;
  display: block;
}
.stat span {
  color: var(--muted);
  font-size: 12px;
}
.FAIL,
#error {
  color: #a42222;
}
.PASS {
  color: #156348;
}
.INCONCLUSIVE {
  color: #885800;
}
table {
  border-collapse: collapse;
  width: 100%;
  font-size: 13px;
}
td,
th {
  text-align: left;
  padding: 10px;
  border-bottom: 1px solid var(--line);
}
pre {
  white-space: pre-wrap;
  overflow-wrap: anywhere;
}
li {
  padding: 5px 0;
  font-size: 13px;
}
footer {
  padding: 24px 0;
  font-size: 12px;
}

.stat strong {
  overflow-wrap: anywhere;
}