Thank you very much for this work!
I just come to comment on a couple of details that I think could improve the manual.
First of all, each time the background color is defined, it is just as important to define the foreground color, because in color schemes with light text over dark background, the bg-text contrast is not enough for reading and may even be invisible (see the screenshots).
Code:
pre.example {
font-family: courier, sans-serif;
font-size: 0.85em;
margin-left: 2em;
margin-bottom: 1.5em;
++ color: black;
background-color: rgb (244, 244, 244);
white-space: pre-wrap;
}
The other, maybe it's good to embed a font that contains the symbol ➞ or replace it with an svg or something like that to ensure that it is displayed correctly.
In any case, I reiterate my thanks and congratulations for your work.
Regards.