O truque do userchrome a seguir parece funcionar. A maneira mais fácil de editar o userchrome é usando o addon elegante . Instale o addon e vá para Complementos > Estilos do usuário > Escreva um novo estilo. E cole o seguinte código.
.bookmark-item {
margin: 5px 2px 10px 2px !important;
font-size: 15px !important;
}
Altere os valores conforme necessário e clique em visualizar para visualizá-los. Então salve.
Para margin:
, alterar o primeiro e terceiro valor do pixel alterará a altura. A linha font-size:
mudará o tamanho da fonte do texto do marcador. Remova-o se não for necessário. Você pode habilitar / desabilitar isso sempre que quiser, sem reiniciar o firefox com estilo.