On Fri, Jun 14, 2002 at 10:42:46AM -0400, Travis Crump wrote:
>
>
> Ross Boylan wrote:
> >I was playing around with fonts on Mozilla today, and noticed a number
> >of odd things. I'd be curious if anyone can explain a bit more about
> >what is going on.
> >
> >1. I can't find anything that controls the fonts used in the browser
> >menu bar and menus. It looks as if the same font may be used on
> >displayed pages too, for example as the value of a button (e.g., "Go
> >To Download Page" button on the bottom of Debian package pages).
> >The font I'm getting is not too legible.
> >
>
> Fonts in the menu bar and menus are controlled by your gtk theme.
> Either change it with the Gnome Control Center or since you are using
> KDE, edit ~/.gtkrc. Mine has:
>
> style "user-font"
> {
> fontset="-ttf-times new roman-medium-r-normal-*-*-120-*-*-p-*-iso8859-1"
> }
> widget_class "*" style "user-font"
>
> Individually the fonts for the different widgets can be individually
> controlled with userChrome.css, but that is more complicated.
>
Beautiful! That's what I needed. I have slightly different names and
intentions:
-monotype-times new roman-medium-r-normal-*-15-*-*-*-*-*-iso8859-1
Thanks. That's *much* better.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
