- From: Gérard Talbot <www-style@gtalbot.org>
- Date: Wed, 08 Jun 2016 20:36:38 -0400
- To: fantasai <fantasai.lists@inkedblade.net>
- Cc: Praveen Puglia <praveenpuglia@gmail.com>, W3C www-style mailing list <www-style@w3.org>
Le 2016-06-08 17:20, fantasai a écrit : > On 06/08/2016 05:17 AM, Praveen Puglia wrote: >> 2. Circular dots for dotted borders. Way to create >> ●●●●●●●●●●●●●●●●●●●●● >> Instead of just this... >> ■ ■ ■ ■ ■ ■ ■ ■ ■ ■ ■ ■ ■ ■ ■ > > This is actually a browser bug... The CSS spec requires round dots. :) > https://www.w3.org/TR/css3-background/#the-border-style > > ~fantasai Possible tests: http://test.csswg.org/suites/css2.1/nightly-unstable/html4/border-bottom-style-003.htm https://www.w3.org/Style/CSS/Test/CSS1/20070302/sec5517.htm - - - - - Chromium bug report: Issue 349985: Improve dashed/dotted line drawing https://bugs.chromium.org/p/chromium/issues/detail?id=349985 " Technically speaking, according to the CSS spec, we should be drawing round dots for dotted lines (borders, text decoration) but instead we draw squares. " https://bugs.chromium.org/p/chromium/issues/detail?id=349985#c1 - - - - - Webkit bug report: Bug 25737: Dotted borders look different on Safari, Chrome and Firefox https://bugs.webkit.org/show_bug.cgi?id=25737 ["dotted" should be "a series of round dots"] https://bugs.webkit.org/show_bug.cgi?id=25737#c4 [Dotted line means round "dots". It's not a dashed line as rendered in WebKit.] https://bugs.webkit.org/show_bug.cgi?id=25737#c6 Gérard
Received on Thursday, 9 June 2016 00:37:18 UTC