True, but if you just change the fontsize and nothing more, the theme won't feel 'right'. Large scrollbars, lot's of open unused space arround the small fonts... It has to be a complete 'small' theme or it will be worse than the large fonts.