Update app.py

app.py

@@ -35,12 +35,19 @@ def process_results(results, highlight_terms):
             else ""
         )
         docid_html = str(result["docid"])
+
+        licenses = " | ".join(result["repo_license"])
+        repo_name = result["repo_name"]
+        repo_path = result["repo_path"]
+        
         results_html += """{}
-            <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>
+            <p style='font-size:16px; font-family: Arial; text-align: left;'>Repository name: <span style='color: #20233fff;'>{}</span></p>
+            <p style='font-size:16px; font-family: Arial; text-align: left;'>Repository path: <span style='color: #20233fff;'>{}</span></p>
+            <p style='font-size:16px; font-family: Arial; text-align: left;'>Repository licenses: <span style='color: #20233fff;'>{}</span></p>
+            <pre style='height: 600px; overflow: scroll;'><code>{}</code></pre>
             <br>
         """.format(
-            meta_html, docid_html, text_html
+            meta_html, repo_name, repo_path, licenses, text_html
         )
     return results_html + "<hr>"