First, thanks a lot for your answer!!
Am Montag, 07.07.03 um 14:45 Uhr schrieb Jérôme Warnier:
Le sam 05/07/2003 à 17:47, Andreas Wüst a écrit :(please cc me since I am not subscribed to the -gtk-gnome list)Why do you keep Mozilla 1.0?
(Please note that I've alredy asked this question on -user, but nobody seemed to know the answer)
Hi
I've installed gnome2 from unstable and am running mozilla 1.0 from stable. To go straight, the mozilla ui (i.e. menu, bookmark bar, etc.) fonts are just ways too big! With gnome1.4 this hasn't been a problem since mozilla 1.0 seemed to listen to the "application font" settings within gnome-control-center, but with gnome2, no chance.
AFAIK 1.0 is the so called stable branch, and only 1.4 is going to be the new stable branch.
Anyway, it has to do with the fact that Mozilla 1.0 does not use XFt, which 1.2+ use. To use it, install the package mozilla-xft.
Cool!! But I finally found an answer to only alter the font sizes without going for aa fonts:
http://lists.debian.org/debian-user/2003/debian-user-200307/ msg00519.html
Well, my question has basically already been answered in that post, but unfortunately I used the wrong terms with the archive search engine and so did not find it. What I did was:
In ~/.mozilla/default/*/chrome/userChrome.css, I put
* {
font-size: 8pt !important;
}Thats all (I also altered the entry concerning the pop-up menus, but it basically is all alredy in the example file). But: what's not in the example file: you definitely NEED the "*" before the "{", otherwise it WON'T work!!
What do I have to do in order to get some sensible font sizes for mozilla? (And, yes, I already read http://www.mozilla.org/unix/customizing.html aswell as http://www.mozilla.org/unix/dpi.html, but hey, we aren't doing no profiles in debian! I've changed user.css and userChrome.css accordingly, but whereever I put those files, they did not have any impact on mozilla at all.)Maybe it has something to do with the fonts in GTK+ 1.x? If so, the current control-panel does not allow you to change them.
Hmm, don't know if mozilla 1.0 would listen to gtk1.2-gnome2 (don't remember the correct file name) or something.
I hope you have any inputs to help me, I would really appreciate it!<signature.asc>
-- Thanks alot, and all the best, Andi
-- Thanks again for your answer!! Best wishes, Andi
-- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
