deviceTheme.js: now only looking for Trident to assign default theme to
IE desktp browser, instead of relying both on MSIE and Trident.