hard to distinguish text from code

[joneugster]

Inside the description boxes, text and code snippets are in my opinion almost indistinguishable. It would be nice if the code snippets could be formatted slightly differently, for example using colour.

Example

https://lean-lang.org/doc/reference/latest//Notations-and-Macros/Defining-New-Syntax/#Lean___interpolatedStrLitKind

I've read this as

[...] like "value = { and }" in s!"value = {x}"

and had to look at the source code to realise it's

[...] like "value = { and }" in s!"value = {x}"