Created attachment 81497 [details]
Last dots being merged in a menu
If the element has an even number of pixels the outer dots of border-style: dotted are merging (because there is no space) instead of being dropped like in other popular engines.
See also the attachment.
And the testcase: http://dev.harnos.at/webkit/border-bug/
Created attachment 81499 [details]
I think we may have a dup of this.
Yes, this looks like 25737.
All browsers differ from each other on the attached test case:
*** Safari 15.6 on macOS 12.5 ***
It shows 5 square dots.
*** Firefox Nightly 104 ****
4 circle dots
*** Chrome Canary 106 ***
5 circle dots
I am not clear on Web-spec and since all browsers are different, I am not sure which one to follow here. Thanks!