Change color of Github ribbon in web/index.html