search

leanprover / leanprover.github.io

www
https://lean-lang.org/
15 stars 24 forks source link

IE web fonts #17

Closed leodemoura closed 9 years ago

leodemoura commented 9 years ago

It seems the web font used in the "live" website is not being supported correctly by IE. It seems we need to use some workarounds for IE http://stackoverflow.com/questions/15045425/getting-web-fonts-to-work-in-ie10 http://stackoverflow.com/questions/19561414/google-fonts-not-working-in-internet-explorer-ie-11 http://www.thewindowsclub.com/web-fonts-appear-blurry-internet-explorer

soonhokong commented 9 years ago

We didn't provide the bold version of GNU Free font. We fixed by providing one in addition to the normal one.