In a Vaadin 14.4.2 application with Lumo theme there are the top pixels cut off in Firefox browser running in Ubuntu (20.10), GNOME 3.38.1:
This happens in my
