ThemeDesigner: remove ugly modil.js hack