fix up css on danluu.com

danluu.js

// ==UserScript==
// @name         make danluu.com readable
// @namespace    https://www.btbytes.com/
// @version      2024-01-30
// @description  make danluu.com readable
// @author       Pradeep Gowda
// @match        https://danluu.com/*
// @icon         data:image/gif;base64,R0lGODlhAQABAAAAACH5BAEKAAEALAAAAAABAAEAAAICTAEAOw==
// @grant        none
// ==/UserScript==

(function() {
    'use strict';

function addGlobalStyle(css) {
    // source: https://somethingididnotknow.wordpress.com/2013/07/01/change-page-styles-with-greasemonkeytampermonkey/
    var head, style;
    head = document.getElementsByTagName('head')[0];
    if (!head) { return; }
    style = document.createElement('style');
    style.type = 'text/css';
    style.innerHTML = css;
    head.appendChild(style);
};

    addGlobalStyle('main { padding: 0 3em; }');
    addGlobalStyle('header > strong { font-size: 20pt}');
    addGlobalStyle('p { max-width: 80ch; line-height: 1.5em; font-size: 14pt; font-family: sans-serif}');

})();