/* checklist: a file card of lines the reader ticks; the copy button copies only the ticked lines (components/checklist.js).
     <div class="checklist"><div class="file">…<div class="file-head">… <button class="copy">…</button></div>
       <div class="file-body"><ul class="checklist-list"><li><label><input type="checkbox" checked><span>a line</span></label></li> …</ul></div></div></div> */
.checklist .file-head { display: flex; align-items: center; }
.checklist .file-head .copy { margin-left: auto; }
.checklist .copy[disabled] { opacity: 0.35; cursor: default; }
.checklist-list, .file-body .checklist-list { list-style: none; margin: 0; padding: 0; }
.checklist-list li { margin: 0; }
.checklist-list label { display: flex; gap: 10px; align-items: flex-start; padding: 7px 0; cursor: pointer; font-family: var(--mono); font-size: var(--text-sm); line-height: 1.55; color: var(--gray-1000); }
.checklist-list li + li label { border-top: 1px solid var(--gray-200); }
.checklist-list input { flex: none; margin: 3px 0 0; width: 16px; height: 16px; accent-color: var(--gray-1200); cursor: pointer; }
.checklist-list input:checked + span { color: var(--gray-1200); }