馃崚 馃崚 Fix scroll bars with GTK WebKit
scrollbar: Split margin between scrollbar and trough
The side padding is turned into a margin on the trough to ensure that GTK WebKit reacts to the full width of the scroll bar.
The vertical padding, however, is kept in the scrollbar to avoid GTK WebKit scrollbar overflowing past the end of the track.
Likewise for horizontal scroll bars.
scrollbar: Don't use negative margin to counteract border size
GTK WebKit's custom painting code doesn't handle negative margins correctly leading to the scrollbar disappearing as it either gets pushed out the side of the window or gets a negative size.