Update app.py

app.py

@@ -12,7 +12,7 @@ import requests
 def mark_tokens_bold(string, tokens):
   for token in tokens:
     pattern = r"\b" + re.escape(token) + r"\b"
-    string = re.sub(pattern, "<b>" + token + "</b>", string)
+    string = re.sub(pattern, "<span style='color: red;'><b>" + token + "</b></span>", string)
   return string
 
 
@@ -37,7 +37,7 @@ 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><code>{}</code></pre>
+            <pre style='height: 200px; overflow: scroll;'><code>{}</code></pre>
             <br>
         """.format(
             meta_html, docid_html, text_html