File tree Expand file tree Collapse file tree 9 files changed +329
-299
lines changed Expand file tree Collapse file tree 9 files changed +329
-299
lines changed Original file line number Diff line number Diff line change 1- {% extends "layout.html" %}
2- {% block head %}
3- < link rel ="stylesheet " href ="../../node_modules/uplot/dist/uPlot.min.css ">
1+ {% extends "layout.html" %} {% block head %}
2+ < link rel ="stylesheet " href ="../../node_modules/uplot/dist/uPlot.min.css " />
43< style >
5- .uplot {
6- display : inline-block;
7- vertical-align : top;
8- width : min-content;
9- }
4+ .uplot {
5+ display : inline-block;
6+ vertical-align : top;
7+ width : min-content;
8+ }
109
11- .u-over {
12- box-shadow : 0px 0px 0px 0.5px # ccc ;
13- }
10+ .u-over {
11+ box-shadow : 0px 0px 0px 0.5px # ccc ;
12+ }
1413
15- .u-legend {
16- text-align : left;
17- padding-left : 50px ;
18- }
14+ .u-legend {
15+ text-align : left;
16+ padding-left : 50px ;
17+ }
1918
20- .u-inline tr {
21- margin-right : 8px ;
22- }
19+ .u-inline tr {
20+ margin-right : 8px ;
21+ }
2322
24- .u-label {
25- font-size : 12px ;
26- }
23+ .u-label {
24+ font-size : 12px ;
25+ }
2726
28- .u-tooltip {
29- font-size : 10pt ;
30- position : absolute;
31- background : # fff ;
32- display : none;
33- border : 2px solid black;
34- padding : 4px ;
35- pointer-events : none;
36- z-index : 100 ;
37- white-space : pre;
38- font-family : monospace;
39- }
27+ .u-tooltip {
28+ font-size : 10pt ;
29+ position : absolute;
30+ background : # fff ;
31+ display : none;
32+ border : 2px solid black;
33+ padding : 4px ;
34+ pointer-events : none;
35+ z-index : 100 ;
36+ white-space : pre;
37+ font-family : monospace;
38+ }
4039
41- body {
42- padding : 1em ;
43- margin : 0 ;
44- }
40+ body {
41+ padding : 1em ;
42+ margin : 0 ;
43+ }
4544</ style >
46- {% endblock %}
47- {% block content %}
45+ {% endblock %} {% block content %}
4846< div id ="app "> </ div >
49- {% endblock %}
50- {% block script %}
47+ {% endblock %} {% block script %}
5148< script type ="module " src ="../pages/bootstrap.ts "> </ script >
5249{% endblock %}
Original file line number Diff line number Diff line change 1- {% extends "layout.html" %}
2- {% block head %}
3- < link rel ="stylesheet " href ="../../node_modules/uplot/dist/uPlot.min.css ">
1+ {% extends "layout.html" %} {% block head %}
2+ < link rel ="stylesheet " href ="../../node_modules/uplot/dist/uPlot.min.css " />
43
54< style >
6- body {
7- max-width : 1100px ;
8- margin : 2% auto;
9- }
5+ body {
6+ max-width : 1100px ;
7+ margin : 2% auto;
8+ }
109
11- # app {
12- margin : 0 2% ;
13- }
10+ # app {
11+ margin : 0 2% ;
12+ }
1413
15- ul li {
16- margin : 0 ;
17- }
14+ ul li {
15+ margin : 0 ;
16+ }
1817
19- ul li input {
20- vertical-align : middle;
21- margin : 0 2px ;
22- }
18+ ul li input {
19+ vertical-align : middle;
20+ margin : 0 2px ;
21+ }
2322
24- .section {
25- display : flex;
26- margin : 10px 0 ;
27- }
23+ .section {
24+ display : flex;
25+ margin : 10px 0 ;
26+ }
2827
29- .section-heading {
30- font-size : 16px ;
31- }
28+ .section-heading {
29+ font-size : 16px ;
30+ }
3231
33- .collapsible-section {
34- border : 1px black;
35- border-style : dotted;
36- margin : 12px 0px ;
37- border-radius : 10px ;
38- }
32+ .collapsible-section {
33+ border : 1px black;
34+ border-style : dotted;
35+ margin : 12px 0px ;
36+ border-radius : 10px ;
37+ }
3938
40- input {
41- border-radius : 5px ;
42- font-size : 12px ;
43- height : 100% ;
44- }
39+ input {
40+ border-radius : 5px ;
41+ font-size : 12px ;
42+ height : 100% ;
43+ }
4544
46- input [type = "checkbox" ] {
47- height : auto;
48- }
45+ input [type = "checkbox" ] {
46+ height : auto;
47+ }
4948
50- .category-title {
51- font-weight : bold;
52- font-size : 1.2em ;
53- margin : 10px ;
54- text-align : center;
55- }
49+ .category-title {
50+ font-weight : bold;
51+ font-size : 1.2em ;
52+ margin : 10px ;
53+ text-align : center;
54+ }
5655
57- .positive {
58- color : red;
59- }
56+ .positive {
57+ color : red;
58+ }
6059
61- .slightly-positive {
62- color : # ea7272 ;
63- }
60+ .slightly-positive {
61+ color : # ea7272 ;
62+ }
6463
65- .negative {
66- color : green;
67- }
64+ .negative {
65+ color : green;
66+ }
6867
69- .slightly-negative {
70- color : # 74b374
71- }
68+ .slightly-negative {
69+ color : # 74b374;
70+ }
7271</ style >
7372
7473<!-- <link rel="stylesheet" type="text/css" href="scripts/compare.css"> -->
75- {% endblock %}
76- {% block content %}
77- {% raw %}
74+ {% endblock %} {% block content %} {% raw %}
7875< div id ="app "> </ div >
79- {% endraw %}
80- {% endblock %}
81- {% block script %}
76+ {% endraw %} {% endblock %} {% block script %}
8277< script type ="module " src ="../pages/compare.ts "> </ script >
8378{% endblock %}
Original file line number Diff line number Diff line change 3232 < div id ="runtime-average-times "> </ div >
3333</ div >
3434< div id ="as-of "> </ div >
35- {% endblock %}
36- {% block script %}
35+ {% endblock %} {% block script %}
3736< script type ="module " src ="../pages/dashboard.ts "> </ script >
3837{% endblock %}
You can’t perform that action at this time.
0 commit comments