Spaces:

dx2102
/

search-mathlib

Running

dx2102 commited on Jul 31

Commit

12f3633

•

1 Parent(s): e524d59

Update server.py

Files changed (1) hide show

server.py CHANGED Viewed

@@ -57,7 +57,7 @@ def read_root():
     <script src="https://cdn.jsdelivr.net/npm/marked/marked.min.js"></script>
     <link href="https://cdn.jsdelivr.net/npm/tailwindcss@2.2.19/dist/tailwind.min.css" rel="stylesheet">
 </head>
-<body class="overflow-scroll mx-auto w-10/12 my-8 text-base sm:text-lg flex flex-col">
     <h1 class="text-3xl mx-0.5">Search Mathlib</h1>
     <form onsubmit="search(); return false;" class="flex gap-2 mt-2 mb-3">
         <input autofocus type="text" name="query" class="grow border p-2 w-full rounded-lg focus:outline-none border-gray-300 focus:ring-1 focus:ring-gray-100">

     <script src="https://cdn.jsdelivr.net/npm/marked/marked.min.js"></script>
     <link href="https://cdn.jsdelivr.net/npm/tailwindcss@2.2.19/dist/tailwind.min.css" rel="stylesheet">
 </head>
+<body class="overflow-scroll mx-auto w-10/12 my-8 text-lg flex flex-col">
     <h1 class="text-3xl mx-0.5">Search Mathlib</h1>
     <form onsubmit="search(); return false;" class="flex gap-2 mt-2 mb-3">
         <input autofocus type="text" name="query" class="grow border p-2 w-full rounded-lg focus:outline-none border-gray-300 focus:ring-1 focus:ring-gray-100">