Re: Mozilla-0.9.8 on Debian/Alpha, how to set fontsize for googleinput-box?

2002-02-24 Thread Parish
jwk wrote: From: Christian Biesinger [EMAIL PROTECTED] Date: Sat, 23 Feb 2002 23:10:09 +0100 jwk wrote: What do I do to get this font larger? Try: user_pref(font.min-size.fixed.x-western, 20); Is this a real pref, or is it a typo? I use user_pref(font.minimum-size.x-western, 12); to

Re: Mozilla-0.9.8 on Debian/Alpha, how to set fontsize for googleinput-box?

2002-02-23 Thread Christian Biesinger
jwk wrote: What do I do to get this font larger? Try: user_pref(font.min-size.fixed.x-western, 20); in your prefs.js or user.js. I put [...] in userChrome.css, but this only changed the menus. userChrome.css is for, well, the chrome, ie. the user interface. Try userContent.css for web