Header bar tweaks

• Add back a backdrop state
• Tone down .devel, make it easier for recoloring
• Add a matching backdrop to tabs as they are visually a part of header bar

Includes !155 (merged) atm

I didn't change borders here as in #200 (closed) as those are to be changed globally.