/* The audited Weyl proof supplies its own continuous step numbers. */
.affine-weyl ol.steps > .proof-step > h4::before { content: none; }
.affine-weyl .proof-plan { display: flex; flex-wrap: wrap; gap: 6px 18px; align-items: baseline; }

.affine-weyl .dict-table { table-layout: fixed; }