Yep, hence the use of Trident/7.0 ? Maybe we could update deviceTheme.js in another update ? Or I can search for Trident only, instead of searching for Trident/7.0 (doing that AFTER searching for IE < 11) ?