Pentadactyl is unfortunately messing with userChrome itself (shrinking size of tab bar), which the devs really should not do across the board (it breaks a lot o

Pentadactyl is unfortunately messing with userChrome itself (shrinking size of tab bar), which the devs really should not do across the board (it breaks a lot of unrelated addons). Which I hate to say as a diehard Pentadactyl user.