Fix test for $is_local in banner
Bugfix color-theme