Wie ändere ich die Systemschrift?

Extras/Einstellungen/Allgemein/Schriften

Die Schriftart und Größe kannst Du mit folgendem Code in der userCrome.css ändern:

/*----- Schriftaenderung -----*/


window {
  font-size: 9pt !important;
  font-family: Comic Sans MS !important;
}


#sidebar {
  font-size: 9pt !important;
  font-family: Comic Sans MS !important;
}


dialog, box, button, page {
  font-size: 9pt !important;
  font-family: Comic Sans MS !important;
}


label {
  font-size: 9pt !important;
  font-family: Comic Sans MS !important;
}


caption {
  font-size: 9pt !important;
  font-family: Comic Sans MS !important;
}


textbox {
  font-size: 9pt !important;
  font-family: Comic Sans MS !important;
}


menubar > menu {
  font-size: 9pt !important;
  font-family: Comic Sans MS !important;
}


menupopup > * {
  font-size: 9pt !important;
  font-family: Comic Sans MS !important;
}


.toolbarbutton-text {
  font-size: 9pt !important;
  font-family: Comic Sans MS !important;
}


.tab-text {
  font-size: 9pt !important;
  font-family: Comic Sans MS !important;
}

Die Datei userChrome.css liegt im Profilordner. Wenn sie nicht existiert, kannst Du sie aus der userChrome-example.css durch Namensänderung erzeugen.

Zitat von Gertrud

CSS

/*----- Schriftaenderung -----*/


window {
  font-size: 9pt !important;
  font-family: Comic Sans MS !important;
}
[..]

wenn für alle Eintraege die gleichen Einstellungen gelten sollen, können sie einfach mit Kommas getrennt angegeben werden und Schriftarten mit Leerzeichen im Namen müssen in Anführungszeichen stehen:

#sidebar,
dialog, box, button, page,
label,
caption,
textbox,
menubar > menu,
menupopup > *,
.toolbarbutton-text,
.tab-text {
  font-size: 9pt !important;
  font-family: 'Comic Sans MS' !important;
}

Hallo,
möchte mich mal hier anhängen, weil mich das Thema z.Zt. auch beschätigt/interessiert.

Kann ich diesen Eintrag, wie ihn Dr. Evil geschrieben hat, direkt in die UserChrome übernehmen und hab dann die Taskleiste, LesezeichenSymbolleiste, Dialogboxen etc. in dem Schrifttyp "Comic Sans MS" ???
Ich vermisse hier die Definition der Schriftgröße !!!!

Muß ich beim einfügen in der UserChrome etwas beachten, ich meine speziel den Standort in der UserChrome (am Anfang/am Ende) ???

Wie kann ich im Vorfeld die Schrifttypen anschauen, also bevor ich den Eintrag in der ChromeExe mach ???

Gruß
Barny

Hallo Barny,

Schriftgröße = font-size ist doch vorhanden.
Weil ich dieselben Einstellungen in Windows und Linux benutze, ist für mich die Einheit px statt pt besser geeignet.

Wozu "im Vorfeld die Schrifttypen anschauen"? Das Ausprobieren ist doch nicht zu kompliziert?!

Überhaupt: Ausprobieren!

Martin

Einfach mal den Ordner Windows - Fonts öffnen?

Font-size => hatte Tomaten auf den Augen :oops:

Welche Schrifttypen stehen denn so zur Verfügung, kann man die irgendwo gelistet sehen oder kann ich einfach die nehmen, die auch WIN XP als Schrifttypen verwendet ??? :roll:

Gruß
Barny

PS:
was ist mit dem Eintrag von Dr. Evil ???
Kann ich den so übernehmen???
Standort - kann ich ihn einfach ans Ende der UserChrom klatschen ????
:roll:

Du kannst alle Schriftarten benutzen, die du auf dem System installiert hast.
Also die, die du auch in Word usw. auswählen kannst.

EDIT: Du kannst das einfügen wo du willst. Nur nicht innerhalb von Kommentaren, das heißt nicht zwischen /* und */.

Wenn du willst, kannst du alles vorhandene löschen, und nur das hier genannte einfügen.

@Dr.Evil: Du hast recht mit dem Zusammenfassen. Ich hatte das alles einzeln, weil ich an einigen Stellen noch mit font-weight: bold; und color: #000000; herumgespielt habe.