improve banner styling when switching languages#3688

100xmanas wants to merge 2 commits intoprocessing:developprocessing/p5.js-web-editor:developfrom

100xmanas:improve-banner-styling-language100xmanas/p5.js-web-editor:improve-banner-styling-languageCopy head branch name to clipboard