Hello Tom. > The general GTK font can be changed easily with switch2, > which edits ~/.gtkrc-2.0 accordingly. Firefox, however, > doesn't obey the settings in that file. Some searching > taught me about userChrome.css, but adding > > { > font-size: 10pt !important; > font-family: tahoma sans-serif !important; > } > > to it doesn't change anything either.Does anybody know > how Firefox's UI font can be set? There are two errors in the above CSS code. First: The selector is missing. With the selector you say which elements should be affected by the rules. Second: Multiple values for the font-family property have to be comma separated. So a valid CSS code would look like this: * { font:10pt Tahoma, sans-serif !important; } With this you select every element in the GUI. (I combined font-size and font-family to the font property.) Regards, Mathias
Attachment:
signature.asc
Description: OpenPGP digital signature