Brett on 05 Apr, 2017 04:27 PM
I think the !important may be entirely necessary right now. I've used
some brute force on print font sizes because a lot of people using
custom or additional CSS don't properly affect the print section and it
avoids extra customer support to just define a reasonable size by
default. I can take a look at making it slightly less specific, though,
to allow easier overrides.
As for the rest, Marked doesn't do anything special with font size
increments, so if the decimals are being rounded it's more of a webkit
issue and you should see the same issue in Safari, possibly chrome. In
general (and somewhat annoyingly) pt can be less predictable than px,
especially when outputting to a print format.
If you send me the custom CSS you're using, I'd be happy to do some
testing on this end and see if there are changes you can make, or
changes I need to make to solve the issue.