Merge remote-tracking branch 'origin/main'

app.py

@@ -256,17 +256,6 @@ leaderboard_df = filter_models(
     #    [i.value.name for i in Backend],
 )
 
-leaderboard_df_filtered = filter_models(
-    leaderboard_df,
-    [t.to_str(" : ") for t in ModelType],
-    list(NUMERIC_INTERVALS.keys()),
-    [i.value.name for i in Precision],
-    [i.value.name for i in AddSpecialTokens],
-    [i.value.name for i in NumFewShots],
-    [i.value.name for i in Version],
-    #    [i.value.name for i in Backend],
-)
-
 # DataFrameの初期化部分のみを修正
 initial_columns = ["T"] + [
     c.name for c in fields(AutoEvalColumn) if (c.never_hidden or c.displayed_by_default) and c.name != "T"

style.css

@@ -20,11 +20,7 @@
 }
 
 #leaderboard-table {
-  margin-top: 15px
-}
-
-#leaderboard-table-lite {
-  margin-top: 15px
+  margin-top: 15px;
 }
 
 #search-bar-table-box > div:first-child {
@@ -44,26 +40,23 @@
   white-space: nowrap;
 }
 
-@media(min-width: 700px){
+@media (min-width: 700px) {
   #leaderboard-table td:nth-child(2) {
     left: 0;
     z-index: 1;
     position: sticky;
-    border-right: solid rgba(0,0,0,0.1) !important;
+    border-right: solid rgba(0, 0, 0, 0.1) !important;
   }
 }
-
-@media(min-width: 700px),
-@media (prefers-color-scheme: light) {
+@media (min-width: 700px) and (prefers-color-scheme: light) {
   #leaderboard-table td:nth-child(2) {
-    background-color: rgba(255,255,255,0.9) !important;
+    background-color: rgba(255, 255, 255, 0.9) !important;
   }
 }
 
-@media(min-width: 700px),
-@media (prefers-color-scheme: dark) {
+@media (min-width: 700px) and (prefers-color-scheme: dark) {
   #leaderboard-table td:nth-child(2) {
-    background-color: rgba(52,65,86,0.9) !important;
+    background-color: rgba(52, 65, 86, 0.9) !important;
   }
   #leaderboard-table td a {
     color: white !important;
@@ -86,7 +79,7 @@
 #scale-logo .download {
   display: none;
 }
-#filter_type{
+#filter_type {
   border: 0;
   padding-left: 0;
   padding-top: 0;
@@ -94,29 +87,29 @@
 #filter_type label {
   display: flex;
 }
-#filter_type label > span{
+#filter_type label > span {
   margin-top: var(--spacing-lg);
   margin-right: 0.5em;
 }
-#filter_type label > .wrap{
+#filter_type label > .wrap {
   width: 103px;
 }
-#filter_type label > .wrap .wrap-inner{
+#filter_type label > .wrap .wrap-inner {
   padding: 2px;
 }
-#filter_type label > .wrap .wrap-inner input{
-  width: 1px
+#filter_type label > .wrap .wrap-inner input {
+  width: 1px;
 }
-#filter-columns-type{
-  border:0;
-  padding:0.5;
+#filter-columns-type {
+  border: 0;
+  padding: 0.5;
 }
-#filter-columns-size{
-  border:0;
-  padding:0.5;
+#filter-columns-size {
+  border: 0;
+  padding: 0.5;
 }
-#box-filter > .form{
-  border: 0
+#box-filter > .form {
+  border: 0;
 }
 
 .language-selector {
@@ -128,12 +121,12 @@
 
 /* Full width space */
 .gradio-container {
-  max-width: 95%!important;
+  max-width: 95% !important;
 }
 
 .accordion {
-  min-width: 200px!important;
-  border: solid rgba(175,175,175,0.1) !important;
+  min-width: 200px !important;
+  border: solid rgba(175, 175, 175, 0.1) !important;
 }
 
 /* make the plotly modebar horizontal */