Make the toolbar the right size

Exactly the same as the sugar-75 artwork.  Use a less-css variable to
parametrize the sizes of the toolbar and toolbuttons.  Then it will
not be difficult to do the sugar-100 (high dpi) one.
CSS: remove unused rules and fix on indentation error