Sykje yn Support

Mij stipescams. Wy sille jo nea freegje in telefoannûmer te beljen, der in sms nei ta te stjoeren of persoanlike gegevens te dielen. Meld fertochte aktiviteit mei de opsje ‘Misbrûk melde’.

Mear ynfo

Dizze konversaasje is argivearre. Stel in nije fraach as jo help nedich hawwe.

Font size on the browser itself (not the pages it shows)

more options

With the upgrade to FF 89, the font used to display text on the browser itself (not the webpages it displays) has changed to be a thinner and possibly smaller font. My eyes do not like this!

I need to be able to either make it bold, or make it larger, or possibly both. I have tried changing the font in the settings page, but that seems to only apply to webpages, which is not what i need.

I'm running win 10 on a Toshiba Satellite laptop and Firefox v.89.

Thank you for any suggestions.

Ivy

With the upgrade to FF 89, the font used to display text on the browser itself (not the webpages it displays) has changed to be a thinner and possibly smaller font. My eyes do not like this! I need to be able to either make it bold, or make it larger, or possibly both. I have tried changing the font in the settings page, but that seems to only apply to webpages, which is not what i need. I'm running win 10 on a Toshiba Satellite laptop and Firefox v.89. Thank you for any suggestions. Ivy

Keazen oplossing

Just for reference, what is the default font size?

Dit antwurd yn kontekst lêze 👍 0

Alle antwurden (10)

more options

There is a an "advanced preference" which you can change. In a new tab enter about:config in the url bar, accept the risk and find this setting: layout.css.devPixelsPerPx The default value is -1.0. You could try changing that in increments of .5. A value of 1.0 may suit you. If that doesn't help, you can use a file called userChrome.css which you would create with a text editor. Are you willing to do that?

more options

Thanks TerryN21. I tried a range of values from -3.0 to 2.0 and it just got smaller, with the smallest being at 2.0, and -3.0 not being any larger or smaller. I did restart the browser between each setting.

Is there any negative implication to using userChrome.css? If not, I'm not averse to trying that.

Ivy

more options

I don't know of any negative implication. I have been using a userChrome file for 15+ years. https://www.userchrome.org/how-create-userchrome-css.html

I have the following code to increase fonts in the browser itself. The marks /* */ around the first line indicate that line is comment, not code.

/* global font */
* {
  font-size: 13pt !important;
}

Bewurke troch Terry op

more options

Hi TerryN21,

What do I do with the file once I've created it?

Thanks, Ivy

more options

Oh, never mind, TerryN21 - I just noticed the link you posted!

more options

By the way, the forum modified that code, it should be:

TerryN21 said

I don't know of any negative implication. I have been using a userChrome file for 15+ years. https://www.userchrome.org/how-create-userchrome-css.html I have the following code to increase fonts in the browser itself. The marks /* */ around the first line indicate that line is comment, not code.
/* global font */
* {
  font-size: 13pt !important;
}
more options

Keazen oplossing

Just for reference, what is the default font size?

more options

Thanks All! That userChrome file worked!

more options

never mind - found it - OK, now that that's improved, I don't suppose you can tell me how to do the same for all of the apps I'm running?? :-))

Bewurke troch ifasko op

more options

gyaltnnh said

Just for reference, what is the default font size?

On Windows, tabs use the Segoe UI font at 12 pixels (3/4 of the default size used for web pages, which is 16 pixels). I don't know about Mac/Linux.