Fix Profiler button color on Linux
Some coding style fixes