Problema resolvido alterando "pt" para "px" em todas as instâncias acima no arquivo userchrome.css.
Eu quero alterar o tamanho da fonte do menu de favoritos do Firefox para um tamanho maior. É um pouco difícil de ler nesta tela (ver imagem abaixo) - o texto dentro da área com borda vermelha é o que eu quero maior.
Modifiquei userchrome.css com várias alterações que encontrei na Web (veja abaixo), mas nenhuma delas alterou esse tamanho de fonte específico.
#bookmarks-view {
font-size: 13px !important;
}
.bookmark-item > .toolbarbutton-text {
font-size:13pt !important;
}
#personal-bookmarks {
font-size:13pt !important;
}
#bookmarksMenuPopup .bookmark-item {
font-size:13 pt !important;
}
Se alguém puder oferecer uma visão sobre este assunto, serei grato.
Problema resolvido alterando "pt" para "px" em todas as instâncias acima no arquivo userchrome.css.