lzzzzy commited on
Commit
3bfa19e
·
1 Parent(s): 14645bf

Refine rank label and score inputs

Browse files
Files changed (2) hide show
  1. app.py +23 -16
  2. src/display/css_html_js.py +33 -2
app.py CHANGED
@@ -86,6 +86,7 @@ with demo:
86
  rank_state = gr.State(DEFAULT_RANK_BY)
87
  with gr.Column(elem_id="benchmark-board-shell"):
88
  with gr.Row(elem_id="benchmark-rank-toolbar"):
 
89
  hard_rank_button = gr.Button(
90
  "Hard",
91
  variant="primary",
@@ -119,22 +120,28 @@ with demo:
119
  with gr.Column(scale=0, min_width=230, elem_classes="score-pair-card"):
120
  gr.Markdown(label, elem_classes="score-pair-label")
121
  with gr.Row(elem_classes="score-inline-inputs"):
122
- hard_input = gr.Number(
123
- label="Hard",
124
- precision=1,
125
- minimum=0,
126
- maximum=100,
127
- scale=0,
128
- min_width=96,
129
- )
130
- easy_input = gr.Number(
131
- label="Easy",
132
- precision=1,
133
- minimum=0,
134
- maximum=100,
135
- scale=0,
136
- min_width=96,
137
- )
 
 
 
 
 
 
138
  score_inputs.extend([hard_input, easy_input])
139
 
140
  submit_button = gr.Button("Submit Result")
 
86
  rank_state = gr.State(DEFAULT_RANK_BY)
87
  with gr.Column(elem_id="benchmark-board-shell"):
88
  with gr.Row(elem_id="benchmark-rank-toolbar"):
89
+ gr.Markdown("**Rank By:**", elem_classes="rank-by-label")
90
  hard_rank_button = gr.Button(
91
  "Hard",
92
  variant="primary",
 
120
  with gr.Column(scale=0, min_width=230, elem_classes="score-pair-card"):
121
  gr.Markdown(label, elem_classes="score-pair-label")
122
  with gr.Row(elem_classes="score-inline-inputs"):
123
+ with gr.Column(scale=0, min_width=88, elem_classes="score-inline-field"):
124
+ gr.Markdown("Hard", elem_classes="score-inline-field-label")
125
+ hard_input = gr.Textbox(
126
+ show_label=False,
127
+ container=False,
128
+ placeholder="0.0",
129
+ max_lines=1,
130
+ scale=0,
131
+ min_width=88,
132
+ elem_classes="score-value-input",
133
+ )
134
+ with gr.Column(scale=0, min_width=88, elem_classes="score-inline-field"):
135
+ gr.Markdown("Easy", elem_classes="score-inline-field-label")
136
+ easy_input = gr.Textbox(
137
+ show_label=False,
138
+ container=False,
139
+ placeholder="0.0",
140
+ max_lines=1,
141
+ scale=0,
142
+ min_width=88,
143
+ elem_classes="score-value-input",
144
+ )
145
  score_inputs.extend([hard_input, easy_input])
146
 
147
  submit_button = gr.Button("Submit Result")
src/display/css_html_js.py CHANGED
@@ -143,21 +143,52 @@ custom_css = """
143
  .score-inline-inputs {
144
  flex-wrap: nowrap !important;
145
  gap: 8px;
 
146
  }
147
 
148
  .score-inline-inputs > * {
149
  flex: 0 0 auto !important;
150
  }
151
 
152
- .score-inline-inputs label {
153
  gap: 4px;
 
 
154
  }
155
 
156
- .score-inline-inputs label > span {
 
157
  font-size: 12px !important;
158
  text-align: center;
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
159
  }
160
 
 
161
  .score-inline-inputs input {
162
  text-align: center;
163
  }
 
143
  .score-inline-inputs {
144
  flex-wrap: nowrap !important;
145
  gap: 8px;
146
+ align-items: flex-end;
147
  }
148
 
149
  .score-inline-inputs > * {
150
  flex: 0 0 auto !important;
151
  }
152
 
153
+ .score-inline-field {
154
  gap: 4px;
155
+ min-width: 88px !important;
156
+ max-width: 88px !important;
157
  }
158
 
159
+ .score-inline-field-label p {
160
+ margin: 0;
161
  font-size: 12px !important;
162
  text-align: center;
163
+ font-weight: 600;
164
+ }
165
+
166
+ .score-value-input {
167
+ min-width: 88px;
168
+ max-width: 88px;
169
+ }
170
+
171
+ .score-value-input textarea,
172
+ .score-value-input input {
173
+ width: 100% !important;
174
+ min-width: 88px !important;
175
+ max-width: 88px !important;
176
+ text-align: center;
177
+ }
178
+
179
+ .rank-by-label {
180
+ margin: 0 !important;
181
+ align-self: center;
182
+ }
183
+
184
+ .rank-by-label p {
185
+ margin: 0;
186
+ font-size: 13px !important;
187
+ font-weight: 600;
188
+ line-height: 1;
189
  }
190
 
191
+ .score-inline-inputs textarea,
192
  .score-inline-inputs input {
193
  text-align: center;
194
  }