Disregard my comments

It wouldn't be better to simply use kbd instead of <pan style="font-family:monospace;" ?

Ajeje Brazorf (talk)19:16, 8 December 2021