GUI refinements

[nblackburn]

• Add padding around buttons.
• Remove gap from context menu entries (small gap on left preventing them touching edges).
• Make scrollbars slightly wider.
• Make disabled text lighter as it's hard to distinguish.

[nblackburn]

This only seems to apply to the dark theme.

[msipos]

Agreed with everything you said!

Added in 0.9.2, apart from "Make disabled text darker as it's hard to distinguish". It looks to me that would make it too dark to be unreadable. In any case, I am happy to defer to your designer sense and set it to whatever RGB you think would be appropriate.

[nblackburn]

Sorry i meant lighter, no idea what i was thinking there.