Fix reference to the gh-pages branch, improve header styling for the manual