☰

smaller fonts

make default fonts smaller

目前为 2024-07-18 提交的版本。查看 最新版本。

// ==UserScript==
// @name         smaller fonts
// @namespace    http://tampermonkey.net/
// @version      0.0.35
// @description  make default fonts smaller
// @author       You
// @match        *://www.linusakesson.net/*
// @icon         https://www.google.com/s2/favicons?sz=64&domain=docs.rs
// @grant        none
// @license      MIT
// ==/UserScript==

(function() {
    'use strict';

    const codeElements = document.querySelectorAll("div, a, ol, li, ul, p, pre, code, .font, tt");
    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 = "13pt";
    });

    // Select all elements with a class containing "font"
    const bodyElements = document.querySelectorAll("body");
    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";
    });

})();