solarized-theme, company-mode, company-auctex