This really should not be hardcoded, and we should subclass
GtkHeaderBar, but in the meantime, make this at least consistent with
other applications.