My themes for erlide. (Using eclipse-color-theme)