Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Simply don't set a specific font size anyomre. Probably a change in highlkightjs that we were not aware of.
- Loading branch information