Closed dnadlinger closed 11 years ago
It is Linux Libertine Mono. I agree though that the size is a bit weird, so I'll try and fix that.
On Sun, Apr 21, 2013 at 11:08 AM, David Nadlinger notifications@github.comwrote:
At least on my screen, the monospace font used really does not fit well at all with Linux Libertine.
Maybe it would help to at least scale it down a bit so that the x-heights match?
— Reply to this email directly or view it on GitHubhttps://github.com/eggrobin/MMP-II-Lecture-Notes-Spring-2013/issues/91 .
Interesting. Maybe it's just my general aversion to (non slab-) serifed monospace fonts showing.
I think I fixed this in 18ebcd0b6ba0071c36551bec411beba6ce334a95 --- see the latest version of lecture-2013-04-18. What do you think? Also this probably was a bug, not an enhancement :-).
I think I fixed this in 18ebcd0b6ba0071c36551bec411beba6ce334a95. What do you think? Also this probably was a bug, not an enhancement :-).
Looks much better indeed.
It actually is very weird that the font heights don't match. Closed then.
At least on my screen, the monospace font used really does not fit well at all with Linux Libertine.
Maybe it would help to scale it down a bit so that at least the x-heights match?
(2013-04-20T15:36:00+02:00)