Update app.py

app.py

@@ -11,7 +11,7 @@ import requests
 
 def mark_tokens_bold(string, tokens):
   for token in tokens:
-    pattern = r"\b" + re.escape(token) + r"\b"
+    pattern = re.escape(token) #r"\b" + re.escape(token) + r"\b"
     string = re.sub(pattern, "<span style='color: red;'><b>" + token + "</b></span>", string)
   return string
 
@@ -36,8 +36,8 @@ def process_results(results, highlight_terms):
         )
         docid_html = str(result["docid"])
         results_html += """{}
-            <p style='font-size:14px; font-family: Arial; color:#7978FF; text-align: left;'>Document ID: {}</p>
-            <pre style='height: 200px; overflow: scroll;'><code>{}</code></pre>
+            <p style='font-size:16px; font-family: Arial; color:#7978FF; text-align: left;'>Document ID: {}</p>
+            <pre style='height: 400px; overflow: scroll;'><code>{}</code></pre>
             <br>
         """.format(
             meta_html, docid_html, text_html