<!doctype html>
<html>
  <body>
    <div id="container"></div>
    <script type="module">
      // don't import minified CSS files (e.g. `*.min.css`), since that actually
      // makes the dist/index.html slightly larger!
      import "@fortawesome/fontawesome-free/css/brands.css"
      import "@fortawesome/fontawesome-free/css/regular.css"
      import "@fortawesome/fontawesome-free/css/solid.css"
      import "@fortawesome/fontawesome-free/css/fontawesome.css"
      import "katex/dist/katex.css"

      i