add scroll-margin-top for navbar to footnote links#1088

RichDom2185 merged 1 commit intosource-academy:mastersource-academy/sicp:masterfrom

JostMigenda:patch-1JostMigenda/sicp:patch-1Copy head branch name to clipboard