Fix #2107, Sandcastle highlighting in IE 11.

Borrowed some code from DeveloperError.js to fix this.