.lab[data-study=coverage-and-mutants] .mutants{max-width:1180px;margin:0 auto;padding:clamp(20px,4vw,48px) clamp(16px,4vw,40px) 64px}.lab[data-study=coverage-and-mutants] h2{color:var(--lab-heading);font:600 clamp(26px,3.4vw,36px)/1.15 var(--font-literata),Georgia,serif;margin:0 0 12px}.lab[data-study=coverage-and-mutants] h3{color:var(--lab-heading);font:600 18px var(--lab-ui);margin:0 0 10px}.lab[data-study=coverage-and-mutants] .mutants-intro,.lab[data-study=coverage-and-mutants] .mutants-read{max-width:68ch}.lab[data-study=coverage-and-mutants] .mutants-intro p,.lab[data-study=coverage-and-mutants] .mutants-read p{margin:0 0 12px;font-size:17px;line-height:1.55}.lab[data-study=coverage-and-mutants] pre{border:1px solid var(--lab-line);background:var(--lab-field);font:13.5px/1.55 var(--lab-mono);border-radius:4px;margin:0;padding:14px 16px;overflow-x:auto}.lab[data-study=coverage-and-mutants] .mutants-meters{font-family:var(--lab-ui);grid-template-columns:repeat(2,minmax(0,1fr));gap:16px;margin:24px 0;display:grid}.lab[data-study=coverage-and-mutants] .mutants-meter{border:1px solid var(--lab-line);background:var(--lab-panel);border-radius:4px;padding:14px 16px}.lab[data-study=coverage-and-mutants] .mutants-meter p{margin:0}.lab[data-study=coverage-and-mutants] .mutants-meter-label{color:var(--lab-muted);letter-spacing:.04em;text-transform:uppercase;font-size:14px}.lab[data-study=coverage-and-mutants] .mutants-meter-value{color:var(--lab-heading);font-variant-numeric:tabular-nums;font-size:clamp(32px,5vw,44px);font-weight:600;line-height:1.1}.lab[data-study=coverage-and-mutants] .mutants-meter[data-warn] .mutants-meter-value{color:var(--lab-warn)}.lab[data-study=coverage-and-mutants] .mutants-meter-bar{background:var(--lab-line);border-radius:4px;height:8px;margin:8px 0 6px;overflow:hidden}.lab[data-study=coverage-and-mutants] .mutants-meter-bar span{background:var(--lab-heading);height:100%;transition:width .25s;display:block}.lab[data-study=coverage-and-mutants] .mutants-meter[data-warn] .mutants-meter-bar span{background:var(--lab-warn)}.lab[data-study=coverage-and-mutants] .mutants-meter-note{color:var(--lab-muted);font-size:15px}.lab[data-study=coverage-and-mutants] .mutants-grid{font-family:var(--lab-ui);grid-template-columns:minmax(0,1.15fr) minmax(0,1fr);align-items:start;gap:clamp(20px,3vw,40px);margin-bottom:40px;display:grid}.lab[data-study=coverage-and-mutants] .mutants-source,.lab[data-study=coverage-and-mutants] .mutants-list{min-width:0}.lab[data-study=coverage-and-mutants] .mutants-source>pre{margin-bottom:24px}.lab[data-study=coverage-and-mutants] .mutants-line{display:block}.lab[data-study=coverage-and-mutants] .mutants-line[data-mutated]{background:color-mix(in srgb,var(--lab-warn)14%,transparent)}.lab[data-study=coverage-and-mutants] .mutants-ln{width:2ch;color:var(--lab-muted);text-align:right;-webkit-user-select:none;user-select:none;margin-right:1.5ch;display:inline-block}.lab[data-study=coverage-and-mutants] .mutants-add{cursor:pointer;align-items:center;gap:10px;min-height:44px;margin-bottom:8px;font-size:16px;display:flex}.lab[data-study=coverage-and-mutants] input[type=checkbox]{width:20px;height:20px;accent-color:var(--lab-heading);flex:none;margin:0}.lab[data-study=coverage-and-mutants] .mutants-tests,.lab[data-study=coverage-and-mutants] .mutants-list ul{grid-template-columns:minmax(0,1fr);gap:6px;margin:0;padding:0;list-style:none;display:grid}.lab[data-study=coverage-and-mutants] .mutants-tests details{border:1px solid var(--lab-line);background:var(--lab-field);border-radius:4px}.lab[data-study=coverage-and-mutants] .mutants-tests summary{cursor:pointer;align-items:center;gap:10px;min-height:44px;padding:0 12px;display:flex}.lab[data-study=coverage-and-mutants] .mutants-test-id{font-family:var(--lab-mono);font-weight:600}.lab[data-study=coverage-and-mutants] .mutants-test-title{flex:1;min-width:0}.lab[data-study=coverage-and-mutants] .mutants-test-kills{color:var(--lab-muted);white-space:nowrap;font-size:14px}.lab[data-study=coverage-and-mutants] .mutants-fake{color:var(--lab-muted);margin:0;padding:0 12px 8px;font-size:15px}.lab[data-study=coverage-and-mutants] .mutants-tests pre{margin:0 8px 8px}.lab[data-study=coverage-and-mutants] .mutants-list-head{justify-content:space-between;align-items:center;gap:12px;margin-bottom:4px;display:flex}.lab[data-study=coverage-and-mutants] .mutants-list-head h3{margin:0}.lab[data-study=coverage-and-mutants] .mutants-list-head button{border:1px solid var(--lab-stroke);background:var(--lab-field);min-height:44px;color:var(--lab-text);font:inherit;cursor:pointer;border-radius:4px;padding:0 14px;font-size:15px}.lab[data-study=coverage-and-mutants] .mutants-row{border:1px solid var(--lab-line);background:var(--lab-field);border-radius:4px}.lab[data-study=coverage-and-mutants] .mutants-row[data-state=caught]{border-color:var(--lab-heading)}.lab[data-study=coverage-and-mutants] .mutants-row[data-state=survived]{border-color:var(--lab-warn)}.lab[data-study=coverage-and-mutants] .mutants-row label{cursor:pointer;flex-wrap:wrap;align-items:center;gap:4px 10px;min-height:44px;padding:6px 12px;font-size:16px;display:flex}.lab[data-study=coverage-and-mutants] .mutants-row-label{flex:1;min-width:10em}.lab[data-study=coverage-and-mutants] .mutants-row-state{font-size:14px;font-weight:600}.lab[data-study=coverage-and-mutants] .mutants-row[data-state=caught] .mutants-row-state{color:var(--lab-heading)}.lab[data-study=coverage-and-mutants] .mutants-row[data-state=survived] .mutants-row-state{color:var(--lab-warn)}.lab[data-study=coverage-and-mutants] .mutants-row-body{padding:0 12px 10px}.lab[data-study=coverage-and-mutants] .mutants-row-body p{margin:8px 0 0;font-size:15px}.lab[data-study=coverage-and-mutants] .mutants-diff{padding:8px 10px;font-size:12.5px}.lab[data-study=coverage-and-mutants] .mutants-del{color:var(--lab-muted);text-decoration:line-through}.lab[data-study=coverage-and-mutants] .mutants-ins{color:var(--lab-warn)}@media (max-width:820px){.lab[data-study=coverage-and-mutants] .mutants-grid{grid-template-columns:minmax(0,1fr)}}@media (max-width:480px){.lab[data-study=coverage-and-mutants] .mutants-meters{grid-template-columns:minmax(0,1fr);gap:10px}}@media (prefers-reduced-motion:reduce){.lab[data-study=coverage-and-mutants] .mutants-meter-bar span{transition:none}}