Lots of fixes for IE

Notably for the icon font and for the repo boxes.