redesign people.html#765

rvhonorato merged 2 commits into

masterhaddocking/haddocking.github.io:masterfrom

people-layout-tweakshaddocking/haddocking.github.io:people-layout-tweaksCopy head branch name to clipboard