Improvements to Linux and OS X GUI themes