Cerca nel supporto

Attenzione alle mail truffa. Mozilla non chiederà mai di chiamare o mandare messaggi a un numero di telefono o di inviare dati personali. Segnalare qualsiasi attività sospetta utilizzando l'opzione “Segnala abuso”.

Ulteriori informazioni

Questa discussione è archiviata. Inserire una nuova richiesta se occorre aiuto.

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

  • 9 risposte
  • 5 hanno questo problema
  • 3 visualizzazioni
  • Ultima risposta di 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.

Modificato da drkh il

Soluzione scelta

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; }
Leggere questa risposta nel contesto 👍 1

Tutte le risposte (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

Soluzione scelta

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.

Modificato da drkh il

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.

Modificato da drkh il

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.