10
10
< link rel ="icon " type ="image/svg+xml " href ="/favicon.svg ">
11
11
< style >
12
12
ul li {
13
- position : relative;
14
- padding-top : 0.5em ;
13
+ margin : 0 ;
15
14
}
16
15
17
- input [ type = "checkbox" ] {
18
- position : absolute ;
19
- top : 0.25 em ;
20
- left : -2 em ;
16
+ ul li input {
17
+ vertical-align : middle ;
18
+ margin : 0 2 px ;
19
+
21
20
}
22
21
23
- # settings {
24
- border : 2px black;
25
- border-style : solid;
26
- padding : 14px ;
27
- border-radius : 10px ;
22
+ .section {
23
+ display : flex;
24
+ margin : 4px 0 ;
28
25
}
29
26
30
27
# commits {
35
32
36
33
.commit-input {
37
34
width : 270px ;
38
- margin : 10px ;
39
35
display : flex;
40
36
flex-direction : column;
41
37
}
42
38
43
39
.commit-input label {
44
- font-size : 18 px ;
40
+ font-size : 12 px ;
45
41
font-weight : bold;
46
42
margin-bottom : 6px ;
47
43
}
48
44
45
+ # metric {
46
+ position : relative;
47
+ height : 40px ;
48
+ }
49
+
49
50
# stats {
50
51
border-radius : 5px ;
51
- width : 132px ;
52
- font-size : 16px ;
53
- margin : 10px ;
54
- padding : 3px ;
52
+ width : 200px ;
53
+ font-size : 14px ;
54
+ margin-left : 52px ;
55
55
}
56
56
57
57
# filters-toggle {
58
58
cursor : pointer;
59
59
}
60
60
61
61
.section-heading {
62
- font-size : 22 px ;
62
+ font-size : 16 px ;
63
63
}
64
64
65
- # search-content {
66
- margin-top : 16px ;
65
+ .section .section-heading {
66
+ display : flex;
67
+ flex-direction : column;
68
+ justify-content : center;
67
69
}
68
70
69
71
# filters-content .section-heading {
70
- font-size : 18px ;
71
- }
72
-
73
- # filters-content {
74
- margin-top : 16px ;
72
+ font-size : 16px ;
75
73
}
76
74
77
75
# filters {
78
- padding : 10px ;
79
76
border : 1px black;
80
77
border-style : dotted;
81
78
margin : 16px 0px ;
82
79
border-radius : 10px ;
83
80
}
84
81
85
- # settings input {
82
+ # filter {
83
+ margin-left : 52px ;
84
+ }
85
+
86
+ input {
86
87
border-radius : 5px ;
87
- padding : 10px ;
88
- font-size : 14px ;
88
+ padding : 4px ;
89
+ font-size : 12px ;
90
+ height : 100% ;
89
91
}
90
92
91
- # filter {
92
- margin : 10 px 0 ;
93
+ input [ type = "checkbox" ] {
94
+ height : auto ;
93
95
}
94
96
95
97
# settings input [type = submit ] {
103
105
font-weight : bold;
104
106
}
105
107
108
+ # states-list {
109
+ display : flex;
110
+ justify-content : space-around;
111
+ align-items : center;
112
+ width : 80% ;
113
+ list-style : none;
114
+ margin : 0 ;
115
+ }
116
+
106
117
.tooltip {
107
118
position : relative;
108
119
border-radius : 50% ;
120
+ font-size : 12px ;
121
+ margin : 0 -6px ;
109
122
border : 1px solid # 7d6969 ;
110
123
width : 16px ;
111
124
text-align : center;
147
160
< br />
148
161
< h1 > Comparing < span id ="stat-header "> instructions:u</ span > between < span id ="before "> ???</ span > and < span
149
162
id ="after "> ???</ span > </ h1 >
150
- < form id ="settings " action =" ">
151
- < div id ="search-toggle " class ="section-heading "> Compare Other Commits < span id =" search-toggle-indicator " > </ span >
152
- </ div >
163
+ < fieldset id ="settings ">
164
+ < legend id ="search-toggle " class ="section-heading "> Compare other commits < span
165
+ id =" search-toggle-indicator " > </ span > </ legend >
153
166
< div id ="search-content ">
154
- < fieldset id ="commits ">
155
- < legend class ="section-heading "> Commits</ legend >
167
+ < div id ="commits " class =" section ">
168
+ < div class ="section-heading "> Commits</ div >
156
169
< div style ="display: flex; width: 100%; justify-content: space-around; ">
157
170
< div class ="commit-input ">
158
171
< label for ="start-bound "> Before</ label >
159
- < input width ="100em " placeholder ="YYYY-MM-DD or Commit SHA " id ="start-bound " /> < br >
172
+ < input width ="100em " placeholder ="YYYY-MM-DD or Commit SHA " id ="start-bound " />
160
173
</ div >
161
174
< div class ="commit-input ">
162
175
< label for ="end-bound "> After</ label >
163
- < input width ="100em " placeholder ="YYYY-MM-DD or Commit SHA " id ="end-bound " /> < br >
176
+ < input width ="100em " placeholder ="YYYY-MM-DD or Commit SHA " id ="end-bound " />
164
177
</ div >
165
178
</ div >
166
- </ fieldset >
167
- < div id ="metric " style =" position: relative;height: 60px; ">
168
- < label class ="section-heading " for ="stats "> Metric</ label >
169
- < div style ="width: 100%; position: absolute; top:0; display: flex ; justify-content: center; ">
179
+ </ div >
180
+ < div id ="metric " class =" section ">
181
+ < div class ="section-heading " for ="stats "> Metric</ div >
182
+ < div style ="display: flex; flex-direction: column ; justify-content: center; ">
170
183
< select id ='stats ' name ="stat "> </ select >
171
184
</ div >
172
185
</ div >
173
186
< input id ="submit " type ="submit " value ="Submit " onclick ="submit_settings(); return false; ">
174
- </ div >
175
- </ form >
176
- < div id ="filters ">
177
- < div id ="filters-toggle " class ="section-heading "> Filters< span id ="filters-toggle-indicator "> </ span > </ div >
187
+ </ fieldset >
188
+ </ div >
189
+ < fieldset id ="filters ">
190
+ < legend id ="filters-toggle " class ="section-heading "> Filters< span id ="filters-toggle-indicator "> </ span > </ legend >
178
191
< div id ="filters-content " style ="display: none; ">
179
- < div >
192
+ < div class =" section " >
180
193
< div class ="section-heading "> Filter by benchmark
181
194
</ div >
182
195
< input id ="filter " type ="text " /> </ p >
183
196
</ div >
184
- < div >
185
- < div class ="section-heading "> Cache states</ div >
186
- < p > Most benchmarks have at least 4 cache states for which we collect data:</ p >
187
- < ul style ="display: flex; justify-content: space-around; list-style:none; ">
197
+ < div class ="section ">
198
+ < div class ="section-heading ">
199
+ < div >
200
+ < span > Cache states</ span >
201
+ < div class ="tooltip "> ?< span class ="tooltiptext ">
202
+ Most benchmarks have at least 4 cache states for which we collect data
203
+ </ div >
204
+ </ div >
205
+ </ div >
206
+ < ul id ="states-list ">
188
207
< li > < input type ="checkbox " id ="build-full " checked /> < span class ="cache-label "> full</ span >
189
208
< div class ="tooltip "> ?< span class ="tooltiptext "> A
190
209
non-incremental full build starting with empty cache</ span > </ div >
@@ -216,7 +235,7 @@ <h1>Comparing <span id="stat-header">instructions:u</span> between <span id="bef
216
235
</ ul >
217
236
</ div >
218
237
</ div >
219
- </ div >
238
+ </ fieldset >
220
239
< div id ="content " style ="display: none; margin-top: 15px "> </ div >
221
240
< br >
222
241
< div id ="as-of "> </ div >
@@ -229,7 +248,7 @@ <h1>Comparing <span id="stat-header">instructions:u</span> between <span id="bef
229
248
< script src ="https://cdnjs.cloudflare.com/ajax/libs/msgpack-lite/0.1.26/msgpack.min.js "> </ script >
230
249
< script src ="shared.js "> </ script >
231
250
< script >
232
- function toggle_filters ( id , toggle ) {
251
+ function toggleFilters ( id , toggle ) {
233
252
let styles = document . getElementById ( id ) . style ;
234
253
let indicator = document . getElementById ( toggle ) ;
235
254
if ( styles . display != "none" ) {
@@ -240,14 +259,14 @@ <h1>Comparing <span id="stat-header">instructions:u</span> between <span id="bef
240
259
styles . display = "block" ;
241
260
}
242
261
}
243
- toggle_filters ( "filters-content" , "filters-toggle-indicator" ) ;
244
- toggle_filters ( "search-content" , "search-toggle-indicator" ) ;
262
+ toggleFilters ( "filters-content" , "filters-toggle-indicator" ) ;
263
+ toggleFilters ( "search-content" , "search-toggle-indicator" ) ;
245
264
246
265
document . getElementById ( "filters-toggle" ) . onclick = ( e ) => {
247
- toggle_filters ( "filters-content" , "filters-toggle-indicator" ) ;
266
+ toggleFilters ( "filters-content" , "filters-toggle-indicator" ) ;
248
267
} ;
249
268
document . getElementById ( "search-toggle" ) . onclick = ( e ) => {
250
- toggle_filters ( "search-content" , "search-toggle-indicator" ) ;
269
+ toggleFilters ( "search-content" , "search-toggle-indicator" ) ;
251
270
} ;
252
271
253
272
0 commit comments