eeditor {
        font-family: monospace;
        height: 100%;
        width: 100%;
      }

      .CodeMirror {
        height: 100%;
      }
    </style>
  </head>
  <body>
    <script type="module">
      import { setup } from "./main.mjs";

      setup();
    </script>
    <div class="wrapper">
      <div class="botleft scroll hljs" id="edit"></div>
      <div class="topright scroll hljs">
        <!--const [m, n, k] = lt.symbols("m n k");
const a = lt.rand(2).to(m);
const c = a.sum(m);

// enables int