Styling issues in Safari in the settings menu

[kolibril13]

First mentioned in #16214 (comment) ,
I'm experiencing styling issues in the latest Safari version (Safari 17.4.1) with the latest JupyterLab pre-release (Version 4.2.0b1) https://mybinder.org/v2/gh/krassowski/jupyterlab/fix-changing-second-default-shortcut?urlpath=lab

Here are some screenshots:

Another rendering issue:

Also other checkboxes seem to be a bit shifted down.

Also tried to make these screenshots in the new Safari 17.4.1 together with the last stable jupyterlab version (Version 4.1.6), and these issues are there as well:

interestingly, the magnifying glass in the top left corner in the main menu is getting fixed when I open the "About" window once:

Screen.Recording.2024-04-20.at.22.55.52.mov

cc. @krassowski