(powerline-default-theme)