- From: Thomas Gossmann via GitHub <sysbot+gh@w3.org>
- Date: Tue, 21 Feb 2023 12:55:11 +0000
- To: public-design-tokens-log@w3.org
The more I use that, the more I think, "border" is the wrong word, instead "stroke" is more appropriate: - A ruler (`<hr>`) is a stroke - A border is a set of strokes (with position/alignment) Or: A stroke can be a border, but a border cannot be a stroke. And to add what @tlouisse said: A ruler (= a line) cannot have a radius. --- So, there is: - stroke style: as already defined - stroke: style + color + width - border: stroke + location - border-radius: targeting the border joints (in design tools, there is also joint variants) -- GitHub Notification of comment by gossi Please view or discuss this issue at https://github.com/design-tokens/community-group/issues/99#issuecomment-1438433797 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 21 February 2023 12:55:13 UTC