<!-- basic page for jsquirrel -->
<!-- a lot of style has been taken from jscoq -->
<!-- see https://coq.vercel.app/ -->
<html>
  <head>
    <meta charset="utf-8">
  </head>
  <body id="body" =class"jsquirrel-main">
    <link rel="stylesheet" href="./static/squirrel-base.css">
    <link rel="stylesheet" href="./static/squirrel-light.css">
    <link rel="stylesheet" href="./static/ide-base.css">
    <link rel="stylesheet" href="./static/visualisation_style.css">
    <link rel="stylesheet" href="./static/help