1435184 - Extend "Density" Customize option to also adjust size of sidebar header

Status: UNCONFIRMED

(Firefox :: Theme, defect, P5)

Description

[Stephan Sokolow]

User Agent: Mozilla/5.0 (X11; U; Linux i686) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/63.0.3282.546 Safari/537.36
Build ID: 20180128191456

Steps to reproduce:

0. Make sure the sidebar is visible
1. Open "Customize"
2. Click "Density"
3. Select "Compact"
4. Click "Done"


Actual results:

The sidebar header remained the same size, making it look distractingly and wastefully large.

I had to put this into my userChrome.css:

/* Compact sidebar header */
#sidebar-header {
  height: 32px !important;
  padding: 0 !important;
  font-size: 12px !important;
}



Expected results:

The sidebar header should have shrunk to something appropriate to the intent behind (and more in line with the aesthetics of) asking for compact toolbars.

Comment 1

[Stephan Sokolow]

Oh, I posted this from an up-to-date copy of Firefox Developer Edition 59.0b5 (64-bit). I just forgot to whitelist Bugzilla in the "pick a new random, popular User-Agent every 10 minutes" extension I use to make fingerprint-based tracking more difficult.

Comment 2

[Gingerbread Man]

This is the same as bug 1377825 but conditional.

Comment 3

[Stephan Sokolow]

I disagree. That bug is about unconditionally shrinking it.

This is about keeping it proportional to the adjacent toolbar elements when they shrink.

(Though exposing its scale to the theming APIs would also satisfy me. I just don't think it's something that should require userChrome.css to fix.)