Hi Ludo, On Mon, 13 Apr 2020 12:58:42 +0200 Ludovic Courtès wrote: > (If anyone knows how to get ‘a.syntax-symbol’ CSS different from just > ‘a’, I’m all ears!)

without class

with class

> Feedback welcome! Very cool!