add more padding to the top of menu highlights
Merge branch 'jeff/wrath-of-khan' of https://github.com/adobe/brackets-shell into jeff/wrath-of-khan