jupyterlab-スタイルの変更-フォント、フォントサイズ
私は最近、JupyterLabの最新バージョン（0.28.12）に更新しました。私はWindowsを使用しています。
Miniconda/Anacondaフォルダーのvariables.cssにある\Lib\site-packages\jupyterlab\themes\@jupyterlab\theme-light-extensionファイルを調整してみました。主にフォントファミリとサイズを変更したいのですが、variables.cssファイルを使用してみました。しかし、何の変化も見えません。
両方のテーマフォルダーを削除するという極端な点に行きましたが、それでもラボのインターフェイスを介して問題なくテーマを変更できます。
JupyterLabテーマの.cssファイルはどこにありますか？またはどうすればそれらを見つけることができますか？私はcssファイルを検索しましたが、themesサブフォルダがそれらの唯一の場所のようです。ユーザーディレクトリにもc:\Users\User\.jupyterが見つからないようです。JupyterNotebook用の.cssファイルがありました。
ありがとう！
http://jupyterlab.readthedocs.io/en/latest/user/extensions.html?highlight=themes から：
- Themesディレクトリには、JupyterLabテーマ拡張のアセット（CSSやアイコンなど）が含まれています。
- テーマディレクトリはJupyterLabアプリケーションディレクトリにあり、デフォルトは
<sys-prefix>/share/jupyter/labです。ここで、<sys-prefix>は現在のPython環境のサイト固有のディレクトリプレフィックスです。クエリを実行できます。jupyter lab pathを実行して、現在のアプリケーションパス。
現在Ubuntuでバージョン0.35.4を実行しています。上部のバーメニューから選択した[設定]-> [詳細設定エディター]でフォントを編集できます。
Rawビューのjson文字列を変更することで設定できるオプションがいくつかあります。下の図を参照してください。
