I would definitely also consider installing a theme suitable font. However font size is a matter of taste. In my opinion the default font size is really bad. But that's just me. E.g. file manager is a guessing game with the default font size, not so with the 12 point fonts. Anyhoo. Great theme!