Fix github button size
Fix github button size
Merge branch 'master' into gh-pages
Rebuild docs