A CSS to customize Eclipse in dark colors