souffle  2.0.2-371-g6315b36
htmlCssChartist.h
Go to the documentation of this file.
1 #include <string>
2 
3 namespace souffle {
4 namespace profile {
5 namespace html {
6 std::string cssChartist = R"___(
7 p {
8  padding: 4px
9 }
10 
11 th[role=columnheader]:not(.no-sort) {
12  cursor: pointer
13 }
14 
15 th[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 
50 th[aria-sort=ascending]:not(.no-sort):after {
51  border-bottom: none;
52  border-width: 4px 4px 0
53 }
54 
55 th[aria-sort]:not(.no-sort):after {
56  visibility: visible;
57  opacity: .4
58 }
59 
60 th[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
souffle::profile::html::cssChartist
std::string cssChartist
Definition: htmlCssChartist.h:6
souffle
Definition: AggregateOp.h:25