Massiccia imbottitura nella barra degli URL di Firefox

Ho aggiornato da Firefox 21 a 23 solo per trovare grandi quantità di padding verticale nella barra degli URL, così come padding significativamente aumentato nella barra delle schede e nella barra dei componenti aggiuntivi. Dove sono le impostazioni che lo controllano?

Nota che questo non è stato risolto specificatamente dalla nuova impostazione dpi layout.css.devPixelsPerPx, che modifica la dimensione delle cose ma non la quantità relativa di riempimento.

È necessario modificare le impostazioni nel collegamento UserChrome.css

Aggiungi questo codice per modificare tali impostazioni e l'evidenziazione.

@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); /* only needed once */

.autocomplete-richlistitem { padding-top:2px!important; padding-bottom:2px !important; }
.autocomplete-richlistitem:not(:first-child) { border-top: 1px solid #ddd  !important; }
.autocomplete-richlistitem[selected="true"] { border-top-color:transparent !important; }

*|span.ac-emphasize-text {
 box-shadow: inset 0 0 1px 1px rgba(0,255,255,1)!important;
 background-color: rgba(0,255,255,0.2)!important;
}