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

850 lines, 6 significant
1#include <string>
2
3namespace souffle {
4namespace profile {
5namespace html {
6std::string cssChartist = R"___(
7p {
8 padding: 4px
9}
10
11th[role=columnheader]:not(.no-sort) {
12 cursor: pointer
13}
14
15th[role=columnheader]:not(.no-sort):after {
16 content: '';
17 float: right;
18 margin-top: 7px;
19 border-width: 0 4px 4px;
20 border-style: solid;
21 border-color: #404040 transparent;
22 visibility: hidden;
23 opacity: 0;
24 -webkit-user-select: none;
25 -moz-user-select: none;
26 user-select: none
27}
28
29.ct-double-octave:before,
30.ct-major-eleventh:before,
31.ct-major-second:before,
32.ct-major-seventh:before,
33.ct-major-sixth:before,
34.ct-major-tenth:before,
35.ct-major-third:before,
36.ct-major-twelfth:before,
37.ct-minor-second:before,
38.ct-minor-seventh:before,
39.ct-minor-sixth:before,
40.ct-minor-third:before,
41.ct-octave:before,
42.ct-perfect-fifth:before,
43.ct-perfect-fourth:before,
44.ct-square:before {
45 float: left;
46 content: "";
47 height: 0
48}
49
50th[aria-sort=ascending]:not(.no-sort):after {
51 border-bottom: none;
52 border-width: 4px 4px 0
53}
54
55th[aria-sort]:not(.no-sort):after {
56 visibility: visible;
57 opacity: .4
58}
59
60th[role=columnheader]:not(.no-sort):hover:after {
61 visibility: visible;
62 opacity: 1
63}
64
65.ct-double-octave:after,
66.ct-major-eleventh:after,
67.ct-major-second:after,
68.ct-major-seventh:after,
69.ct-major-sixth:after,
70.ct-major-tenth:after,
71.ct-major-third:after,
72.ct-major-twelfth:after,
73.ct-minor-second:after,
74.ct-minor-seventh:after,
75.ct-minor-sixth:after,
76.ct-minor-third:after,
77.ct-octave:after,
78.ct-perfect-fifth:after,
79.ct-perfect-fourth:after,
80.ct-square:after {
81 content: "";
82 clear: both
83}
84
85.ct-label {
86 fill: rgba(0, 0, 0, .4);
87 color: rgba(0, 0, 0, .4);
88 font-size: .75rem;
89 line-height: 1
90}
91
92.ct-grid-background,
93.ct-line {
94 fill: none
95}
96
97.ct-chart-bar .ct-label,
98.ct-chart-line .ct-label {
99 display: block;
100 display: -webkit-box;
101 display: -moz-box;
102 display: -ms-flexbox;
103 display: -webkit-flex;
104 display: flex
105}
106
107.ct-chart-donut .ct-label,
108.ct-chart-pie .ct-label {
109 dominant-baseline: central
110}
111
112.ct-label.ct-horizontal.ct-start {
113 -webkit-box-align: flex-end;
114 -webkit-align-items: flex-end;
115 -ms-flex-align: flex-end;
116 align-items: flex-end;
117 -webkit-box-pack: flex-start;
118 -webkit-justify-content: flex-start;
119 -ms-flex-pack: flex-start;
120 justify-content: flex-start;
121 text-align: left;
122 text-anchor: start
123}
124
125.ct-label.ct-horizontal.ct-end {
126 -webkit-box-align: flex-start;
127 -webkit-align-items: flex-start;
128 -ms-flex-align: flex-start;
129 align-items: flex-start;
130 -webkit-box-pack: flex-start;
131 -webkit-justify-content: flex-start;
132 -ms-flex-pack: flex-start;
133 justify-content: flex-start;
134 text-align: left;
135 text-anchor: start
136}
137
138.ct-label.ct-vertical.ct-start {
139 -webkit-box-align: flex-end;
140 -webkit-align-items: flex-end;
141 -ms-flex-align: flex-end;
142 align-items: flex-end;
143 -webkit-box-pack: flex-end;
144 -webkit-justify-content: flex-end;
145 -ms-flex-pack: flex-end;
146 justify-content: flex-end;
147 text-align: right;
148 text-anchor: end
149}
150
151.ct-label.ct-vertical.ct-end {
152 -webkit-box-align: flex-end;
153 -webkit-align-items: flex-end;
154 -ms-flex-align: flex-end;
155 align-items: flex-end;
156 -webkit-box-pack: flex-start;
157 -webkit-justify-content: flex-start;
158 -ms-flex-pack: flex-start;
159 justify-content: flex-start;
160 text-align: left;
161 text-anchor: start
162}
163
164.ct-chart-bar .ct-label.ct-horizontal.ct-start {
165 -webkit-box-align: flex-end;
166 -webkit-align-items: flex-end;
167 -ms-flex-align: flex-end;
168 align-items: flex-end;
169 -webkit-box-pack: center;
170 -webkit-justify-content: center;
171 -ms-flex-pack: center;
172 justify-content: center;
173 text-align: center;
174 text-anchor: start
175}
176
177.ct-chart-bar .ct-label.ct-horizontal.ct-end {
178 -webkit-box-align: flex-start;
179 -webkit-align-items: flex-start;
180 -ms-flex-align: flex-start;
181 align-items: flex-start;
182 -webkit-box-pack: center;
183 -webkit-justify-content: center;
184 -ms-flex-pack: center;
185 justify-content: center;
186 text-align: center;
187 text-anchor: start
188}
189
190.ct-chart-bar.ct-horizontal-bars .ct-label.ct-horizontal.ct-start {
191 -webkit-box-align: flex-end;
192 -webkit-align-items: flex-end;
193 -ms-flex-align: flex-end;
194 align-items: flex-end;
195 -webkit-box-pack: flex-start;
196 -webkit-justify-content: flex-start;
197 -ms-flex-pack: flex-start;
198 justify-content: flex-start;
199 text-align: left;
200 text-anchor: start
201}
202
203.ct-chart-bar.ct-horizontal-bars .ct-label.ct-horizontal.ct-end {
204 -webkit-box-align: flex-start;
205 -webkit-align-items: flex-start;
206 -ms-flex-align: flex-start;
207 align-items: flex-start;
208 -webkit-box-pack: flex-start;
209 -webkit-justify-content: flex-start;
210 -ms-flex-pack: flex-start;
211 justify-content: flex-start;
212 text-align: left;
213 text-anchor: start
214}
215
216.ct-chart-bar.ct-horizontal-bars .ct-label.ct-vertical.ct-start {
217 -webkit-box-align: center;
218 -webkit-align-items: center;
219 -ms-flex-align: center;
220 align-items: center;
221 -webkit-box-pack: flex-end;
222 -webkit-justify-content: flex-end;
223 -ms-flex-pack: flex-end;
224 justify-content: flex-end;
225 text-align: right;
226 text-anchor: end
227}
228
229.ct-chart-bar.ct-horizontal-bars .ct-label.ct-vertical.ct-end {
230 -webkit-box-align: center;
231 -webkit-align-items: center;
232 -ms-flex-align: center;
233 align-items: center;
234 -webkit-box-pack: flex-start;
235 -webkit-justify-content: flex-start;
236 -ms-flex-pack: flex-start;
237 justify-content: flex-start;
238 text-align: left;
239 text-anchor: end
240}
241
242.ct-grid {
243 stroke: rgba(0, 0, 0, .2);
244 stroke-width: 1px;
245 stroke-dasharray: 2px
246}
247
248.ct-point {
249 stroke-width: 10px;
250 stroke-linecap: round
251}
252
253.ct-line {
254 stroke-width: 4px
255}
256
257.ct-area {
258 stroke: none;
259 fill-opacity: .1
260}
261
262.ct-bar {
263 fill: none;
264 stroke-width: 10px
265}
266
267.ct-slice-donut {
268 fill: none;
269 stroke-width: 60px
270}
271
272.ct-series-a .ct-bar,
273.ct-series-a .ct-line,
274.ct-series-a .ct-point,
275.ct-series-a .ct-slice-donut {
276 stroke: #d70206
277}
278
279.ct-series-a .ct-area,
280.ct-series-a .ct-slice-pie {
281 fill: #d70206
282}
283
284.ct-series-b .ct-bar,
285.ct-series-b .ct-line,
286.ct-series-b .ct-point,
287.ct-series-b .ct-slice-donut {
288 stroke: #f05b4f
289}
290
291.ct-series-b .ct-area,
292.ct-series-b .ct-slice-pie {
293 fill: #f05b4f
294}
295
296.ct-series-c .ct-bar,
297.ct-series-c .ct-line,
298.ct-series-c .ct-point,
299.ct-series-c .ct-slice-donut {
300 stroke: #f4c63d
301}
302
303.ct-series-c .ct-area,
304.ct-series-c .ct-slice-pie {
305 fill: #f4c63d
306}
307
308.ct-series-d .ct-bar,
309.ct-series-d .ct-line,
310.ct-series-d .ct-point,
311.ct-series-d .ct-slice-donut {
312 stroke: #d17905
313}
314
315.ct-series-d .ct-area,
316.ct-series-d .ct-slice-pie {
317 fill: #d17905
318}
319
320.ct-series-e .ct-bar,
321.ct-series-e .ct-line,
322.ct-series-e .ct-point,
323.ct-series-e .ct-slice-donut {
324 stroke: #453d3f
325}
326
327.ct-series-e .ct-area,
328.ct-series-e .ct-slice-pie {
329 fill: #453d3f
330}
331
332.ct-series-f .ct-bar,
333.ct-series-f .ct-line,
334.ct-series-f .ct-point,
335.ct-series-f .ct-slice-donut {
336 stroke: #59922b
337}
338
339.ct-series-f .ct-area,
340.ct-series-f .ct-slice-pie {
341 fill: #59922b
342}
343
344.ct-series-g .ct-bar,
345.ct-series-g .ct-line,
346.ct-series-g .ct-point,
347.ct-series-g .ct-slice-donut {
348 stroke: #0544d3
349}
350
351.ct-series-g .ct-area,
352.ct-series-g .ct-slice-pie {
353 fill: #0544d3
354}
355
356.ct-series-h .ct-bar,
357.ct-series-h .ct-line,
358.ct-series-h .ct-point,
359.ct-series-h .ct-slice-donut {
360 stroke: #6b0392
361}
362
363.ct-series-h .ct-area,
364.ct-series-h .ct-slice-pie {
365 fill: #6b0392
366}
367
368.ct-series-i .ct-bar,
369.ct-series-i .ct-line,
370.ct-series-i .ct-point,
371.ct-series-i .ct-slice-donut {
372 stroke: #f05b4f
373}
374
375.ct-series-i .ct-area,
376.ct-series-i .ct-slice-pie {
377 fill: #f05b4f
378}
379
380.ct-series-j .ct-bar,
381.ct-series-j .ct-line,
382.ct-series-j .ct-point,
383.ct-series-j .ct-slice-donut {
384 stroke: #dda458
385}
386
387.ct-series-j .ct-area,
388.ct-series-j .ct-slice-pie {
389 fill: #dda458
390}
391
392.ct-series-k .ct-bar,
393.ct-series-k .ct-line,
394.ct-series-k .ct-point,
395.ct-series-k .ct-slice-donut {
396 stroke: #eacf7d
397}
398
399.ct-series-k .ct-area,
400.ct-series-k .ct-slice-pie {
401 fill: #eacf7d
402}
403
404.ct-series-l .ct-bar,
405.ct-series-l .ct-line,
406.ct-series-l .ct-point,
407.ct-series-l .ct-slice-donut {
408 stroke: #86797d
409}
410
411.ct-series-l .ct-area,
412.ct-series-l .ct-slice-pie {
413 fill: #86797d
414}
415
416.ct-series-m .ct-bar,
417.ct-series-m .ct-line,
418.ct-series-m .ct-point,
419.ct-series-m .ct-slice-donut {
420 stroke: #b2c326
421}
422
423.ct-series-m .ct-area,
424.ct-series-m .ct-slice-pie {
425 fill: #b2c326
426}
427
428.ct-series-n .ct-bar,
429.ct-series-n .ct-line,
430.ct-series-n .ct-point,
431.ct-series-n .ct-slice-donut {
432 stroke: #6188e2
433}
434
435.ct-series-n .ct-area,
436.ct-series-n .ct-slice-pie {
437 fill: #6188e2
438}
439
440.ct-series-o .ct-bar,
441.ct-series-o .ct-line,
442.ct-series-o .ct-point,
443.ct-series-o .ct-slice-donut {
444 stroke: #a748ca
445}
446
447.ct-series-o .ct-area,
448.ct-series-o .ct-slice-pie {
449 fill: #a748ca
450}
451
452.ct-square {
453 display: block;
454 position: relative;
455 width: 100%
456}
457
458.ct-square:before {
459 display: block;
460 width: 0;
461 padding-bottom: 100%
462}
463
464.ct-square:after {
465 display: table
466}
467
468.ct-square>svg {
469 display: block;
470 position: absolute;
471 top: 0;
472 left: 0
473}
474
475.ct-minor-second {
476 display: block;
477 position: relative;
478 width: 100%
479}
480
481.ct-minor-second:before {
482 display: block;
483 width: 0;
484 padding-bottom: 93.75%
485}
486
487.ct-minor-second:after {
488 display: table
489}
490
491.ct-minor-second>svg {
492 display: block;
493 position: absolute;
494 top: 0;
495 left: 0
496}
497
498.ct-major-second {
499 display: block;
500 position: relative;
501 width: 100%
502}
503
504.ct-major-second:before {
505 display: block;
506 width: 0;
507 padding-bottom: 88.8888888889%
508}
509
510.ct-major-second:after {
511 display: table
512}
513
514.ct-major-second>svg {
515 display: block;
516 position: absolute;
517 top: 0;
518 left: 0
519}
520
521.ct-minor-third {
522 display: block;
523 position: relative;
524 width: 100%
525}
526
527.ct-minor-third:before {
528 display: block;
529 width: 0;
530 padding-bottom: 83.3333333333%
531}
532
533.ct-minor-third:after {
534 display: table
535}
536
537.ct-minor-third>svg {
538 display: block;
539 position: absolute;
540 top: 0;
541 left: 0
542}
543
544.ct-major-third {
545 display: block;
546 position: relative;
547 width: 100%
548}
549
550.ct-major-third:before {
551 display: block;
552 width: 0;
553 padding-bottom: 80%
554}
555
556.ct-major-third:after {
557 display: table
558}
559
560.ct-major-third>svg {
561 display: block;
562 position: absolute;
563 top: 0;
564 left: 0
565}
566
567.ct-perfect-fourth {
568 display: block;
569 position: relative;
570 width: 100%
571}
572
573.ct-perfect-fourth:before {
574 display: block;
575 width: 0;
576 padding-bottom: 75%
577}
578
579.ct-perfect-fourth:after {
580 display: table
581}
582
583.ct-perfect-fourth>svg {
584 display: block;
585 position: absolute;
586 top: 0;
587 left: 0
588}
589
590.ct-perfect-fifth {
591 display: block;
592 position: relative;
593 width: 100%
594}
595
596.ct-perfect-fifth:before {
597 display: block;
598 width: 0;
599 padding-bottom: 66.6666666667%
600}
601
602.ct-perfect-fifth:after {
603 display: table
604}
605
606.ct-perfect-fifth>svg {
607 display: block;
608 position: absolute;
609 top: 0;
610 left: 0
611}
612
613.ct-minor-sixth {
614 display: block;
615 position: relative;
616 width: 100%
617}
618
619.ct-minor-sixth:before {
620 display: block;
621 width: 0;
622 padding-bottom: 62.5%
623}
624
625.ct-minor-sixth:after {
626 display: table
627}
628
629.ct-minor-sixth>svg {
630 display: block;
631 position: absolute;
632 top: 0;
633 left: 0
634}
635
636.ct-golden-section {
637 display: block;
638 position: relative;
639 width: 100%
640}
641
642.ct-golden-section:before {
643 display: block;
644 float: left;
645 content: "";
646 width: 0;
647 height: 0;
648 padding-bottom: 61.804697157%
649}
650
651.ct-golden-section:after {
652 content: "";
653 display: table;
654 clear: both
655}
656
657.ct-golden-section>svg {
658 display: block;
659 position: absolute;
660 top: 0;
661 left: 0
662}
663
664.ct-major-sixth {
665 display: block;
666 position: relative;
667 width: 100%
668}
669
670.ct-major-sixth:before {
671 display: block;
672 width: 0;
673 padding-bottom: 60%
674}
675
676.ct-major-sixth:after {
677 display: table
678}
679
680.ct-major-sixth>svg {
681 display: block;
682 position: absolute;
683 top: 0;
684 left: 0
685}
686
687.ct-minor-seventh {
688 display: block;
689 position: relative;
690 width: 100%
691}
692
693.ct-minor-seventh:before {
694 display: block;
695 width: 0;
696 padding-bottom: 56.25%
697}
698
699.ct-minor-seventh:after {
700 display: table
701}
702
703.ct-minor-seventh>svg {
704 display: block;
705 position: absolute;
706 top: 0;
707 left: 0
708}
709
710.ct-major-seventh {
711 display: block;
712 position: relative;
713 width: 100%
714}
715
716.ct-major-seventh:before {
717 display: block;
718 width: 0;
719 padding-bottom: 53.3333333333%
720}
721
722.ct-major-seventh:after {
723 display: table
724}
725
726.ct-major-seventh>svg {
727 display: block;
728 position: absolute;
729 top: 0;
730 left: 0
731}
732
733.ct-octave {
734 display: block;
735 position: relative;
736 width: 100%
737}
738
739.ct-octave:before {
740 display: block;
741 width: 0;
742 padding-bottom: 50%
743}
744
745.ct-octave:after {
746 display: table
747}
748
749.ct-octave>svg {
750 display: block;
751 position: absolute;
752 top: 0;
753 left: 0
754}
755
756.ct-major-tenth {
757 display: block;
758 position: relative;
759 width: 100%
760}
761
762.ct-major-tenth:before {
763 display: block;
764 width: 0;
765 padding-bottom: 40%
766}
767
768.ct-major-tenth:after {
769 display: table
770}
771
772.ct-major-tenth>svg {
773 display: block;
774 position: absolute;
775 top: 0;
776 left: 0
777}
778
779.ct-major-eleventh {
780 display: block;
781 position: relative;
782 width: 100%
783}
784
785.ct-major-eleventh:before {
786 display: block;
787 width: 0;
788 padding-bottom: 37.5%
789}
790
791.ct-major-eleventh:after {
792 display: table
793}
794
795.ct-major-eleventh>svg {
796 display: block;
797 position: absolute;
798 top: 0;
799 left: 0
800}
801
802.ct-major-twelfth {
803 display: block;
804 position: relative;
805 width: 100%
806}
807
808.ct-major-twelfth:before {
809 display: block;
810 width: 0;
811 padding-bottom: 33.3333333333%
812}
813
814.ct-major-twelfth:after {
815 display: table
816}
817
818.ct-major-twelfth>svg {
819 display: block;
820 position: absolute;
821 top: 0;
822 left: 0
823}
824
825.ct-double-octave {
826 display: block;
827 position: relative;
828 width: 100%
829}
830
831.ct-double-octave:before {
832 display: block;
833 width: 0;
834 padding-bottom: 25%
835}
836
837.ct-double-octave:after {
838 display: table
839}
840
841.ct-double-octave>svg {
842 display: block;
843 position: absolute;
844 top: 0;
845 left: 0
846}
847)___";
848}
849} // namespace profile
850} // namespace souffle