You could have a look at this file : urs/share/themes/xxx/gtk-2.0/gtkrc Wayyyyyy down is the option to change the size of the font.