Various tweaks to MDN to improve readability

make-mdn-great-again.js

// ==UserScript==
// @name         MDN fixes
// @namespace    kevinbatdorf
// @version      0.1
// @description  Make MDN great again
// @author       You
// @match        https://developer.mozilla.org/*
// @icon         https://www.google.com/s2/favicons?sz=64&domain=mozilla.org
// @grant        none
// ==/UserScript==

(function() {
  'use strict';
  document.documentElement.style.setProperty("--max-width", "1800px");
})();