nntp2http.com
Posting
Suche
Optionen
Hilfe & Kontakt

Re: GUI-Schrift anpassen

Von: Christoph 'Mehdorn' Weber (das-mehdorn@despammed.com) [Profil]
Datum: 24.05.2008 13:54
Message-ID: <slrng3g0f7.2kd.das-mehdorn@howard.das-mehdorn.de.vu>
Newsgroup: de.comm.software.mozilla.misc
Hallo!

* Hartmut Figge <h.figge@gmx.de>:

> Falls die DPIs stimmen, gibt es eine weitere Möglichkeit:
> ----- userChrome.css -----
> * {
> font-size: 11pt !important;
>   font-family: arial !important;
> }

IHMO sinnvoller ist es, wenn man die GTK-Einstellungen passend
setzt. Dann hat man die Wunschschrift auch in anderen Programmen
wie beispielsweise dem Gimp.

Christoph

--
Dickfelligkeit ist auch nur eine andere
Interpretation von Merkresistenz.
(Hilko Bengen)
[ Auf dieses Posting antworten ]

Antworten