Spaces:
Running
Running
Update server.py
Browse files
server.py
CHANGED
|
@@ -53,11 +53,10 @@ def read_root():
|
|
| 53 |
<html>
|
| 54 |
<head>
|
| 55 |
<title>Search</title>
|
| 56 |
-
<!-- tailwind css -->
|
| 57 |
<script src="https://cdn.jsdelivr.net/npm/marked/marked.min.js"></script>
|
| 58 |
<link href="https://cdn.jsdelivr.net/npm/tailwindcss@2.2.19/dist/tailwind.min.css" rel="stylesheet">
|
| 59 |
</head>
|
| 60 |
-
<body class="mx-24 my-8 text-lg flex flex-col">
|
| 61 |
<h1 class="text-3xl">Search Mathlib</h1>
|
| 62 |
<form onsubmit="search(); return false;" class="flex gap-2 mt-2 mb-3">
|
| 63 |
<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">
|
|
|
|
| 53 |
<html>
|
| 54 |
<head>
|
| 55 |
<title>Search</title>
|
|
|
|
| 56 |
<script src="https://cdn.jsdelivr.net/npm/marked/marked.min.js"></script>
|
| 57 |
<link href="https://cdn.jsdelivr.net/npm/tailwindcss@2.2.19/dist/tailwind.min.css" rel="stylesheet">
|
| 58 |
</head>
|
| 59 |
+
<body class="overflow-scroll mx-24 my-8 text-lg flex flex-col">
|
| 60 |
<h1 class="text-3xl">Search Mathlib</h1>
|
| 61 |
<form onsubmit="search(); return false;" class="flex gap-2 mt-2 mb-3">
|
| 62 |
<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">
|