issues
search
leanprover
/
leanprover.github.io
www
https://lean-lang.org/
15
stars
24
forks
source link
The margin between menu-bar icons renders differently on IE
#13
Closed
soonhokong
closed
10 years ago
soonhokong
commented
10 years ago
https://gist.github.com/larrybotha/7881691
https://gist.github.com/larrybotha/7881691