Hi Maurice, Thanks so much for your report!
We can’t influence this issue as it caused by multiple factors such as your settings, screen resolution, pixel density, and so on… but you can by moving the divider 1px up or down, depending on your settings.
Best regards, timmse