docs.rs iosevka term font

change the default fonts on rust docs sites

Verze ze dne 17. 07. 2024. 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         docs.rs iosevka term font
// @namespace    http://tampermonkey.net/
// @version      1.9.7
// @description  change the default fonts on rust docs sites
// @author       You
// @match        *://docs.rs/*
// @match        *://doc.rust-lang.org/*
// @match        *://crates.io/*
// @match        *://rust-lang.github.io/*
// @match        *://www.linusakesson.net/*
// @icon         https://www.google.com/s2/favicons?sz=64&domain=docs.rs
// @grant        none
// @license      MIT
// ==/UserScript==

(function() {
    'use strict';

    // Select all elements with a class containing "font" (common for code blocks)
    const codeElements = document.querySelectorAll("div, a, ol, li, ul, p, pre, code, .font, h1, h2, h3, h4, h5, h6");

    // Loop through each element
    codeElements.forEach(element => {
        // https://stackoverflow.com/questions/38454240/using-css-important-with-javascript
        element.style = "font-family: NotoSansM NFM Cond Med !important";
        element.style.fontSize = "1em";
    });

    // Select all elements with a class containing "font"
    const bodyElements = document.querySelectorAll("body");

    // Loop through each element
    bodyElements.forEach(element => {
        // https://stackoverflow.com/questions/38454240/using-css-important-with-javascript
        element.style = "line-height: normal; font-family: NotoSansM NFM Cond Med !important";
    });


})();