ワークスペースでテーマ編集しているのですが、左のBBSmenuの部分だけ文字サイズが変更できません。
サイズ変更する方法があるのでしょうか。