Toolbar customizations

Two toolbar customizations:

1. Shrink the toolbar.
2. 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.