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.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
