Mojaveにアップデートしたら jupyter notebook で設定したフォントが適用されなくなった

jupyter notebookのフォントを,等幅で見やすい Rictyフォント に変更していた. デフォルトのフォントはインデントが分かりづらい上に,文字も見づらい.

デフォルトフォント f:id:Panaki:20181117144004p:plain

Ricty フォント f:id:Panaki:20181117144046p:plain

フォント設定は ~/.jupyter/custom/custom.css に記述します.(なければ作ってください)

以前まではどこかのサイトで拾ってきた以下のコードをそのままコピペしていました.

.CodeMirror pre, .output pre{
    font-family: Ricty-Regular;
    font-size: 11pt;
}

しかし,Mojaveでは上記のコードではフォントが適用されない.

発見的解決法になるが,Mojaveでは以下のものだけ記述するとフォント設定が適用される.

font-family: Ricty;
font-size: 11pt;