@media print{ins{border-block-end-width:3pt}mark{border:1pt dotted var(--color-text)}}