Theme differences

It’s not obvious where the changes are now since upgrading to IPS5, I’ll need this for the 4.7.19 > 4.7.20 when I end up doing the upgrade

User Feedback

Clients

2 hours ago2 hr

Yeah. The red/green backgrounds appear on page load, but then some JS takes over and removes them.

I guess it’s related to the new Monaco change for the code boxes: 🤔

#3189: Use Monaco editor for code boxes