The heading scroll top issue fix#1047

fhammerschmidt merged 1 commit intorescript-lang:masterrescript-lang/rescript-lang.org:masterfrom

nisabmohd:patch-1nisabmohd/rescript-lang.org:patch-1Copy head branch name to clipboard