Make the main toolbar the right size - SL #3388
Make the main toolbar the right size - SL #3388

Set to zero the GtkWidget-focus-padding which was changing the size of
the buttons, and was noticeable in the toolbar because the toolbar
buttons were changing the toolbar height.  Use the toolbutton_padding
variable instead.  It was used before only for the tool buttons
border-radius, but a look at the gtk2 theme gtkrc shows that its used
there for the inner-border, which is the padding in gtk3 CSS.  It
gained 1px to make the toolbar exactly the same height than in the
gtk2 theme.  I tested this with screenshots in both sugar-100 and
sugar-72.  I'm attaching them to the ticket.

Signed-off-by: Manuel Quiñones <6f5069c5b6be23302a13accec56587944be09079@laptop.org>
Acked-by: Simon Schampijer <088e16a1019277b15d58faf0541e11910eb756f6@laptop.org>

i5o/sugar-artwork,samdroid-apps/sugar-artwork,gusDuarte/sugar-artwork,sugarlabs/sugar-artwork,sugarlabs/sugar-artwork,i5o/sugar-artwork,godiard/sugar-artwork,godiard/sugar-artwork,tchx84/debian-pkg-sugar-artwork,gusDuarte/sugar-artwork,gusDuarte/sugar-artwork,tchx84/debian-pkg-sugar-artwork,tchx84/debian-pkg-sugar-artwork,ceibal-tatu/sugar-artwork,i5o/sugar-artwork,ceibal-tatu/sugar-artwork,samdroid-apps/sugar-artwork,gusDuarte/sugar-artwork,samdroid-apps/sugar-artwork,godiard/sugar-artwork,ceibal-tatu/sugar-artwork,sugarlabs/sugar-artwork