Syntax Higlighting Refman and in General

[thomas-lamiaux]

The syntax highlighting of the refman is currently a bit weird everything being orange and blue.
I think we should agree on a default syntax highlighting (dark mode if possible) that would be shared between the refman and vsrocq,
and that we would also make available on rocq-prover as a lstlisting so that people can cite rocq code easily.

[thomas-lamiaux]

Btw I know it is part of the visual identity p12 https://raw.githubusercontent.com/coq/rocq-prover.org/refs/heads/main/rocq-id/ROCQ_ID-guidelines.pdf but it is really hard to read imo. I have a hard time imagining myself reading a 2000l file with this colors.
I am no an expert, so should the color used for Visual identity and syntax highlighting really be the same ? To me, the former is about quick identification to Rocq, whereas the latter is about being quick to identify different kind of objects, comfortable to read, and to be compatible with the green highlighting of vsrocq.

[Chobbes]

Yeah, I've definitely run into some... Not so pretty code blocks in the manual 😭

It's as if the solarized theme went supernovae.

[Zimmi48]

cc @BastienSozeau

[thomas-lamiaux]

I am also tagging @rtetley to get his opinion on having a common theme with vsrocq

[thomas-lamiaux]

In the meantime, maybe we could temporarily revert to the old css for the code blokcs to have a readable refman

[proux01]

Probably a duplicate of #123

[thomas-lamiaux]

@proux01 I understood that #123 was about code snippet so I have opened this issue to talk about syntax highliting in general, but we can close one of the two

[proux01]

The background issue should be fixed by rocq-prover/rocq#20395