Toolbar customizations

Two toolbar customizations:
- Shrink the toolbar.
- Fix a bug with vertical docking which causes the "More" dropdown at the right end of the toolbar to appear off the right edge of the browser.