Turn on anti-alias in Eiffel theme for better looking screen fonts, adjusted keyword and variable colour slightly to make keywords stand out better (although still not as bold as I would like). Changed: U trunk/Themes/Eiffel.tmTheme