Improve the notifications UI

This PR adds a close button to notifications, and makes a few other small changes.