jupyter labでコメントの色を見やすいように変更する

jupyter labのデフォルトのテーマでは、pythonのコメント行の色が見にくいので、見やすい色に変更したい。
jupyter labのテーマはcssで設定されているので、該当するクラスの色を変更すればよい。
以下、pyenvを用いてpythonの環境設定をしている場合について記載する。

jupyter labのテーマの設定ファイルの場所（ダークテーマの場合）は、
~/.pyenv/versions/<env>/share/jupyter/lab/themes/@jupyterlab/theme-dark-extension/index.css

コメント行の色設定に相当する箇所は、

--jp-mirror-editor-comment-color: #408080;

なので、この #408080 を好きな色に変更する（自分の場合は #f195b7）。
保存してブラウザをリロードすれば、コメント行の色が変わっているはず（jupyterそのものを再起動する必要はない）。

上記index.cssファイルの場所を見つけ、メモ帳で編集して保存しましたが、コメントの色が変更されません。メモ帳で編集はダメなのでしょうか？
/* Code mirror specific styles */

--jp-mirror-editor-keyword-color: var(--md-green-500);
--jp-mirror-editor-atom-color: var(--md-blue-300);
--jp-mirror-editor-number-color: var(--md-green-400);
--jp-mirror-editor-def-color: var(--md-blue-600);
--jp-mirror-editor-variable-color: var(--md-grey-300);
--jp-mirror-editor-variable-2-color: var(--md-blue-400);
--jp-mirror-editor-variable-3-color: var(--md-green-600);
--jp-mirror-editor-punctuation-color: var(--md-blue-400);
--jp-mirror-editor-property-color: var(--md-blue-400);
--jp-mirror-editor-operator-color: #aa22ff;
--jp-mirror-editor-comment-color: #d9f19b;　　この行を編集しました
--jp-mirror-editor-string-color: #ff7070;
--jp-mirror-editor-string-2-color: var(--md-purple-300);
--jp-mirror-editor-meta-color: #aa22ff;
--jp-mirror-editor-qualifier-color: #555;
--jp-mirror-editor-builtin-color: var(--md-green-600);
--jp-mirror-editor-bracket-color: #997;
--jp-mirror-editor-tag-color: var(--md-green-700);
--jp-mirror-editor-attribute-color: var(--md-blue-700);
--jp-mirror-editor-header-color: var(--md-blue-500);
--jp-mirror-editor-quote-color: var(--md-green-300);
--jp-mirror-editor-link-color: var(--md-blue-700);
--jp-mirror-editor-error-color: #f00;
--jp-mirror-editor-hr-color: #999;