Fix some formatting for the latest edition of github-pages