border-box
Defined in src/theme-wikimedia-ui.json
src/theme-wikimedia-ui.json
Defined in src/codex-base.json
src/codex-base.json
Refers to box-sizing.100
box-sizing.100