Fixed bugs in search and repo name in title. Also some css-fixes for IE10.