Make lintsec.html work with IE11