gh-pages: reduced logo-size
gh-pages and some reformatting of source