[linux-elitists] XUL frenzy!

Don Marti dmarti@zgp.org
Wed Sep 26 17:25:57 PDT 2001

My relentless quest for more screen real estate has led to the 
LittleMozilla Mozilla theme:

But I have the below in .mozilla/default/user.js and Mozilla is still
giving me way-too-small fonts.  Anyone got this trick working?

// set minimum font sizes
user_pref("font.min-size.variable.", 14);
user_pref("font.min-size.variable.x-western", 14);
user_pref("font.min-size.fixed.x-western", 14);

Don Marti      What do we want?  Free Dmitry!  When do we want it?  Now! 
http://zgp.org/~dmarti                      Free Dmitry: http://eff.org/
dmarti@zgp.org      Free the web, burn all GIFs: http://burnallgifs.org/        

More information about the linux-elitists mailing list