Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The metrics and floats roundings seems to be slightly different on different platforms. Using a lower line-height value should fix the problem everywhere. Fix #1677.
- Loading branch information