Mercurial > repos > public > sbplib_julia

comparison benchmark/result.tmpl @ 1362:a6918dfb0cf5 bugfix/lazytensors

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge with default
author Vidar Stiernström <vidar.stiernstrom@it.uu.se>
date Sun, 21 May 2023 20:51:52 +0200
parents 34446df5733f
children
comparison
equal deleted inserted replaced
1359:646027afe74b 1362:a6918dfb0cf5
1 <html>
2 <head>
3 <title>Benchmark result {{title}}</title>
4 <meta charset="UTF-8">
5
6 <style>
7 @charset "UTF-8";
8 body {
9 font-family: system-ui, -apple-system, BlinkMacSystemFont, Segoe UI, Roboto, Oxygen, Ubuntu, Cantarell, Fira Sans, Droid Sans, Helvetica Neue, sans-serif;
10 line-height: 1.4;
11 max-width: 800px;
12 margin: 20px auto;
13 padding: 0 10px;
14 color: #363636;
15 background: #fff;
16 text-rendering:optimizeLegibility
17 }
18
19 button, input, textarea {
20 transition:background-color .1s linear, border-color .1s linear, color .1s linear, box-shadow .1s linear, transform .1s ease
21 }
22
23 h1 {
24 font-size: 2.2em;
25 margin-top:0
26 }
27
28 h1, h2, h3, h4, h5, h6 {
29 margin-bottom:12px
30 }
31
32 h1, h2, h3, h4, h5, h6, strong {
33 color:#000
34 }
35
36 b, h1, h2, h3, h4, h5, h6, strong, th {
37 font-weight:600
38 }
39
40 blockquote {
41 border-left: 4px solid rgba(0, 150, 191, .67);
42 margin: 1.5em 0;
43 padding: .5em 1em;
44 font-style:italic
45 }
46
47 blockquote > footer {
48 margin-top: 10px;
49 font-style:normal
50 }
51
52 address, blockquote cite {
53 font-style:normal
54 }
55
56 a[href^=mailto]:before {
57 content: "📧 "
58 }
59
60 a[href^=tel]:before {
61 content: "📞 "
62 }
63
64 a[href^=sms]:before {
65 content: "💬 "
66 }
67
68 button, input[type=button], input[type=checkbox], input[type=submit] {
69 cursor:pointer
70 }
71
72 input:not([type=checkbox]):not([type=radio]), select {
73 display:block
74 }
75
76 button, input, select, textarea {
77 color: #000;
78 background-color: #efefef;
79 font-family: inherit;
80 font-size: inherit;
81 margin-right: 6px;
82 margin-bottom: 6px;
83 padding: 10px;
84 border: none;
85 border-radius: 6px;
86 outline:none
87 }
88
89 button, input:not([type=checkbox]):not([type=radio]), select, textarea {
90 -webkit-appearance:none
91 }
92
93 textarea {
94 margin-right: 0;
95 width: 100%;
96 box-sizing: border-box;
97 resize:vertical
98 }
99
100 button, input[type=button], input[type=submit] {
101 padding-right: 30px;
102 padding-left:30px
103 }
104
105 button:hover, input[type=button]:hover, input[type=submit]:hover {
106 background:#ddd
107 }
108
109 button:focus, input:focus, select:focus, textarea:focus {
110 box-shadow:0 0 0 2px rgba(0, 150, 191, .67)
111 }
112
113 button:active, input[type=button]:active, input[type=checkbox]:active, input[type=radio]:active, input[type=submit]:active {
114 transform:translateY(2px)
115 }
116
117 button:disabled, input:disabled, select:disabled, textarea:disabled {
118 cursor: not-allowed;
119 opacity:.5
120 }
121
122 ::-webkit-input-placeholder {
123 color:#949494
124 }
125
126 :-ms-input-placeholder {
127 color:#949494
128 }
129
130 ::-ms-input-placeholder {
131 color:#949494
132 }
133
134 ::placeholder {
135 color:#949494
136 }
137
138 a {
139 text-decoration: none;
140 color:#0076d1
141 }
142
143 a:hover {
144 text-decoration:underline
145 }
146
147 code, kbd {
148 background: #efefef;
149 color: #000;
150 padding: 5px;
151 border-radius:6px
152 }
153
154 pre > code {
155 padding: 10px;
156 display: block;
157 overflow-x:auto
158 }
159
160 img {
161 max-width:100%
162 }
163
164 hr {
165 border: none;
166 border-top:1px solid #dbdbdb
167 }
168
169 table {
170 border-collapse: collapse;
171 margin-bottom: 10px;
172 width:100%
173 }
174
175 td, th {
176 padding: 6px;
177 text-align:left
178 }
179
180 th {
181 border-bottom:1px solid #dbdbdb
182 }
183
184 tbody tr:nth-child(2n) {
185 background-color:#efefef
186 }
187
188 ::-webkit-scrollbar {
189 height: 10px;
190 width:10px
191 }
192
193 ::-webkit-scrollbar-track {
194 background: #efefef;
195 border-radius:6px
196 }
197
198 ::-webkit-scrollbar-thumb {
199 background: #d5d5d5;
200 border-radius:6px
201 }
202
203 ::-webkit-scrollbar-thumb:hover {
204 background: #c4c4c4
205 }
206 </style>
207 </head>
208 <body>
209 {{{content}}}
210 </body>
211 </html>