Closed pardom-zz closed 9 years ago
Specifying font size is really useful when copying into other apps, e.g. Keynote.
fontsize uses half-points and therefore is multiplied by 2. http://pygments.org/docs/formatters/#RtfFormatter
fontsize
2
Thanks!
Specifying font size is really useful when copying into other apps, e.g. Keynote.
fontsize
uses half-points and therefore is multiplied by2
. http://pygments.org/docs/formatters/#RtfFormatter