banner-style notifications

Rebased version of PR #772