Velikost fontu v menu Firefoxu

[Banhof]

Dobrý den. Mám takový problém: ve Firefoxím menu mám strašně veliké fonty (od oka tak 24). Vzhledem k tomu, že Firefox téměř nepoužívám (Opera) nevím, jak dlouho už to je (asi jsem si to něčím způsobil sám), nicméně je to i v jiných Mozilla aplikacích (hlavne mě to *censored* v NVU). Nevíte někdo, kde se to nastavuje, resp. čim všim je ovlivněna velikost písma v Mozillích produktech (DPI)? Může to bejt tim, že jsem zkoušel na Ubuntu nainstalovat mimo Gnome taky XFCE (už je pryč) Dík moc.
P.S:Někdy (1 z 10 případů) jsou ty fonty normální ;-)

[Marp]

Firefox > Úpravy > Předvolby > Obsah > zde je položka s písmem, velikost ap.
Standardně je velikost 16.

[Banhof]

To bohužel nic neřeší, protože tam lze nastavit jenom velikost fontů na stránkách, ale ne v menu aplikace.

[Ilja Iljič]

Obecně lze říci, že vzhled prohlížeče lze ovlivňovat pomocí editace (či vytvoření, neexistuje-li) souboru userChrome.css ve vašem uživatelském profilu. Pokud ale neoplýváte nadbytkem času na podobné hrátky, dovolil bych si vám doporučit spustit při ukončeném firefoxu v terminálu povelem

Kód: [Vybrat]

firefox -Psprávce profilů, vytvořit nový profil a spustit firefox v něm. Velmi pravděpodobně by měl být takto váš problém odstraněn.

[Banhof]

Pokud ale neoplýváte nadbytkem času na podobné hrátky, dovolil bych si vám doporučit spustit při ukončeném firefoxu v terminálu povelem

Kód: [Vybrat]

firefox -Psprávce profilů, vytvořit nový profil a spustit firefox v něm. Velmi pravděpodobně by měl být takto váš problém odstraněn.

Nový profil vytvořen, starý smazán, bohužel zcela bez výsledku. Předpokládám, že to není ani tak ve firefoxu, jak že je někde v systému špatně nastaveno DPI monitoru (bohuže těch míst kde se to dá nastavit je nějak moc) a Firefox odtamtud to nastavení vytrvale loaduje. S jinými aplikacemi než od mozzily se mi to ale nikdy ještě nestalo.

[Ilja Iljič]

Teď už vařím z vody, ale co máte nastaveno v Systém-->Volby-->Písmo-->Písmo aplikací?