[predefined-counter-styles] new commits pushed by r12a

The following commits were just pushed by r12a to https://github.com/w3c/predefined-counter-styles:

* Move styles to local.css.   Add 'type' parameter to function to avoid superlong examples (eg. tally).
  by r12a
https://github.com/w3c/predefined-counter-styles/commit/1f43856f88f4e74b70fa671b8ec4eeaaf60919d4



-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Wednesday, 28 June 2023 16:16:31 UTC