JupyterLabだとターミナルを開いて操作もできますが、デフォルトのフォントがちょっと気持ち悪い。そこで設定を変えました。 Setting >> Advanced Setting Editor >> Terminal を開くと”Default”と”User Preferences”の設定が開かれるので、後者に自分の設定…