<!doctype html> <meta name="viewport" content="width=device-width,initial-scale=1.0"> <style> textarea[is="highlighted-code"] { padding: 8px; } </style> <script type="module"> (async ({chrome, netscape}) => { // add Safari polyfill if needed if (!chrome && !netscape) await import('https://unpkg.com/@ungap/custom-elements'); const {default: HighlightedCode} = await import('https://unpkg.com/highlig