User:Andrewds1021/global.js

idx = navigator.userAgent.indexOf("MSIE"); if (idx == -1) { idx = navigator.userAgent.indexOf("Trident/7"); } if (idx > 0) { importArticles({       type: "style",        article: "u:w:User:Andrewds1021/IE11.css"    }); }