Update app.py

app.py

@@ -107,7 +107,7 @@ def filter_by_fields(selected_country, selected_city, selected_language, page):
     if df.empty:
         return "<p>No participants match your filters.</p>", page, total_count
 
-    html = "<h3 style='margin-top:20px;'>🔍 Find your matching Teammates & Register your team <a href='https://forms.gle/gJEMGD4CEA2emhD18' target='_blank'>here</a></h3>"
+    html = "<h3 style='margin-top:20px;'>🔍<b> Find your matching Teammates & Register your team <a href='https://forms.gle/gJEMGD4CEA2emhD18' target='_blank'>here</a></b></h3>"
     html += "<table style='width:100%; border-collapse: collapse;'><tr>"
     headers = ["Discord", "Name", "City", "Country", "Looking", "How?", "Languages", "Laptop", "Robot", "Skills", "Description", "Experience", "Idea"]
     for col in headers:
@@ -183,7 +183,7 @@ def interface():
 
             with gr.Column():
                 gr.Markdown("""
-                🎯** Use the filters below to find your ideal teammates:**
+                🎯 **Use the filters below to find your ideal teammates:**
                 """)
                 country_filter = gr.Dropdown(label="Filter by Country", choices=["All"] + ALL_COUNTRIES, value="All")
                 city_filter = gr.Dropdown(label="Filter by City", choices=["All"], value="All")