11-11-2015, 01:52 AM
Further exploration, clearing your IE cache seems to be the crucial step. For the version I'm using, that's Tools (Gearwheel) -> Safety -> Delete Browsing History...
This will also delete your font and highlight text settings.
This will also delete your font and highlight text settings.