Googling around it seems you can't reliably use pt as the unit for fonts because different systems have different views of display DPI.
So the default stylesheets should use px, which is less desirable, but probably gives more consistent results, overall, in the wild. (I haven't made these changes) Cheers -Terry -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
