make wangdoc better
// ==UserScript==
// @name Better-Wangdoc
// @namespace https://wangdoc.com/
// @version 0.1
// @description make wangdoc better
// @author WitchElaina
// @match https://wangdoc.com/*
// @icon https://www.google.com/s2/favicons?sz=64&domain=wangdoc.com
// @grant none
// ==/UserScript==
(function() {
'use strict';
function changeFont() {
var style = document.createElement("style");
style.innerHTML = "code,pre { font-family:source code pro; }";
document.head.appendChild(style);
}
changeFont();
})();