Make model types be radio btns and add color to each

app.py

@@ -38,7 +38,7 @@ def filter_leaderboard(task, benchmark, model_type, search_query, max_params):
         
     if model_type != 'All':
         # without emojis
-        subset = subset[subset['Model Type'] == model_type]
+        subset = subset[subset['Model Type'] == model_type.split(" ")[0]]
     if search_query:
         subset = subset[subset['Model'].str.contains(search_query, case=False, na=False)]
     max_params = float(max_params)
@@ -149,7 +149,7 @@ with gr.Blocks(css=custom_css, js=js_func, theme=gr.themes.Default(primary_hue=c
     lc_benchs = ["RTL-Repo"]
     non_rtl_metrics = ["Syntax (STX)", "Functionality (FNC)", "Synthesis (SYN)", "Power", "Performance", "Area"]
     rtl_metrics = ["Exact Matching (EM)"]
-    model_types = ['All', 'General', 'Coding', 'RTL-Specific']
+    model_types = ['All', 'General 🟢', 'Coding 🔵', 'RTL-Specific 🔴']
     
     gr.HTML("""
     <p align="center" style="margin-bottom: -10px;">
@@ -192,21 +192,24 @@ with gr.Blocks(css=custom_css, js=js_func, theme=gr.themes.Default(primary_hue=c
                     benchmark_radio = gr.Radio(choices=["All"] + s2r_benchs, label="Select Benchmark", value='All')
             
             with gr.Row(equal_height=True):
-                with gr.Column():
-                    search_box = gr.Textbox(label="Search Model", placeholder="Type model name...")
-                with gr.Column():
-                    model_type_dropdown = gr.Dropdown(
+                    search_box = gr.Textbox(
+                        label="Search Model", 
+                        placeholder="Type model name...", 
+                        scale=2,
+                    )
+                    model_type_dropdown = gr.Radio(
                         choices=model_types,
                         label="Select Model Type",
-                        value='All'
+                        value='All',
+                        scale=3,
                     )
-                with gr.Column():
                     params_slider = gr.Slider(
                         minimum=df['Params'].min(),
                         maximum=700,
                         value=700,
                         label="Max Params",
-                        step=1
+                        step=1,
+                        scale=2,
                     )
             
             leaderboard = gr.DataFrame(

css_html_js.py

@@ -107,7 +107,7 @@ custom_css = """
     border: 0;
 }
 .slider_input_container {
-    padding-top: 8px;
+    padding-top: 2px;
 }
 input[role="listbox"] {
     cursor: pointer !important;