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 think its somewhere in the settings but I can't figure out how to
> > > get there. I thought it was about:settings but that doesn't work.
> >
> > about:config
>
> Thanks. That's the page I was remembering but there's no option to
> change the tool-bar fonts.
>
> 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"
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
--
Regards, | http://users.icfo.es/Florian.Kulzer
Florian |
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
