Change Google Colab Font

Greasy Fork is available in English.

Change Google Colab Font

Changes the editor, output and markdown render font in Google's Colab.

Fai una domanda, pubblica una recensione, oppure segnala lo script.

Manda a capo le linee

// ==UserScript==
// @name     Change Google Colab Font
// @description Changes the editor, output and markdown render font in Google's Colab.
// @include  https://colab.research.google.com/drive/*
// @grant    GM_addStyle
// @grant    GM_getValue
// @grant    GM_setValue
// @run-at   document-start
// @license BSD-3
// @version 0.0.1.20220122033449
// @namespace https://greasyfork.org/users/867680
// ==/UserScript==

(async () => {

  const DEFAULT_FONT = JSON.stringify(
    "Fira Code"
  );

  const GetFont = async (key) => {
    var value = await GM_getValue(key+'_font', DEFAULT_FONT);
    
    (value === DEFAULT_FONT) && await GM_setValue(key+'_font', value);

    return value;
  };


  GM_addStyle(`
    @import url(https://cdn.jsdelivr.net/gh/tonsky/FiraCode@4/distr/fira_code.css);

    .view-line {
      font-family: ${await GetFont('editor')} !important;
    }
    .output_text {
      font-family: ${await GetFont('output')} !important;
    }
    .markdown {
      font-family: ${await GetFont('markdown')} !important;
    }
  `);

})();