Uz ma zacinalo otravovat velke pismo v GUI firefoxu na Linuxe. Zbytocne to zaberalo trilion pixelov ktore vobec nemuselo.

A pritom riesenie je tak trivialne. Staci iba zmenit subor v ~/.mozilla/firefox/xxxxxxx.default/chrome/userChrome.css
Pokial ho tam nemate, tak ho kludne vytvorte. Napriklad aj pouzitim userChrome-example.css ktory sa tam iste nachadza.

Jedine co staci, je pohrat sa s nasledujucimi riadkami (pripadne ich tam vlozit ak tam nie su) a upravit si ich podla seba:

window {
font-size: 8pt !important;
font-family: ‘Bitstream Vera Sans’ !important;
}

dialog, box, button, page {
font-size: 8pt !important;
font-family: ‘Bitstream Vera Sans’ !important;
}

Ulozit, restartovat firefox a hned to vyzera lepsie, no nie? :)

Ak by mal niekto zaujem tak prikladam moj (funkcny) userChrome.css. Najdeny niekde na nete + moje drobne upravy.