Make outdated banner noisier, cleanup layouts#2634

Merged

bishabosha merged 7 commits intoscala:mainfrom

bishabosha:make-outdated-banner-noisier

Nov 17, 2022

Commits on Nov 15, 2022

make outdated notice more intrusive
bishabosha
committed

Commits on Nov 16, 2022

Commits on Nov 17, 2022