/* test.html */
.summary { font-size: 40px; font-weight: 900; margin: 16px 0; }
.summary.ok { color: #1a9e55; }
.summary.bad { color: #c0262d; }
.results { list-style: none; padding: 0; font-family: var(--mc-font-mono); font-size: 15px; }
.results li { padding: 4px 0; }
.results .ok { color: #1a7a45; }
.results .bad { color: #c0262d; font-weight: 700; }