Spaces:

dx2102
/

search-mathlib

Running

dx2102 commited on Jul 31

Commit

e524d59

•

1 Parent(s): 3ebd253

Update server.py

Files changed (1) hide show

server.py CHANGED Viewed

@@ -52,12 +52,13 @@ def read_root():
     content="""
 <html>
 <head>
-    <title>Search</title>
     <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-24 my-8 text-lg flex flex-col">
-    <h1 class="text-3xl">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">
         <button type="submit" class="bg-green-700 text-white p-2 w-24 rounded-lg">Search</button>
@@ -91,7 +92,8 @@ def read_root():
                         class="text-xl mr-4 text-green-800 hover:text-green-600
                           ">${result.name}</a>
                         <div class="flex-grow"></div>
-                        <p class="text-gray-800">Similarity: ${result.similarity.toFixed(3)}</p>
                     </div>
                     <div class="flex flex-col">
                         <p class="font-mono">: ${result.type}</p>

     content="""
 <html>
 <head>
+    <title>Search Mathlib</title>
+    <!-- tailwind css -->
     <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">
         <button type="submit" class="bg-green-700 text-white p-2 w-24 rounded-lg">Search</button>
                         class="text-xl mr-4 text-green-800 hover:text-green-600
                           ">${result.name}</a>
                         <div class="flex-grow"></div>
+                        <!-- The similarity info is only shown on larger screens -->
+                        <p class="text-gray-800 hidden md:block">Similarity: ${result.similarity.toFixed(3)}</p>
                     </div>
                     <div class="flex flex-col">
                         <p class="font-mono">: ${result.type}</p>