Style the first few rows of cells (gold silver bronze, first 2nd 3rd etc)

Apply style to the first rows in the dataframe as described in #7. It should look something like this



@lunarflu

is this what you had in mind?

The changes are test only on a dummy example since I couldn't run the bot locally. Is it possible to easily run it without the keys locally?

app.py

@@ -685,9 +685,27 @@ def run_bot():
 threading.Thread(target=run_bot).start()
 
 
+def highlight_rows(dataframe):
+    # Define a function that applies styling based on the row index
+    def apply_row_styles(row):
+        # Check the row index and apply styles accordingly
+        if row.name == 0:  # first row
+            return ['background-color: rgba(255, 232, 170, 0.5)'] * len(row)
+        elif row.name == 1:  # second row
+            return ['background-color: rgba(217, 217, 217, 0.5)'] * len(row)
+        elif row.name == 2:  # third row
+            return ['background-color: rgba(232, 167, 106, 0.5)'] * len(row)
+        else:
+            return [''] * len(row)  # Apply no style for other rows
+
+    # Apply the styling function to each row
+    styled = dataframe.style.apply(apply_row_styles, axis=1)
+    return styled
+
+
 def get_data():
     try:
-        return community_global_df_gradio   
+        return highlight_rows(community_global_df)
     except Exception as e:
         print(f"get_data Error: {e}")
 
@@ -745,4 +763,4 @@ with demo:
             #with gr.TabItem("📈 Hub-only leaderboard", elem_id="hub-table", id=2):
     except Exception as e:
         print(f"gradio demo Error: {e}")
-demo.queue().launch()       
+demo.queue().launch()