Fixed font style on Firefox.
And adapted to changes in GDJS.
Minor changes in some editors.