答え1
Natalieのコメント(ありがとう!)を見て、インターフェイスのフォントサイズを減らすことを検討しました。アプリケーションランチャーに「フォント」と入力し、「一般」でフォントサイズを10ポイントから9.5ポイントに変更しました。今私は欲しいものを手に入れました。
注1:タスクバーのフォントサイズが小さくなっただけでなく、メインインターフェイスのフォントサイズも小さくなりました。
ノート2:私のインターフェースは英語ではないので、ここで「フォント」と「一般」は100%正確ではないかもしれません。同様:システム構成→フォント→一般。