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