Merge branch 'Fix-GithubRibbon'
Merge branch 'Fix-GithubRibbon'
HotFix: responsive navbar
Merge branch 'master' into gh-pages