A Chrome extension that makes smaller the header of the Google+ page