Mini-patch #3

app.py

@@ -109,6 +109,7 @@ async def extract_text_pdf(document: DocumentID):
         main_titles = []
         if len(titles) <= 0:
             main_titles = re.findall(regex_titles, postprocess_text, flags=re.MULTILINE)
+            main_titles = [(-1, t) for t in main_titles]
         else:
             for title in titles:
                 if title[0] == 1 or title[0] == 2:

static/script.js

@@ -163,8 +163,14 @@ document.addEventListener('DOMContentLoaded', function() {
                     }
                     let t = "";
                     if(Array.isArray(data.titles)){
-                        data.titles.forEach(title => {
-                            t += title + "<br><br>";
+                        data.titles.forEach((index, title) => {
+                            if(index == 1){
+                                t += title + "<br>"
+                            } else if (index == 2) {
+                                t += "<pre>" + title + "<br></pre>"
+                            } else {
+                                t += title + "<br>"
+                            }
                         });
                         popupText.innerHTML = t;  
                     } else {