Feature Request: Font size
Hello, is possible to change the font size for a particular tag? This would help in better comment for the code sections - I now use ASCII art, but it would be better to tag a specific line of comment (which would also result in a change in font size).
Would that be a font style which applies to the whole line? Including the // ?
It could be the same principle as the current system of applying styles for better-comments. If I think about it, I think it might be better without // or tag -> for better alignment.
Teoretical (ex)sample with background:

Would also be great to have the ability to change the font-family!
It would be really nice have the possibility to change font size for a specific tag as described on this proposal.