GUI tweaks for Yosemite and in the default theme