index.html

<!DOCTYPE html>
<html>
  <head>
    <meta charset="UTF-8" />
    <title>Lean 4 Web</title>
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
  </head>
  <body>
    <div id="root" class="monaco-workbench">
      <noscript>
        <p>
          You need to enable JavaScript to use the lean web editor,
          as it is a <a href="https://react.dev">React app</a>.
        </p>
        <!-- Manually providing contact details for the noscript site -->
        <!-- <h2>Impressum</h2> -->
        <!-- <strong>Contact details</strong> -->
        <!-- <p> -->
          <!-- your contact details -->
        <!-- </p> -->
      </noscript>
    </div>
    <script type="module" src="client/src/index.tsx"></script>
  </body>
</html>