issue 7082: OSX style issues in new UI
- Added margins for tab bar buttons
issue 7082: OSX style issues in new UI
- Align HTML panel - edit  html button.
- Minor adjustment to the search text box.
issue 7082: OSX style issues in new UI
- Dim default panel tab text color.
issue 7082: OSX style issues in new UI
- Adjusted error badge position
issue 7082: OSX style issues in new UI
- Fix border size issue when the split button was hovered
issue 7082: OSX style issues in new UI
- Margin adjustments to menu header
Don't die on dead wrappers in the status path
Merge remote-tracking branch 'origin/master' into issue7082