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,19 @@ def run_bot():
 threading.Thread(target=run_bot).start()
 
 
+def highlight_rows(dataframe):
+    styled = dataframe.style
+
+    styled = styled.map(lambda x: 'background-color: rgba(255, 232, 170, 0.5)', subset=pd.IndexSlice[:0, :])
+    styled = styled.map(lambda x: 'background-color: rgba(217, 217, 217, 0.5)', subset=pd.IndexSlice[1:1, :])
+    styled = styled.map(lambda x: 'background-color: rgba(232, 167, 106, 0.5)', subset=pd.IndexSlice[2:2, :])
+
+    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 +755,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()