Fix styling of info boxes

[hobovsky]

Info boxes are now styled with very intense colors, and stand out very prominently, especially in dark mode:

• note is almost white on black
• warning is very aggressive red

I think other boxes are not used currently, but it would be worth to review them too. I generally liked their styling from before the migration a lot.

[kazk]

The previous versions for reference: