use solarized colorscheme; update some snippets