syntax: css: color multiline comments correctly

A forward slash does not need to be escaped, and the backslash itself
should not be escaped: it serves to escape the star, to make it literal.

Also, remove a stray end-of-line anchor ($).
master
Benno Schulenberg 2020-07-26 19:54:02 +02:00
parent bccb0ea0bb
commit aabfefde7e
1 changed files with 2 additions and 2 deletions

View File

@ -6,6 +6,6 @@ comment "/*|*/"
color brightred "."
color brightyellow start="\{" end="\}"
color brightwhite start=":" end="([;^\{]|$)"
color brightblue ":active|:focus|:hover|:link|:visited|:link|:after|:before|$"
color brightblue start="\/\*" end="\\*/"
color brightblue ":active|:focus|:hover|:link|:visited|:link|:after|:before"
color brightblue start="/\*" end="\*/"
color green ";|:|\{|\}"