Closed Dieken closed 6 months ago
CSS doesn't support id selector containing whitespace, see
https://github.com/scala/docs.scala-lang/blob/d626b36e217a99ee078cdcfbc30d23386dc7fb00/resources/js/functions.js#L90
CI failure isn't caused by this PR.
Another option could be replace ` with_,or-` possibly?
` with
,
or
All are fine, the js script doesn’t hard code the id, I prefer simple word “scala3”.
Thanks for your merging!
CSS doesn't support id selector containing whitespace, see
https://github.com/scala/docs.scala-lang/blob/d626b36e217a99ee078cdcfbc30d23386dc7fb00/resources/js/functions.js#L90