- From: VIPofJoy via GitHub <sysbot+gh@w3.org>
- Date: Thu, 27 Apr 2023 02:13:28 +0000
- To: public-design-tokens-log@w3.org
`{
"focus": {
"$type": "outline",
"$value": {
"color": "#00000080",
"width": "4px",
"style": "solid",
"offset": "2px",
}
}
}`
or
`{
"focus": {
"$type": "outline",
"$value": {
"color": "#00000080",
"width": "4px",
"style": "solid",
}
}
}`
I am hesitating whether to make the offset attribute a new token category so that it can be used in various scenarios.
--
GitHub Notification of comment by VIPofJoy
Please view or discuss this issue at https://github.com/design-tokens/community-group/issues/213#issuecomment-1524469628 using your GitHub account
--
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 27 April 2023 02:13:29 UTC