Una de las cosas que siempre me ha sacado de quicio del Firefox es que los menús de autocompletación invariablemenente aparecen con estilos de letras muy grandes. Esto es particularmente fastidioso en la barra de direcciones, porque a veces las URLs son largas y las diferencias entre una dirección y otra aparecen al final (por ejemplo, las URLs correspondientes a formularios enviados con el método GET). El resultado es que uno queda adivinando cuál de las opciones ofrecidas es la que uno quiere.
Continuación:
Prácticamente todos los elementos de la interfaz de usuario de Firefox son adaptables a los gustos del usuario. Una de las formas es instalando temas, de los cuales hay una impresionante variedad. A pesar de la variedad y flexibilidad que ofrecen los temas, a veces uno quiere quedarse con ciertas confguraciones, sin importar cuantas veces uno cambie de tema.
Para ello hace falta editar un pequeño archivo, una hoja de estilo CSS ubicada en el subdirectorio chrome
del perfil de usuario de Firefox (usualmente en .mozilla/firefox/xx.default
, en Unix) y de nombre userChrome.css
. El archivo userChrome.css
permite modificar a gusto todos los elementos de la interfaz de usuario, sólo hace falta saber el nombre del selector correspondiente. Por ejemplo, la barra de direcciones se modifica cambiando las propiedades del selector #urlbar
. Las cosas que se pueden hacer con el userChrome.css
pueden apreciarse, a modo de introducción, en la guía de personalización de Mozilla.
Según ese documento, la propiedad el selector a cambiar es #ubhist-popup
:
/* The dropdown address and autocomplete windows are
* grey. To make them match better with the URL field
* and look more like 4.x:
*/
/* URL dropdown box */
#ubhist-popup
{
background : white !important;
border : 1px solid black !important;
padding : 0px !important;
}
El problema es que si uno hace esto no va a funcionar. Aparentemente esta guía de personalización de Mozilla está desactualizada. Lo que nos hace falta es una lista de selectores aplicables a la interfaz de usuario de Firefox. Yo no pude consegir semejante lista, pero buscando por acá y por allá logré determinar que el selector que andaba buscando es #PopupAutoComplete
. Ergo, lo que debemos agregar al userChrome.css
es:
#PopupAutoComplete {
font-family: "Bitstream Vera Sans Mono", FreeMono, monospace !important;
font-size: 7pt !important;
}
El tamaño de la letra y el tipo de letra no son las únicas propiedades que se le pueden cambiar. Colores de frente y fondo, estilo, y cualquier cantidad de cosas pueden ser modificadas de esta forma.
URL para Referencias (pinche con el botón derecho y copie la dirección del enlace)
Comentarios recientes