Ce site disposera de fonctionnalités limitées pendant que nous effectuons des opérations de maintenance en vue de vous proposer un meilleur service. Si un article ne règle pas votre problème et que vous souhaitez poser une question, notre communauté d’assistance est prête à vous répondre via @FirefoxSupport sur Twitter, et /r/firefox sur Reddit.

Rechercher dans l’assistance

Évitez les escroqueries à l’assistance. Nous ne vous demanderons jamais d’appeler ou d’envoyer un SMS à un numéro de téléphone ou de partager des informations personnelles. Veuillez signaler toute activité suspecte en utilisant l’option « Signaler un abus ».

En savoir plus

Change the font sizes of the Tools > Options dialog and the about:??? pages

  • 9 réponses
  • 5 ont ce problème
  • 3 vues
  • Dernière réponse par drkh

more options

Under Windows 7 I select 1024 x 768 for screen resolution and 125% for text size.

The font size of the Tools > Options dialog is too small for me. I would like to change it to 11 pixels.

What codes should I add to userChrome.css?

Also, I would like to increase the default font sizes of the about:??? pages and the Help > Troubleshooting Information page, so that I don't need to zoom them.

Under Windows 7 I select 1024 x 768 for screen resolution and 125% for text size. The font size of the Tools > Options dialog is too small for me. I would like to change it to 11 pixels. What codes should I add to userChrome.css? Also, I would like to increase the default font sizes of the about:??? pages and the Help > Troubleshooting Information page, so that I don't need to zoom them.

Modifié le par drkh

Solution choisie

You may have to use a lot of style rules to cover all possible windows including windows that open if you click a button like the Cookie Manager (#CookiesDialog) and the Password Manager (#SignonViewerDialog).

The Options/Preferences window has this ID: #BrowserPreferences (chrome://browser/content/preferences/preferences.xul)

#BrowserPreferences * { font-size: 11pt !important; }
Lire cette réponse dans son contexte 👍 1

Toutes les réponses (9)

more options

Does this help;

Your zoom controls.

<Control> + (plus) enlarge <Control> - (minus) reduce <Control> 0 (zero) restore


I've called the big guys to help you. Good luck.

more options

You can look at this extension to adjust the font size for the user interface.

You can use an extension to set a default font size and page zoom on web pages.

more options

Can't I just change the font sizes of those indivisual elements I mentioned without making global changes?

I have changed layout.css.devPixelsPerPx from the default -1.0 to 1.0. I also added the following codes to userChrome.css:

   menubar, menubutton, menulist, menu, menuitem, textbox,
   toolbar, .tab-text, tree, tooltip, sidebarheader, statusbar {
   font-size: 11pt !important; }

Afterwards I'm OK with most of the UI elements.

Since the above style codes does work with individual UI elements (menubar, etc), I thought there might be codes that work with the Options dialog and the about:??? pages.

Correct me if I'm wrong.

more options

Solution choisie

You may have to use a lot of style rules to cover all possible windows including windows that open if you click a button like the Cookie Manager (#CookiesDialog) and the Password Manager (#SignonViewerDialog).

The Options/Preferences window has this ID: #BrowserPreferences (chrome://browser/content/preferences/preferences.xul)

#BrowserPreferences * { font-size: 11pt !important; }
more options

Ah! I forgot there are other windows called from the main Options window... But I'm still very glad that the font size of the main Options window is now increased with the codes you provide. Major goal accomplished.

Thank you very much.

And... how about the small font sizes of the about:??? pages and the Help > Troubleshooting Information page? Is it possible to adjust for only those pages without affecting the global default font size setting of all pages? I have checked NoSquint. It can only make per-site exceptions from the default zoom levels it sets, but can not set level zooms for specific pages.

Modifié le par drkh

more options

Hello,

I am glad to hear that your problem has been resolved. If you haven't already, please select the answer that solves the problem. This will help other users with similar problems find the solution more easily.

Thank you for contacting Mozilla Support.

more options

FredMcD said

If you haven't already, please select the answer that solves the problem.

Although now I can increase the font size of the main Options window, the same small font size problem with the about:??? pages and the Help > Troubleshooting Information page remains. (I have checked NoSquint, which can not set default zoom level for individual pages.) So I'd like to wait for a few more days before I select the answer.

Modifié le par drkh

more options

The about:config page needs code in userContent.css for the font size.

/* about:config and about:support */
@-moz-document url(about:config), url(about:support){
 *{font-size:11pt!important}
}
more options

All Problems solved!

There is a bonus... I add url(about:) and url(about:cache) to the userContent.css codes provided by cor-el, and they do work with those two extra pages. Sweet!

Thanks again.