Mozilla: Menüschriftgröße ändern

[frbie]

Hallo,

ich finde einfach keine Möglichkeit die Größe der menüschriften in Mozilla 1.3 zu verändern.

Ich meine nicht die Webseitenschriftgröße.

Bitte um Info.

Viele Grüße

Frank

[[WCM]Manx]

Hi!

Das geht über die ~/.gtkrc
meine (mit gtk-Mist Theme):


module_path "/usr/local/lib/gtk/themes/engines/"

include "/usr/local/share/themes/Mist/gtk/gtkrc"

style "user-font"
{
font="-microsoft-verdana-medium-r-normal-*-12-*-*-*-p-*-iso8859-*"
}
widget_class "*" style "user-font"


Manx

[harley]

beim 1.3 (der zur zeit in SID ist) funktioniert das leider nicht, für gtk2 sieht das btw noch etwas anders aus

[frbie]

Hallo,

leider habe ich genau den 1.3 und ich kriege es damit wirklich nicht zum laufen. Gibt es noch einen anderen Weg?

[[WCM]Manx]

> für gtk2 sieht das btw noch etwas anders aus

Basiert der Mozilla 1.3 auf gtk 2.x ?
Ansonsten sollte es so funktionieren, zumindest bei meinem Mozilla 1.2.1 aus dem Gnome2.2 backport für woody.

Grüße

Manx

[frbie]

Hallo,

ich vermute ich mache noch etwas falsch. Ich habe jetzt mal alle dateien suchen lassen die ein .gtkrc beinhalten. Das sind einige Dateien die in verschiedenen Verzeichnissen liegen. Welche muss ich denn dann entsprechend ändern?

BTW, ich benutze KDE 3.1.1. Ändert dies etwas?