GNOME Bugzilla – Bug 325324
small theme does not repect system font settings
Last modified: 2006-06-01 14:39:02 UTC
but the default theme does
The problem is that fonts can only be specified absolutely in a gtkrc file. If we want to reduce the font size in the Small theme (and we want to do that), we need to hardcode a fixed size. You can however change that size in the gtkrc file. The best thing to do here is to file an enhancement request against GTK+ asking for a change to the gtkrc format. If there was the ability to use relative font sizes in the gtkrc file, we would definitely use it.
Diego, have you filed such a request against GTK+ yet?
This bug depends on bug #325767 now, which I had to file against GTK+ after the bug reporter ignored my request.
The Small theme doesn't any longer override the font size. The respective line has been commented out a while ago. Closing as FIXED.