OILS / vendor / souffle / profile / htmlCssStyle.h View on Github | oilshell.org

669 lines, 15 significant
1
2
3#include <string>
4
5namespace souffle {
6namespace profile {
7namespace html {
8std::string cssStyle = R"___(
9a, abbr, acronym, address,
10applet, article, aside, audio, b, big, blockquote, body, canvas, caption,
11center, cite, code, dd, del, details, dfn, dl, dt, em, embed, fieldset,
12figcaption, figure, footer, form, h1, h2, h3, h4, h5, h6, header, html,
13i, iframe, img, ins, kbd, label, legend, li, mark, menu, nav,
14object, ol, output, p, pre, q, ruby, s, samp, section, small,
15span, strike, strong, sub, summary, sup, table, tbody, td,
16tfoot, th, thead, time, tr, tt, u, ul, var, video {
17 margin: 0;
18 padding: 0;
19 border: 0;
20 font: inherit;
21 vertical-align: baseline;
22}
23
24th[role=columnheader]:not(.no-sort) {
25 cursor: pointer;
26}
27
28th[role=columnheader]:not(.no-sort):after {
29 content: '';
30 float: right;
31 margin-top: 7px;
32 border-width: 0 4px 4px;
33 border-style: solid;
34 border-color: #404040 transparent;
35 visibility: hidden;
36 opacity: 0;
37 -webkit-user-select: none;
38 -moz-user-select: none;
39 user-select: none;
40}
41
42th[aria-sort=ascending]:not(.no-sort):after {
43 border-bottom: none;
44 border-width: 4px 4px 0;
45}
46
47th[aria-sort]:not(.no-sort):after {
48 visibility: visible;
49 opacity: 0.4;
50}
51
52th[role=columnheader]:not(.no-sort):hover:after {
53 visibility: visible;
54 opacity: 1;
55}
56
57body,
58h1 {
59 font-size: 13px
60}
61
62article, aside, details, figcaption, figure, footer, header, menu, nav, section {
63 display: block
64}
65
66body,
67html {
68 line-height: 1
69}
70
71ol,
72ul {
73 list-style: none
74}
75
76blockquote,
77q {
78 quotes: none
79}
80
81blockquote:after,
82blockquote:before,
83q:after,
84q:before {
85 content: none
86}
87
88:focus {
89 outline: 0
90}
91
92*,
93:after,
94:before {
95 box-sizing: border-box
96}
97
98body {
99 margin: 0;
100 font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif;
101 line-height: 18px;
102 color: #303030;
103 background-color: #fafafa;
104 -webkit-font-smoothing: antialiased;
105 padding: 0
106}
107
108h1,
109h2,
110h3,
111h4,
112h5 {
113 font-weight: 700;
114 display: block;
115 margin: 0 0 10px;
116 text-align: center;
117}
118
119h1,
120ul {
121 margin: 0 0 20px
122}
123
124h1 {
125 display: block;
126 font-weight: 400;
127 text-shadow: 0 1px 0 #fff
128}
129
130a,
131strong,
132table th {
133 font-weight: 700
134}
135
136h1 span.description {
137 color: #6d6d6d
138}
139
140h2 {
141 font-size: 18px;
142 line-height: 24px;
143 margin: 20px 0 10px
144}
145
146h3 {
147 font-size: 15px;
148 margin: 20px 0
149}
150
151li {
152 margin-left: 30px;
153 margin-bottom: 3px
154}
155
156ul li {
157 list-style: disc
158}
159
160ol li {
161 list-style: decimal
162}
163
164a {
165 color: #404040;
166 text-decoration: none;
167 border-bottom: 1px solid #ddd
168}
169
170a:hover {
171 border-color: #d0d0d0
172}
173
174.notice {
175 background: #ffa;
176 border: 1px solid #cc7;
177 display: block;
178 padding: 10px;
179 margin-bottom: 10px
180}
181
182.stretch {
183 display: block;
184 width: 100%
185}
186
187.pad1y {
188 padding: 10px 0
189}
190
191.center {
192 text-align: center
193}
194
195.content {
196 margin-top: 40px;
197 padding: 0 0 20px
198}
199
200table {
201 background: #fff;
202 max-width: 100%;
203 border-spacing: 0;
204 width: 100%;
205 margin: 10px 0;
206 border: 1px solid #ddd;
207 border-collapse: separate;
208 -webkit-box-shadow: 0 0 4px rgba(0, 0, 0, .1);
209 -moz-box-shadow: 0 0 4px rgba(0, 0, 0, .1);
210 box-shadow: 0 0 4px rgba(0, 0, 0, .1)
211}
212
213table td,
214table th {
215 position: relative;
216 padding: 4px;
217 line-height: 15px;
218 text-align: left;
219 border-top: 1px solid #ddd
220}
221
222.limiter,
223header {
224 margin: 0 auto;
225 padding: 0 20px
226}
227
228table th {
229 background: #eee;
230 background: -webkit-gradient(linear, left top, left bottom, from(#f6f6f6), to(#eee));
231 background: -moz-linear-gradient(top, #f6f6f6, #eee);
232 text-shadow: 0 1px 0 #fff;
233 vertical-align: bottom
234}
235
236table td {
237 vertical-align: top
238}
239
240table tr {
241 background: rgba(0, 255, 0, 0)
242}
243
244table tbody:first-child tr:first-child td,
245table tbody:first-child tr:first-child th,
246table thead:first-child tr td,
247table thead:first-child tr th,
248table thead:first-child tr:first-child th {
249 border-top: 0
250}
251
252table tbody + tbody {
253 border-top: 2px solid #ddd
254}
255
256table td + td,
257table td + th,
258table th + td,
259table th + th {
260 border-left: 1px solid #ddd
261}
262
263header {
264 width: 960px
265}
266
267.limiter {
268 width: 520px
269}
270
271.links {
272 width: 480px;
273 margin: 50px auto 0
274}
275
276.links a {
277 width: 50%;
278 float: left
279}
280
281a.button {
282 background: #1F90FF;
283 border: 1px solid #1f4fff;
284 height: 40px;
285 line-height: 38px;
286 color: #fff;
287 display: inline-block;
288 text-align: center;
289 padding: 0 10px;
290 -webkit-border-radius: 1px;
291 border-radius: 1px;
292 -webkit-transition: box-shadow 150ms linear;
293 -moz-transition: box-shadow 150ms linear;
294 -o-transition: box-shadow 150ms linear;
295 transition: box-shadow 150ms linear
296}
297
298pre,
299pre code {
300 line-height: 1.25em
301}
302
303a.button:hover {
304background-color: #0081ff;
305-webkit-box-shadow: 0 1px 5px rgba(0, 0, 0, .25);
306box-shadow: 0 1px 5px rgba(0, 0, 0, .25);
307border: 1px solid #1f4fff
308}
309
310a.button:active,
311a.button:focus {
312background: #0081ff;
313-webkit-box-shadow: inset 0 1px 5px rgba(0, 0, 0, .25);
314box-shadow: inset 0 1px 5px rgba(0, 0, 0, .25)
315}
316
317.options {
318 margin: 10px 0 30px 15px
319}
320
321.options h3 {
322 display: block;
323 padding-top: 10px;
324 margin-top: 20px
325}
326
327.options h3:first-child {
328 border: none;
329 margin-top: 0
330}
331
332code,
333pre {
334 font-family: Consolas, Menlo, 'Liberation Mono', Courier, monospace;
335 word-wrap: break-word;
336 color: #333
337}
338
339pre {
340 font-size: 13px;
341 background: #fff;
342 padding: 10px 15px;
343 margin: 10px 0;
344 overflow: auto;
345 -webkit-box-shadow: 0 1px 3px rgba(0, 0, 0, .3);
346 box-shadow: 0 1px 3px rgba(0, 0, 0, .3)
347}
348
349code {
350 font-size: 12px;
351 border: 0;
352 padding: 0;
353 background: #e6e6e6;
354 background: rgba(0, 0, 0, .08);
355 box-shadow: 0 0 0 2px rgba(0, 0, 0, .08)
356}
357
358pre code {
359 font-size: 13px;
360 background: 0 0;
361 box-shadow: none;
362 border: none;
363 padding: 0;
364 margin: 0
365}
366
367.col12 {
368 width: 100%
369}
370
371.col6 {
372 width: 50%;
373 float: left;
374 display: block
375}
376
377#toolbar-button,
378ul.tab li a {
379 display: inline-block;
380 text-align: center;
381 text-decoration: none
382}
383
384.pill-group {
385 margin: 40px 0 0
386}
387
388.pill-group a:first-child {
389 border-radius: 20px 0 0 20px;
390 border-right-width: 0
391}
392
393.pill-group a:last-child {
394 border-radius: 0 20px 20px 0
395}
396
397#toolbar-button {
398 background-color: #4CAF50;
399 border: none;
400 color: #fff;
401 margin: 7px 12px;
402 padding: 8px 14px;
403 font-size: 32px
404}
405
406.tabcontent,
407ul.tab {
408 border: 1px solid #ccc
409}
410
411#toolbar-button:hover {
412 background-color: #0081ff;
413 -webkit-box-shadow: 0 1px 5px rgba(0, 0, 0, .25);
414 box-shadow: 0 1px 5px rgba(0, 0, 0, .25)
415}
416
417#toolbar-button:active,
418#toolbar-button:focus {
419 background: #0081ff;
420 -webkit-box-shadow: inset 0 1px 5px rgba(0, 0, 0, .25);
421 box-shadow: inset 0 1px 5px rgba(0, 0, 0, .25)
422}
423
424ul.tab {
425 margin: 0;
426 padding: 0;
427 overflow: hidden;
428 border: 1px solid #ccc;
429 background-color: #f1f1f1;
430}
431
432ul.tab li {
433 float: left;
434 list-style: none;
435}
436
437ul.tab li a {
438 display: inline-block;
439 color: black;
440 text-align: center;
441 padding: 14px 16px;
442 text-decoration: none;
443 transition: 0.3s;
444 font-size: 17px;
445}
446
447ul.tab li a:hover {
448 background-color: #ddd;
449}
450
451ul.tab li a:focus, .active {
452 background-color: #ccc;
453}
454
455.tabcontent {
456 display: none;
457 padding: 6px 12px;
458 border: 1px solid #ccc;
459 border-top: none;
460}
461
462.rulesofrel {
463 display: none;
464 animation: fadeEffect 1s
465}
466
467.RulVerTable {
468 display: none;
469 -webkit-animation: fadeEffect 1s;
470 animation: fadeEffect 1s
471}
472
473@-webkit-keyframes fadeEffect {
474 from {
475 opacity: 0
476 }
477 to {
478 opacity: 1
479 }
480}
481
482@keyframes fadeEffect {
483 from {
484 opacity: 0
485 }
486 to {
487 opacity: 1
488 }
489}
490
491.rulesofrel,
492.tabcontent {
493 -webkit-animation: fadeEffect 1s
494}
495
496.perc_time,
497.perc_tup {
498 padding: 0;
499 margin: 0;
500 background: #aaf;
501 width: 100%;
502 height: 30px;
503 font: inherit;
504 font-weight: 700;
505 color: #000
506}
507
508.text_cell {
509 position: relative;
510}
511
512.text_cell span {
513 word-break: break-all;
514 position: absolute;
515 width: 95%;
516 text-overflow: ellipsis;
517 white-space: nowrap;
518 overflow: hidden;
519}
520
521.text_cell span:hover {
522 word-break: break-all;
523 position: absolute;
524 width: 95%;
525 height: auto;
526 text-overflow: initial;
527 white-space: normal;
528 overflow: visible;
529 background: #fff;
530 z-index: 10;
531}
532
533th:last-child {
534 width: 20%;
535}
536
537th:first-child {
538 width: 80%;
539}
540
541.table_wrapper {
542 max-height: 50vh;
543 overflow-y: scroll;
544}
545
546/* chartist tooltip plugin css */
547.chartist-tooltip {
548 position: absolute;
549 display: none;
550 opacity: 0;
551 min-width: 5em;
552 padding: .5em;
553 background: #F4C63D;
554 color: #453D3F;
555 font-family: Oxygen, Helvetica, Arial, sans-serif;
556 font-weight: 700;
557 text-align: center;
558 pointer-events: none;
559 z-index: 1;
560 -webkit-transition: opacity .2s linear;
561 -moz-transition: opacity .2s linear;
562 -o-transition: opacity .2s linear;
563 transition: opacity .2s linear;
564}
565
566.chartist-tooltip:before {
567
568 content: "";
569 position: absolute;
570 top: 100%;
571 left: 50%;
572 width: 0;
573 height: 0;
574 margin-left: -15px;
575 border: 15px solid transparent;
576 border-top-color: #F4C63D;
577}
578
579.chartist-tooltip.tooltip-show {
580 display: inline-block;
581 opacity: 1;
582}
583
584.ct-area, .ct-line {
585 pointer-events: none;
586}
587
588button {
589 font-family: inherit;
590 font-size: 100%;
591 padding: .5em 1em;
592 color: #444;
593 color: rgba(0, 0, 0, .8);
594 border: 1px solid #999;
595 background-color: #E6E6E6;
596 text-decoration: none;
597 border-radius: 2px
598}
599button:hover {
600 filter: alpha(opacity=90);
601 background-image: -webkit-linear-gradient(transparent, rgba(0, 0, 0, .05) 40%, rgba(0, 0, 0, .1));
602 background-image: linear-gradient(transparent, rgba(0, 0, 0, .05) 40%, rgba(0, 0, 0, .1))
603}
604
605button {
606 border: none;
607 display: inline-block;
608 zoom: 1;
609 line-height: normal;
610 white-space: nowrap;
611 vertical-align: middle;
612 text-align: center;
613 cursor: pointer;
614 -webkit-user-drag: none;
615 -webkit-user-select: none;
616 -moz-user-select: none;
617 -ms-user-select: none;
618 user-select: none;
619 box-sizing: border-box;
620}
621
622#Help p {
623 margin-bottom: 1em;
624}
625
626#code-list {
627 background: #AAA;
628 padding-left: 2em;
629 color: #666;
630}
631
632.code-li {
633 background: #FAFAFA;
634 marginBottom: 0;
635}
636
637#code-view {
638 overflow: auto;
639 height: calc( 100vh - 160px );
640 width: calc( 100vw - 25px );
641 font-family: Consolas, Menlo, Monaco, Lucida Console,'Bitstream Vera Sans Mono','Courier',monospace;
642 line-height: 21px;
643}
644
645#code-view .text-span {
646 white-space: nowrap;
647 padding-left: 6px;
648 color: #666;
649}
650
651#code-view .ol li:before {
652 color: #666;
653 background: #AAA;
654}
655
656.code-li:hover {
657 background: #eacf7d;
658}
659
660.number-span {
661 content: counter(item) ". ";
662 counter-increment: item;
663 list-style:decimal;
664 width: 60px;
665}
666)___";
667}
668} // namespace profile
669} // namespace souffle