The Tip in Imp World Level 6 displayed incorrectly

[ada4a]

There is some visual bug where the the first couple of words (and the "Tip" heading) don't get displayed, leading to an incomplete sentence with broken formatting. There's also a strange grey box below the paragraph, not sure if it's related.

I'm running Firefox on Linux if that helps

[Trequetrum]

I'll look into this. Thanks!

[cionx]

I can confirm this issue both in Firefox 141 (Gecko-based), Vivaldi 7.5 (Blink-based). From what I can tell the same problem also occurs in Level 1/9 of the same world.

This seams to be a problem with the Lean game engine, see leanprover-community/lean4game#316.