English: This is a form button border width.
Dutch: Dit is de breedte van de rand van een formulierknop.