Make leaderboard text smaller and add Zone% percentiles

app.py

@@ -3,6 +3,7 @@ import gradio as gr
 from data import data_df
 from pitcher_overview import create_pitcher_overview
 from pitch_leaderboard import create_pitch_leaderboard
+from css import css
 
 updated = '2025-07-21'
 limitations = '''**General Limitations**
@@ -10,7 +11,7 @@ limitations = '''**General Limitations**
 '''
 
 if __name__ == '__main__':
-  with gr.Blocks() as app:
+  with gr.Blocks(css=css) as app:
     with gr.Tab('Pitcher Overview'):
       create_pitcher_overview(data_df)
     with gr.Tab('Pitch Leaderboard'):

css.py

@@ -0,0 +1,3 @@
+css = '''
+#leaderboard span {font-size: 0.75em;}
+'''

pitch_leaderboard.py

@@ -12,7 +12,7 @@ from plotting import stat_cmap
 
 STATS = ['Count', 'Usage', 'Swing%', 'Z-Swing%', 'Chase%', 'Contact%', 'Z-Contact%', 'O-Contact%', 'SwStr%', 'Whiff%', 'CSW%', 'GB%', 'FB%', 'LD%', 'Zone%', 'Arm%', 'Glove%', 'High%', 'Low%', 'MM%']
 PCT_STATS = ['Usage', 'Swing%', 'Z-Swing%', 'Chase%', 'Contact%', 'Z-Contact%', 'O-Contact%', 'SwStr%', 'Whiff%', 'CSW%', 'GB%', 'FB%', 'LD%', 'Zone%', 'Arm%', 'Glove%', 'High%', 'Low%', 'MM%']
-STATS_WITH_PCTLS = ['Swing%', 'Z-Swing%', 'Chase%', 'Contact%', 'Z-Contact%', 'O-Contact%', 'SwStr%', 'Whiff%', 'CSW%', 'GB%', 'FB%', 'LD%']
+STATS_WITH_PCTLS = ['Swing%', 'Z-Swing%', 'Chase%', 'Contact%', 'Z-Contact%', 'O-Contact%', 'SwStr%', 'Whiff%', 'CSW%', 'GB%', 'FB%', 'LD%', 'Zone%']
 COLUMNS = ['Pitcher', 'Team', 'Pitch', 'Pitch (General)'] + STATS
 
 PITCH_TYPES = [pitch_type for pitch_type in ball_kind.values() if pitch_type != '-']
@@ -84,6 +84,7 @@ def gr_create_pitch_leaderboard(start_date, end_date, min_pitches, pitcher_lr='B
   for i, row in enumerate(pitch_stats[COLUMNS].iter_rows()):
     styling_row = []
     for col, item in zip(pitch_stats[COLUMNS].columns, row):
+      _styling = 'font-size: 0.75em; '
       if f'{col}_pctl' in pitch_stats:
         r, g, b = (stat_cmap([pitch_stats[f'{col}_pctl'][i]])[0, :3]*255).astype(np.uint8)
         styling_row.append(f'background-color: rgba({r}, {g}, {b})')
@@ -141,10 +142,11 @@ def create_pitch_leaderboard():
     # pin_columns = gr.Checkbox(True, 'Pin columns')
     leaderboard = gr.DataFrame(
       pl.DataFrame({'Pitcher': [], 'Pitch': []}),
-      column_widths=[200, 100, 200, 200] + [100]*len(STATS),
+      column_widths=[125, 75, 125, 125] + [max(50, 10*len(stat)) for stat in STATS],
       show_copy_button=True,
       show_search='filter',
       pinned_columns=3,
+      elem_id='leaderboard'
     )
 
     gr.Markdown(notes)

stats.py

@@ -102,7 +102,7 @@ def compute_pitch_stats(data, player_type, pitch_class_type, min_pitches=1):
       .drop('G', 'F', 'B', 'P', 'L', 'null')
       .with_columns(
           (pl.when(pl.col('qualified')).then(pl.col(stat)).rank(descending=((stat in ['FB%', 'LD%'] or 'Contact%' in stat)))/pl.when(pl.col('qualified')).then(pl.col(stat)).count()).alias(f'{stat}_pctl')
-          for stat in ['Swing%', 'Z-Swing%', 'Chase%', 'Contact%', 'Z-Contact%', 'O-Contact%', 'SwStr%', 'Whiff%', 'CSW%', 'GB%', 'FB%', 'LD%']
+          for stat in ['Swing%', 'Z-Swing%', 'Chase%', 'Contact%', 'Z-Contact%', 'O-Contact%', 'SwStr%', 'Whiff%', 'CSW%', 'GB%', 'FB%', 'LD%', 'Zone%']
       )
       .rename({pitch_col: 'ballKind_code', pitch_name_col: 'ballKind'} if pitch_class_type == 'general' else {})
       .sort(id_col, 'count', descending=[False, True])