Currently set to UbuntuMono Nerd Font, easily changable
// ==UserScript==
// @name Font changer
// @include *
// @version 0.22
// @description Currently set to UbuntuMono Nerd Font, easily changable
// @grant none
// @license gpl-3.0-or-later
// @namespace https://greasyfork.org/users/1610462
// ==/UserScript==
var s = document.createElement("style");
s.type = "text/css";
s.textContent = "* { font-family: UbuntuMono-Nerd-Font-Mono sans-serif !important; }";
document.head.appendChild(s);