[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: how adjust toolbar fonts in iceweasel?



On Tue, Oct 14, 2008 at 11:50:15PM +0200, Florian Kulzer wrote:
> On Tue, Oct 14, 2008 at 11:43:33 -0400, Douglas A. Tutty wrote:
> > On Tue, Oct 14, 2008 at 04:58:41PM +0200, Nyizsnyik Ferenc wrote:
> > > On Tue, 14 Oct 2008 10:33:00 -0400 "Douglas A. Tutty" wrote:
> > > > On Tue, Oct 14, 2008 at 06:22:00AM -0500, Hugo Vanwoerkom wrote:
> > > > > Douglas A. Tutty wrote:
> > > > > >hello all,
> > > > > >
> > > > > >I use Iceweasel with icewm (no DTE).  I've temporarily switched
> > > > > >from my 21" monitor to a very small one and the fonts on e.g. the
> > > > > >toolbars in iceweasel are too big.  For Konqueror I found some K
> > > > > >settings app to change those fonts.  Is there a simple app to
> > > > > >install to change them for Iceweasel?  I don't want to have to
> > > > > >install a GTK DTE just to change some settings.
> > > > > >
 
> > I have two users on my system.  I used to use xfce4 (until I found that
> > it kept using memory [leak?]).  At that time, each user (dtutty and
> > dtbrowser for using javascript and flash) had different gtk settings.
> > Now that I don't have xfce4 installed I still want to change the gtk
> > settings (which affects how firefox looks).  Yet I can't find an app in
> > aptitude that does it other than teh xfce4 one but I don't want to
> > install the whole shebang just for this.
> 
> I think iceweasel respects the settings in ~/.gtkrc-2.0, so you could
> try something like this:
> 
> style "user-font" { font_name="Bitstream Vera Sans 11" }
> widget_class "*" style "user-font"
> 

Didn't help.  

I compared the home directories of dtutty and dtbrowser and did not find
anything that would seem to apply, yet they get different-appearing
iceweasels.

> It should be possible to use any font name listed by
> 
> fc-list | cut -d\: -f1
> 
> plus a number for the size in points.
> 
> Writing your own userChrome.css is another option (which only affects
> iceweasel):
> 
> http://www.mozilla.org/unix/customizing.html#userChrome

That may be the next step.  It shouldn't be this hard.

Doug.


Reply to: