Make solarized dark default theme
Minor tweaks to solarized