Tweak header to remove dark-light-dark gradient in header bar Issue noticed by yethiel and reported on https://www.opendesktop.org/p/1167182 Original theme went dark-lighter-lightest, but my translation of that to dark was wrong. This looks better.