altered solarized color; added TeX keybindings