kpc21
Results
1
comments of
kpc21
The problem still occurs, but when the language highlighting is enabled. Like here:  Probably it may make sense to modify the CSS so that even in the language highlight...