Refresh docs landing page hero and header#233

eluce2 merged 12 commits intomainproofsh/proofkit:mainfrom

feature/docs-landing-hero-headerproofsh/proofkit:feature/docs-landing-hero-headerCopy head branch name to clipboard