Category Archives: Geek

软路由安装 ESXi

Leave a reply

前段时间买了一台软路由

这里记录下我怎么折腾的

大概分三部分：装 ESXi，装 openWrt，装黑群

Continue reading →

博客搬家、换域名、动静分离、CDN 加 HTTPS

Leave a reply

这两天花了些时间把博客从 GCP 搬回国内

七七八八折腾了几天，这里把折腾都记录下来，以便查阅

Continue reading →

Jupyter 修改字体

Leave a reply

在 /Users/你的用户名/anaconda3/lib/python3.7/site-packages/notebook/static/components/codemirror/lib 下新建 fonts 文件夹并存放字体文件（最好用 woff2 格式，体积小）
修改上述目录下的 codemirror.css 文件，用下列代码替换原文件中的 .CodeMirror 代码段（注意修改代码中的字体文件名）

@font-face {
  font-family: 'Fira Code';
  src: url("fonts/FiraCode-Retina.woff2");
}
.CodeMirror {
  font-family: 'Fira Code';
  -webkit-font-feature-settings: "liga" on, "calt" on;
  -webkit-font-smoothing: antialiased;
  text-rendering: optimizeLegibility;
}
.output_area pre {
  font-family: 'Fira Code';
  -webkit-font-feature-settings: "liga" on, "calt" on;
  -webkit-font-smoothing: antialiased;
  text-rendering: optimizeLegibility;
}

如果找不到文件夹，建议直接搜索 codemirror.css 文件
有 venv 的需要修改对应目录下的 codemirror.css 文件