☰

Github Code Font: Victor Mono

Makes Github's code font Victor Mono. Targets mobile Chrome-based browsers via Adguard for Android & mobile Iceraven (Firefox) via Violentmonkey.

  1. // ==UserScript==
  2. // @name         Github Code Font: Victor Mono
  3. // @namespace    https://github.com/holyspiritomb
  4. // @author       spiritomb
  5. // @version      1.5.6a
  6. // @description  Makes Github's code font Victor Mono. Targets mobile Chrome-based browsers via Adguard for Android & mobile Iceraven (Firefox) via Violentmonkey.
  7. // @license      MIT
  8. // @match        https://github.com/*
  9. // @match        https://*.github.com/*
  10. // @run-at       document-start
  11. // @grant        GM_addStyle
  12. // @grant        GM_getResourceURL
  13. // @grant        unsafeWindow
  14. // @icon         https://www.google.com/s2/favicons?domain=github.com
  15. // @homepageURL  https://github.com/holyspiritomb/userscripts
  16. // @homepage     https://github.com/holyspiritomb/userscripts
  17. // @resource     victorR https://cdn.jsdelivr.net/npm/victormono@1.5.6/dist/woff/VictorMono-Regular.woff
  18. // @resource     victorRW https://cdn.jsdelivr.net/npm/victormono@1.5.6/dist/woff2/VictorMono-Regular.woff2
  19. // @resource     victorI https://cdn.jsdelivr.net/npm/victormono@1.5.6/dist/woff/VictorMono-Italic.woff
  20. // @resource     victorIW https://cdn.jsdelivr.net/npm/victormono@1.5.6/dist/woff2/VictorMono-Italic.woff2
  21. // ==/UserScript==
  22.  
  23. (function() {
  24.     // this is hacky but it works?
  25.     let victorRegular = GM_getResourceURL("victorR", false);
  26.     let victorRegular2 = GM_getResourceURL("victorRW", false);
  27.     let victorItalic = GM_getResourceURL("victorI", false);
  28.     let victorItalic2 = GM_getResourceURL("victorIW", false);
  29.     var css = "";
  30.     css += `
  31.             :root {
  32.                 --fontStack-monospace: "Victor Mono", ui-monospace, Menlo, Consolas, Liberation Mono, monospace;
  33.             }
  34.  
  35.             @font-face {
  36.                 font-family: "Victor Mono";
  37.                 src: url(${victorRegular2}) format("woff2"),
  38.                     url(${victorRegular}) format("woff");
  39.                 font-weight: 400;
  40.                 font-style: normal;
  41.                 font-display: swap;
  42.             }
  43.             
  44.             @font-face {
  45.                 font-family: "Victor Mono";
  46.                 src: url(${victorItalic2}) format("woff2"),
  47.                     url(${victorItalic}) format("woff");
  48.                 font-weight: 400;
  49.                 font-style: italic;
  50.                 font-display: swap;
  51.             }
  52.             
  53.             .CheckStep-line,
  54.             .blob-code-inner,
  55.             .commit-ref,
  56.             .highlight pre,
  57.             .markdown-body code,
  58.             .markdown-body pre,
  59.             .markdown-body tt,
  60.             .pl-c,
  61.             .pl-c span,
  62.             .react-blob-print-hide,
  63.             .react-file-line,
  64.             .text-mono,
  65.             code .link-gray,
  66.             code,
  67.             kbd,
  68.             pre,
  69.             textarea#read-only-cursor-text-area,
  70.             tt,
  71.             [class^='pl-'] {
  72.                 font-family: "Victor Mono" !important;
  73.             }
  74.             .pl-c,
  75.             .pl-c span {
  76.                 font-style: italic !important;
  77.             }
  78.  
  79.     `;
  80.     if (typeof GM_addStyle != "undefined") {
  81.         GM_addStyle(css);
  82.     } else {
  83.         let styleNode = document.createElement("style");
  84.         styleNode.appendChild(document.createTextNode(css));
  85.         (document.querySelector("head") || document.documentElement).appendChild(styleNode);
  86.     }
  87. })();