clean up design

app.py

@@ -48,6 +48,8 @@ def postfilters_ok(md_text: str, require_has_table: bool | None, require_has_cod
         return False
     return True
 
+def format_for_markdown(text: str) -> str:
+    return text.replace("\n", "\n\n")
 
 def find_next_valid(docs_cache, reader_iter, start_idx: int, require_has_math: bool | None, require_has_infobox: bool | None, require_has_table: bool | None, require_has_code: bool | None):
     # Scan cache first (forward from start_idx)
@@ -131,7 +133,7 @@ def on_select_language(lang: str, require_has_math: bool, require_has_infobox: b
     )
     if idx == -1:
         return (-1, docs_cache, reader_iter, "No documents match filters.", "", {}, "", "", [], render_iframe(""))
-    return (idx, docs_cache, reader_iter, left, left, left_meta, header, right_md, info, right)
+    return (idx, docs_cache, reader_iter, left, format_for_markdown(left), left_meta, header, right_md, info, right)
 
 
 def show_doc(doc):
@@ -170,7 +172,7 @@ def on_prev(docs_cache, idx: int, reader_iter, require_has_math: bool, require_h
         left, left_meta, md, info, right, header = render_idx(docs_cache, i)
         if postfilters_ok(md, require_has_table, require_has_code):
             filtered_idx = i
-            return filtered_idx, docs_cache, reader_iter, left, left, left_meta, header, md, info, right
+            return filtered_idx, docs_cache, reader_iter, left, format_for_markdown(left), left_meta, header, md, info, right
     return idx, docs_cache, reader_iter, "No documents match filters.", "", {}, "", "", [], render_iframe("")
 
 
@@ -185,7 +187,7 @@ def on_next(docs_cache, idx: int, reader_iter, require_has_math: bool, require_h
     )
     if new_idx == -1:
         return idx, docs_cache, reader_iter, "No documents match filters.", "", {}, "", "", [], render_iframe("")
-    return new_idx, docs_cache, reader_iter, left, left, left_meta, header, right_md, info, right
+    return new_idx, docs_cache, reader_iter, left, format_for_markdown(left), left_meta, header, right_md, info, right
 
 
 with gr.Blocks() as demo: