MediaWiki:Gadget-SwitchFont.js

お知らせ: 保存した後、ブラウザのキャッシュをクリアしてページを再読み込みする必要があります。

多くの Windows や Linux のブラウザ

Ctrl を押しながら F5 を押す。

Mac における Safari

⇧ Shift を押しながら、更新ボタンをクリックする。

Mac における Chrome や Firefox

⌘ Cmd と ⇧ Shift を押しながら R を押す。

/*
 * 欧文、和文の合成フォント指定に対応できるMacとWindowsのモダンブラウザ
 * を判別しclassをhtml要素に追加する
 */
(function() {
    var ua = window.navigator.userAgent.toLowerCase();
    var clientType = 'jaFontOther';
    if (ua.indexOf('mac os x') !== -1) 
    {
        clientType = 'jaFontMac';
    } 
    else if (!( (ua.indexOf('msie')        !== -1 && parseFloat(ua.split("trident/")[1]) < 7)
            || (ua.indexOf('firefox/')     !== -1 && parseFloat(ua.split('firefox/')[1]) < 3)
            || ua.indexOf('android')       !== -1
            || ua.indexOf('blackberry')    !== -1
            || ua.indexOf('webos')         !== -1 
            || ua.indexOf('playstation')   !== -1
            || ua.indexOf('symbianos')     !== -1
            || ua.indexOf('series60')      !== -1 
            || ua.indexOf('netfront')      !== -1 
            || ua.indexOf('opera mini')    !== -1 
            || ua.indexOf('s40ovibrowser') !== -1))
    {
        clientType = 'jaFontWin';
    }
    var html = document.documentElement;
    var cName = html.className;
    html.className = (cName.length > 0) ? cName + ' ' + clientType : clientType;
})();