HTML5 for arXiv

An extension that makes html5 source available in arxiv.org based on the amazing ar5iv project.

Чтобы установить этот скрипт, вы сначала должны установить расширение браузера, например Tampermonkey, Greasemonkey или Violentmonkey.

Для установки этого скрипта вам необходимо установить расширение, такое как Tampermonkey.

Чтобы установить этот скрипт, вы сначала должны установить расширение браузера, например Tampermonkey или Violentmonkey.

Чтобы установить этот скрипт, вы сначала должны установить расширение браузера, например Tampermonkey или Userscripts.

Чтобы установить этот скрипт, сначала вы должны установить расширение браузера, например Tampermonkey.

Чтобы установить этот скрипт, вы должны установить расширение — менеджер скриптов.

(у меня уже есть менеджер скриптов, дайте мне установить скрипт!)

Чтобы установить этот стиль, сначала вы должны установить расширение браузера, например Stylus.

Чтобы установить этот стиль, сначала вы должны установить расширение браузера, например Stylus.

Чтобы установить этот стиль, сначала вы должны установить расширение браузера, например Stylus.

Чтобы установить этот стиль, сначала вы должны установить расширение — менеджер стилей.

Чтобы установить этот стиль, сначала вы должны установить расширение — менеджер стилей.

Чтобы установить этот стиль, сначала вы должны установить расширение — менеджер стилей.

(у меня уже есть менеджер стилей, дайте мне установить скрипт!)

// ==UserScript==
// @name         HTML5 for arXiv
// @namespace    http://tampermonkey.net/
// @version      0.1
// @name:zh-CN   HTML5 for arXiv
// @description  An extension that makes html5 source available in arxiv.org based on the amazing ar5iv project.
// @description:zh-cn 更便捷的访问HTML5论文!
// @author       AnCoSONG
// @license      MIT
// @match        https://arxiv.org/abs/*
// @icon         https://www.google.com/s2/favicons?sz=64&domain=arxiv.org
// @grant        none
// ==/UserScript==

(function() {
    'use strict';
    function setup() {
        try {
            var prefix = location.pathname
            var ul = document.querySelector('.full-text ul')
            var li = document.createElement('li')
            var a = document.createElement('a')
            a.href = 'https://ar5iv.org' + prefix
            a.innerText = 'HTML5(ar5iv)'
            a.className = 'abs-button'
            a.target = '_blank'
            li.appendChild(a)
            ul.appendChild(li)
        }catch(e) {
            console.log('error happened, skip.\n', e)
        }
    }
    if (document.readyState === 'loading') {
        document.addEventListener('DOMContentLoaded', setup)
    } else {
        setup()
    }
})();