Fix search on github pages