/* Preserve the original 4px ink separator, without the removed category strip. */
.lead { border-bottom: 4px solid var(--ink); }
