24a80f250e
This PR slightly increases the area border padding at the window edges. The current lack of padding looks awkward when paired with area highlighting since that line hits the window edges. Pull Request: https://projects.blender.org/blender/blender/pulls/137925