Offer a choice between multiple layouts / themes?

[fingolfin]

We could offer a list of alternative layouts for the user to choose from. E.g. by converting all the github pages styles GitHub offers in its automatic page creator.

[fingolfin]

One drawback of the current default (and only) theme is that long package names tend to be cut off. So having a theme were the name is never put into a vertical sidebar would be great. Perhaps such a them should in fact be the default.

Oh, and when I wrote "user", I didn't mean "visitor of the website", I meant "use of GitHubPagesForGAP" -- in other words, package developers.

[fingolfin]

Recent Jekyll versions have a built-in notion of "Themes", see https://jekyllrb.com/docs/themes/ -- so perhaps we can leverage that?

[fingolfin]

Great news, GitHub turned all their existing themes into Jekyll themes, so perhaps we can use them. See here:

• https://github.com/blog/2295-new-theme-chooser-for-github-pages
• https://help.github.com/articles/creating-a-github-pages-site-with-the-jekyll-theme-chooser/
• https://github.com/pages-themes