Firefox + Linux + mensie pismo
Taka drobnost, ale pre mna celkom uzitocna vec.
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.
Prikladam moj lahko primitivny, ktory moze dopomoct k minimalizu :)
https://svn.kexik.net/viewvc/shots/src/firefox-profile/chrome/userChrome.css?revision=8&view=markup
A doplnam, ze zdaleka nejde len o Linux, si zly Furby a chces odohnat pouzivatelov Windowsu, priznaj sa. Nemam ta rad.
Lubosko> ok ok, no pod oknami som tento problem nemal. to vsak nevylucuje pouzitie tiez upraveneho userChrome.css :)
v kazdom pripade, ten tvoj som sice neskusal, no po zhliadnuti toho co obsahuje musim uznat ze ide skutocne o minimalisticky :))))
Tiez riesenie:
### cat .gtkrc-2.0
gtk-theme-name = “human”
gtk-icon-theme-name = “Tango”
gtk-font-name = “Tahoma 8″