fix hello world, light solarized style