Run the UI files through `gtk-builder-tool simplify --3to4` to update the layout properties.
If a side of the box is 0px wide, make the corners owned by the adjacent sides. This avoids spilling over of unwanted colors from the 0-width side into the corner. New test for this case is included.