Themes for Eclipse.