*{box-sizing:border-box}html,body{margin:0;padding:0}body{font-family:Google Sans Flex,ui-sans-serif,system-ui,-apple-system,sans-serif}section[id]{scroll-margin-top:24px}pre{margin:0}