> Same for standard HTML push buttons, links, check boxes Interesting that you mention checkboxes. For a long time native checkboxes on Linux (distro?) would c

> Same for standard HTML push buttons, links, check boxes Interesting that you mention checkboxes. For a long time native checkboxes on Linux (distro?) would come up impossibly tiny if you had a decent-sized screen. They were hard to hit accurately with a mouse, and impossible with a trackpad. That seems to have been cured now, but I don't know when it was fixed.