We resolved in #3720 (comment) to add hairline to <line-width> and to also extend <line-width> to more properties including gap, stroke-width, and text-decoration-thickness. I have two follow-up questions:

• Do we want to resolve that all properties accepting <line-width> are pixel-snapped like border-width?
• Are there other properties we should add to this list?