He editado mi archivo userChrome
cat .mozilla/firefox/./chrome/userChrome.css
/* Reducir el tamaño de los títulos de las pestañas en un 10% */
.tabbrowser-tabs .tab-text {
font-size: 90%;
}
#tabbrowser-tabs {
min-height: 16px !important;
}Pero no se están aplicando. Incluso no parece ser que no sean lo suficientemente específicos. Cuando inspecciono el elemento con el inspector DOM ni siquiera veo que se aplique.
¿Qué estoy haciendo mal aquí? ¿Cuál es la forma correcta de cambiar la altura de la barra de pestañas con el archivo userChrome.css?
