Fixes required by the 3.12 update

Unify notebook borders and paddings to get rid of the border around tab bars (on notebooks and stand-alone, such as in gedit and gnome-terminal).
 
Also, style header bars similarly to window title bars, but take care that header bars that are used as tool bars keep the same look as tool bars. 
Approved by: Sebastien Bacher, PS Jenkins bot