font works on linux and changed back to solarized