Hoy me he dado cuenta, que si se usa el KDE y con fuentes TrueType (al menos en este caso), las fuentes de los menús del Mozilla se ven horriblemente grandes. Es cuestión de configuración del Chrome del Mozilla.
Para solucionarlo de forma global, basta crear y/o editar el fichero
/usr/lib/mozilla/defaults/profile/chrome/userChrome.css y cambiar por la familia y tamaño que querramos.
En mi caso, tengo instalada las msttcorefonts y quiero que los menús sean con la fuente de la familia arial, y 3.5 mm (ya ni me acuerdo haberlo hecho, debe haber sido hace tiempo). En este caso, el contenido del fichero ha de ser:
/* Set font size and family for dialogs
* and other miscellaneous text
*/
window {
font-size: 3.5mm !important;
font-family: arial !important;
}
PS: Algún día tendremos que escribir un artículo de las recomendacions para dejar “guapa” una Debian, como por ejemplo instalar los paquetes menu, fontconfig, msttcorefonts, defoma, x-ttcidfont-conf y seguir las instrucciones de varios artículos que hemos puesto por aquí, especialmente los relacionados con las X y las fuentes… algún día lo haré/mos. De verdad, una Debian con la configuración por defecto y sin todos los conocimientos de fuentes/menús/locales es _muy_ fea, ya lo he visto varias veces con la instalación de amigos 🙁
Este post ha sido traido de forma automatica desde https://web.archive.org/web/20140625063149/http:/bulma.net/body.phtml?nIdNoticia=1640 por un robot nigromante, si crees que puede mejorarse, por favor, contactanos.