As discussed at IRC. E.g. something like `osd.window-switcher.padding` which defaults to `osd.border.width`.