Feature Request: Font size

[rasel-sk]

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).

[aaron-bond]

Would that be a font style which applies to the whole line? Including the // ?

[rasel-sk]

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.

[rasel-sk]

Teoretical (ex)sample with background:

[HaveSpacesuit]

Would also be great to have the ability to change the font-family!

[AndreaCatania]

It would be really nice have the possibility to change font size for a specific tag as described on this proposal.