![]() The default font size of 10pt will now properly render as 13.33px, but we shouldn't use the default anyway as that can be controlled by user settings |
||
---|---|---|
.. | ||
nodes | ||
parser | ||
style | ||
api.c | ||
api.test.in | ||
Makefile.am |
![]() The default font size of 10pt will now properly render as 13.33px, but we shouldn't use the default anyway as that can be controlled by user settings |
||
---|---|---|
.. | ||
nodes | ||
parser | ||
style | ||
api.c | ||
api.test.in | ||
Makefile.am |