### Describe the solution you'd like <img width="567" height="270" alt="Image" src="https://github.com/user-attachments/assets/242515ed-6a07-43ec-9b61-1725431f44cd" /> When one set to small editor font size, the UI does not look good as the UI font and line height are not configurable currently.
Describe the solution you'd like
When one set to small editor font size, the UI does not look good as the UI font and line height are not configurable currently.