使用Tampermonkey更改JupyterNotebook字体大小

JupyterNotebook是个好用的工具,但是使用过程中发现它的字体太小了,而且没有更改字体大小的功能.

网上搜到一个可以更改JupyterNotebook主题的插件jupyter-themes,但可惜不支持JupyterLab.

另一种方案是更改JupyterNotebook源码的css,但这样做将来JupyterNotebook升个级可能会被覆盖掉.

这时,我想到了Tampermonkey,一个可以在网站上运行自定义js的插件.

首先从chrome商店下载安装Tampermonkey.

然后切换到你要运行脚本的网站,在Tampermonkey上点击添加新脚本

添加一段js更改字体大小

(function() {
    'use strict';
    function addGlobalStyle(css) {
        var head, style;
        head = document.getElementsByTagName('body')[0];
        if (!head) { return; }
        style = document.createElement('style');
        style.type = 'text/css';
        style.innerHTML = css;
        head.appendChild(style);
        console.log("tampermonkey addGlobalStyle");
    }

    addGlobalStyle('.CodeMirror { font-size: 20px }.jp-RenderedHTMLCommon{ font-size: 20px }');
})();