Fix #2107, Sandcastle highlighting in IE 11.
Merge pull request #2116 from AnalyticalGraphicsInc/issue2107

Fix #2107, Sandcastle highlighting in IE 11.