The line docs/user-guide/choosing-your-theme.md:223, last touched 5 years ago, references https://highlightjs.org/static/demo/ (related to the parameter hljs_style).
Around August 2023, this link was apparently deliberately broken by highlightjs.org with a redirect to this:
(I have no idea what I'm supposed to see there, but I'm interested.)
The line docs/user-guide/choosing-your-theme.md:223, last touched 5 years ago, references https://highlightjs.org/static/demo/ (related to the parameter
hljs_style).Around August 2023, this link was apparently deliberately broken by highlightjs.org with a redirect to this:
(I have no idea what I'm supposed to see there, but I'm interested.)