Dashboard: header banner behavior

Feature requests
1

Make the top banner’s behavior « fixed » during page scrolling, so it’s available even at the bottom of the page. Also, be able to hide it intelligently?