Skip to content
This repository was archived by the owner on Dec 1, 2020. It is now read-only.

CSS font should be treated specially. #5

Open
deemstone opened this issue Mar 1, 2017 · 0 comments · May be fixed by #9
Open

CSS font should be treated specially. #5

deemstone opened this issue Mar 1, 2017 · 0 comments · May be fixed by #9

Comments

@deemstone
Copy link

This should not be automath.

/* code from https://developer.mozilla.org/en/docs/Web/CSS/font */
/* Set the font size to 12px and the line height to 14px. Set the font family to sans-serif */
p { font: 12px/14px sans-serif }

now we got:

p { font: 0.857143px sans-serif }
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant