Improved Doxygen styling

Make the text of Doxygen easier to read

За да инсталирате този скрипт, трябва да имате инсталирано разширение като Tampermonkey, Greasemonkey или Violentmonkey.

За да инсталирате този скрипт, трябва да имате инсталирано разширение като Tampermonkey или Violentmonkey.

За да инсталирате този скрипт, трябва да имате инсталирано разширение като Tampermonkey или Violentmonkey.

За да инсталирате този скрипт, трябва да имате инсталирано разширение като Tampermonkey или Userscripts.

За да инсталирате скрипта, трябва да инсталирате разширение като Tampermonkey.

За да инсталирате този скрипт, трябва да имате инсталиран скриптов мениджър.

(Вече имам скриптов мениджър, искам да го инсталирам!)

За да инсталирате този стил, трябва да инсталирате разширение като Stylus.

За да инсталирате този стил, трябва да инсталирате разширение като Stylus.

За да инсталирате този стил, трябва да инсталирате разширение като Stylus.

За да инсталирате този стил, трябва да имате инсталиран мениджър на потребителски стилове.

За да инсталирате този стил, трябва да имате инсталиран мениджър на потребителски стилове.

За да инсталирате този стил, трябва да имате инсталиран мениджър на потребителски стилове.

(Вече имам инсталиран мениджър на стиловете, искам да го инсталирам!)

// ==UserScript==
// @name         Improved Doxygen styling
// @namespace    http://tampermonkey.net/
// @version      1.0
// @description  Make the text of Doxygen easier to read
// @author       Joost Visser
// @match        https://output.circle-artifacts.com/*/doxygen/*
// @match        */*/*/build/docs/html/*
// @icon         data:image/gif;base64,R0lGODlhAQABAAAAACH5BAEKAAEALAAAAAABAAEAAAICTAEAOw==
// @grant        none
// @license MIT
// ==/UserScript==

(function() {
    'use strict';
    let maxWidth = "55em";

    let doc = document.querySelector("#doc-content");
    let header = document.querySelector(".header");
    let contents = document.querySelector(".contents");

    doc.style.display = "flex";
    doc.style.alignItems = "start";
    doc.style.flexDirection = "column";

    header.style.width = "100%";
    header.style.maxWidth = maxWidth;

    contents.style.width = "100%";
    contents.style.maxWidth = maxWidth;

})();