The ui.gadgets.borders vocabulary implements border gadgets, which add empty space around a child gadget.
border

<border> ( child gap -- border )