Update app.py

app.py

@@ -331,15 +331,10 @@ def refresh_explorer(dataset_key: str, split_name: str) -> Tuple[gr.update, pd.D
 
     profile_box = build_dataset_profile(df)
     summary_box = (
-        f"### Split summary
-
-"
-        f"**Dataset:** `{dataset_key}`  
-"
-        f"**Label:** `{REPO_CONFIG[dataset_key]['label']}`  
-"
-        f"**Available splits:** {', '.join(splits)}  
-"
+        f"### Split summary\n\n"
+        f"**Dataset:** `{dataset_key}`  \n"
+        f"**Label:** `{REPO_CONFIG[dataset_key]['label']}`  \n"
+        f"**Available splits:** {', '.join(splits)}  \n"
         f"**Preview rows:** {len(display_df)}"
     )