jupyter notebookのスタイル変更
jupyter notebookを使うことになったのでやる気を上げるためスタイル変更をば
jupyter themesのインストール
ある程度雛形が存在しているようなのでそれを使うのがいいかと
pip install jupyterthemes
いくつか使えるスタイルがあるので気に入ったのを使えばOK。
使えるスタイルは以下で確認できる
jt -l >Available Themes: chesterish grade3 gruvboxd gruvboxl monokai oceans16 onedork solarizedd solarizedl
個人的に気に入ったmonokaiを使用することに
jt -t monokai
これである程度大枠が完成した
フォントの変更
notebookを開いたら、コードのフォントがくそダサかったので変更することに
jt -t monokai -f <フォント>
が用意されているはずだが、できないので.cssをいじる
~/.jupyter/custom/custom.cssの中身をいじることでフォントの変更が可能
div.CodeMirror pre {
font-family: Ricty Diminished;
font-size: 11pt;
line-height: 170%;
color: #f8f8f0;font-family以下をいじることでフォントが変えられる。今回はRicty Diminishedを使った。
フォントのDLなどは以下サイトを参考に。
とりあえず満足したのでここまで。もうちょっといろいろいじりたいかな。
