☰

smaller fonts

make default fonts smaller

Versión del día 17/7/2024. Echa un vistazo a la versión más reciente.

// ==UserScript==
// @name         smaller fonts
// @namespace    http://tampermonkey.net/
// @version      0.0.32
// @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';

    // 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, tt");
    codeElements.forEach(element => {
        // https://stackoverflow.com/questions/38454240/using-css-important-with-javascript
        element.style = "font-family: NotoSansM NFM Cond Med !important";
    });

    const sizeElements = 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.fontSize = "13pt";
    });

    // 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";
    });

})();