Prettier rust docs

改变doc.rust-lang.org、docs.rs文档style

Verze ze dne 08. 02. 2022. Zobrazit nejnovější verzi.

K instalaci tototo skriptu si budete muset nainstalovat rozšíření jako Tampermonkey, Greasemonkey nebo Violentmonkey.

You will need to install an extension such as Tampermonkey to install this script.

K instalaci tohoto skriptu si budete muset nainstalovat rozšíření jako Tampermonkey nebo Violentmonkey.

K instalaci tohoto skriptu si budete muset nainstalovat rozšíření jako Tampermonkey nebo Userscripts.

You will need to install an extension such as Tampermonkey to install this script.

K instalaci tohoto skriptu si budete muset nainstalovat manažer uživatelských skriptů.

(Už mám manažer uživatelských skriptů, nechte mě ho nainstalovat!)

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

(Už mám manažer uživatelských stylů, nechte mě ho nainstalovat!)

// ==UserScript==
// @name         Prettier rust docs
// @namespace    http://tampermonkey.net/
// @version      0.4
// @description  改变doc.rust-lang.org、docs.rs文档style
// @author       Naturel
// @match        https://doc.rust-lang.org/*
// @match        https://docs.rs/*
// @icon         https://www.google.com/s2/favicons?domain=rust-lang.org
// @grant        none
// @license MIT
// ==/UserScript==

(function() {
  'use strict';
  var isRun = false;

  const addDetailBorder = () => {
    document.head.insertAdjacentHTML(
      'beforeend',
      `<style>
        details.rustdoc-toggle {
          border: 1px solid green!important;
          margin-top: 5px;
          padding-left: 5px;
        }
      </style>`,
    );
  };

  if (!isRun) {
    addDetailBorder();
  }
})();