Spaces:

dx2102
/

lean-expr-tree

Sleeping

dx2102 commited on Aug 20, 2024

Commit

3ff9ec7

•

1 Parent(s): 9f3d5df

Update website.html

Files changed (1) hide show

website.html CHANGED Viewed

@@ -6,15 +6,15 @@
     <title>Syntax Tree Visualization</title>
     <script src="https://cdn.tailwindcss.com"></script>
 </head>
-<body class="bg-gray-50 text-gray-900">
     <div class="container mx-auto mt-10">
         <h1 class="text-4xl font-bold mb-5">Syntax Tree Visualization</h1>
         <form class="mb-5" onsubmit="event.preventDefault(); search();">
             <input id="search-input" type="text" value="Lean" class="w-full p-2 border border-gray-300 rounded-md">
             <button class="mt-2 bg-blue-500 text-white px-4 py-2 rounded-md">Search</button>
         </form>
-        <div id="results" class="mb-5"></div>
         <canvas id="tree-canvas" class="mx-auto border border-gray-300 rounded-md"></canvas>
     </div>
     <script>

     <title>Syntax Tree Visualization</title>
     <script src="https://cdn.tailwindcss.com"></script>
 </head>
+<body class="overflow-scroll bg-gray-50 text-gray-900">
     <div class="container mx-auto mt-10">
         <h1 class="text-4xl font-bold mb-5">Syntax Tree Visualization</h1>
         <form class="mb-5" onsubmit="event.preventDefault(); search();">
             <input id="search-input" type="text" value="Lean" class="w-full p-2 border border-gray-300 rounded-md">
             <button class="mt-2 bg-blue-500 text-white px-4 py-2 rounded-md">Search</button>
         </form>
         <canvas id="tree-canvas" class="mx-auto border border-gray-300 rounded-md"></canvas>
+        <div id="results" class="mb-5"></div>
     </div>
     <script>