Minor improvements to the main page#11

gera2342 wants to merge 2 commits intoSMLFamily:masterSMLFamily/SMLFamily.github.io:masterfrom

gera2342:mastergera2342/SMLFamily.github.io:masterCopy head branch name to clipboard