20200604 1930
After doing some research, I'm very surprised elements don't support inline numbers by default. If feels like this would be the type of thing added to a HTML6 standards when ever those come out. Possible as a CSS verable to the
element.
code {
number: true;
}