change the default fonts on rust docs sites
À partir de
// ==UserScript==
// @name docs.rs iosevka term font
// @namespace http://tampermonkey.net/
// @version 1.9.8
// @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/*
// @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 = "12pt";
});
// 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";
});
})();