HEHO a écrit, le 08.04.2006 14:41 :
> j'ai mis dans le userChrome.css de mon chrome de firefox ça :
> menubar, menubutton, menulist, menu, menuitem, textbox, toolbar, tab,
> tree, tooltip
> {
> font-family: verdana, helvetica !important;
> font-size: 14px !important;
> }
bonjour,
petite précision sur le contournement de ce problème de taille de police.
le fichier userChrome.css n'existe pas de base dans
~/.mozilla/firefox/Votre_profil.default/chrome
j'ai trouvé les infos ici :
http://www.geocities.com/pratiksolanki/userChrome.html
j'ai donc pris le
userChrome-example.css present dans chrome
rajouté les lignes ci-précités aprés la "@namespace line" décrite
comme indispensable et renommé en userChrome.css.
au redemarrage de firefox ces modifs sont prises en compte.
pour les annuler, effacer le fichier userChrome.css
pas trés debian mais je n'ai pas assez de place disque pour utiliser
la solution de klaus, qui fonctionne trés bien si tant est que l'on
conserve gnome-control-center et ses 30 copains.
ci-joint le contenu de userChrome.css
à plus.
hého
/*
* Edit this file and copy it as userChrome.css into your
* profile-directory/chrome/
*/
/*
* This file can be used to customize the look of Mozilla's user interface
* You should consider using !important on rules which you want to
* override default settings.
*/
/*
* Do not remove the @namespace line -- it's required for correct functioning
*/
@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul";); /* set default namespace to XUL */
menubar, menubutton, menulist, menu, menuitem, textbox, toolbar, tab,
tree, tooltip
{
font-family: verdana, helvetica !important;
font-size: 14px !important;
}
/*
* Some possible accessibility enhancements:
*/
/*
* Make all the default font sizes 20 pt:
*
* * {
* font-size: 20pt !important
* }
*/
/*
* Make menu items in particular 15 pt instead of the default size:
*
* menupopup > * {
* font-size: 15pt !important
* }
*/
/*
* Give the Location (URL) Bar a fixed-width font
*
* #urlbar {
* font-family: monospace !important;
* }
*/
/*
* Eliminate the throbber and its annoying movement:
*
* #throbber-box {
* display: none !important;
* }
*/
/*
* For more examples see http://www.mozilla.org/unix/customizing.html
*/
