Change style of repo list hovering highlight.
Merge branch 'master' of https://github.com/Kilhwch/Ohtu1