> Turn on anti-alias in Eiffel theme for better looking screen fonts Anti-alias is actually a user setting, as is the font and font size. :)