docs.rs font and size fixes

change the default fonts on rust docs sites

目前為 2024-12-02 提交的版本,檢視 最新版本

您需要先安裝使用者腳本管理器擴展,如 TampermonkeyGreasemonkeyViolentmonkey 之後才能安裝該腳本。

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

您需要先安裝使用者腳本管理器擴充功能,如 TampermonkeyViolentmonkey 後才能安裝該腳本。

您需要先安裝使用者腳本管理器擴充功能,如 TampermonkeyUserscripts 後才能安裝該腳本。

你需要先安裝一款使用者腳本管理器擴展,比如 Tampermonkey,才能安裝此腳本

您需要先安裝使用者腳本管理器擴充功能後才能安裝該腳本。

(我已經安裝了使用者腳本管理器,讓我安裝!)

你需要先安裝一款使用者樣式管理器擴展,比如 Stylus,才能安裝此樣式

你需要先安裝一款使用者樣式管理器擴展,比如 Stylus,才能安裝此樣式

你需要先安裝一款使用者樣式管理器擴展,比如 Stylus,才能安裝此樣式

你需要先安裝一款使用者樣式管理器擴展後才能安裝此樣式

你需要先安裝一款使用者樣式管理器擴展後才能安裝此樣式

你需要先安裝一款使用者樣式管理器擴展後才能安裝此樣式

(我已經安裝了使用者樣式管理器,讓我安裝!)

// ==UserScript==
// @name         docs.rs font and size fixes
// @namespace    http://tampermonkey.net/
// @version      1.9.15
// @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';

    // THIS RUNS FIRST! The ordering matters (eg: for `p`).

    // Select all elements with a class containing "font"
    const bodyElements = document.querySelectorAll("body, h1, h2, h3, h4, h5, h6, div, a, ol, li, ul, p, .font");

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

    // THIS RUNS LAST! The ordering matters (eg: for `p`).

    // Select all elements with a class containing "font" (common for code blocks)
    const fontSizeElements = document.querySelectorAll("pre, code, p");

    // Loop through each element
    fontSizeElements.forEach(element => {
        // https://stackoverflow.com/questions/38454240/using-css-important-with-javascript
        element.style = "font-size: 12pt !important";
    });

})();