W3C home > Mailing lists > Public > www-style@w3.org > June 2016

Re: [css3-background] More options for dashed and dotted borders

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>
Message-ID: <ea8be02eaa2b51d6de29543a23f79eb8@gtalbot.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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:52:47 UTC