change theme, make flycheck highlight prettier