Jupyter notebookのthemeを変えたら出力セルが見切れる件
最高なjupyter notebookをさらに最高にするためのjupyter notebook themesをインストールしたが、
どうも表示の調子がよくない。端が切れている。
OS:Mac OS High Sierra
ブラウザ:Google Chrome v64
(Safariでも同様)
このままでは辛いので、もとのcssを直接編集して対応することにした。
~/.jupyter/custom/custom.cssにあるだろうと予想をつけて、
適当にoutputで検索しているとそれらしいものを発見した。
山勘でpaddingを増やしたところうまくいってしまった。
div.output_subarea { overflow-x: auto; padding: 1.8em !important; /* もともとコレ padding: 0.8em !important;*/ -webkit-box-flex: 1; -moz-box-flex: 1; box-flex: 1; flex: 1; }
1.8が妥当かはまったく検討なし。
以上。