source: trip-planner-front/node_modules/reflect-metadata/docs/ecmarkup.css@ 188ee53

Last change on this file since 188ee53 was 6a3a178, checked in by Ema <ema_spirova@…>, 3 years ago

initial commit

  • Property mode set to 100644
File size: 15.8 KB
Line 
1body {
2 display: flex;
3 font-size: 18px;
4 line-height: 1.5;
5 font-family: Cambria, Palatino Linotype, Palatino, Liberation Serif, serif;
6 padding: 0;
7 margin: 0;
8 color: #111;
9}
10
11#spec-container {
12 padding: 0 20px;
13 flex-grow: 1;
14 flex-basis: 66%;
15 box-sizing: border-box;
16 overflow: hidden;
17}
18
19body.oldtoc {
20 margin: 0 auto;
21}
22
23a {
24 text-decoration: none;
25 color: #206ca7;
26}
27
28a:visited {
29 color: #206ca7;
30}
31
32a:hover {
33 text-decoration: underline;
34 color: #239dee;
35}
36
37
38code {
39 font-weight: bold;
40 font-family: Consolas, Monaco, monospace;
41 white-space: pre;
42}
43
44pre code {
45 font-weight: inherit;
46}
47
48pre code.hljs {
49 background-color: #fff;
50 margin: 0;
51 padding: 0;
52}
53
54ol.toc {
55 list-style: none;
56 padding-left: 0;
57}
58
59ol.toc ol.toc {
60 padding-left: 2ex;
61 list-style: none;
62}
63
64var {
65 color: #2aa198;
66 transition: background-color 0.25s ease;
67 cursor: pointer;
68}
69
70var.referenced {
71 background-color: #ffff33;
72}
73
74emu-const {
75 font-family: sans-serif;
76}
77
78emu-val {
79 font-weight: bold;
80}
81emu-alg ol, emu-alg ol ol ol ol {
82 list-style-type: decimal;
83}
84
85emu-alg ol ol, emu-alg ol ol ol ol ol {
86 list-style-type: lower-alpha;
87}
88
89emu-alg ol ol ol, ol ol ol ol ol ol {
90 list-style-type: lower-roman;
91}
92
93emu-eqn {
94 display: block;
95 margin-left: 4em;
96}
97
98emu-eqn.inline {
99 display: inline;
100 margin: 0;
101}
102
103emu-eqn div:first-child {
104 margin-left: -2em;
105}
106
107emu-note {
108 margin: 1em 0;
109 color: #666;
110 border-left: 5px solid #ccc;
111 display: flex;
112 flex-direction: row;
113}
114
115emu-note > span.note {
116 flex-basis: 100px;
117 min-width: 100px;
118 flex-grow: 0;
119 flex-shrink: 1;
120 text-transform: uppercase;
121 padding-left: 5px;
122}
123
124emu-note[type=editor] {
125 border-left-color: #faa;
126}
127
128emu-note > div.note-contents {
129 flex-grow: 1;
130 flex-shrink: 1;
131}
132
133emu-note > div.note-contents > p:first-of-type {
134 margin-top: 0;
135}
136
137emu-note > div.note-contents > p:last-of-type {
138 margin-bottom: 0;
139}
140
141emu-figure {
142 display: block;
143}
144
145emu-example {
146 display: block;
147 margin: 1em 3em;
148}
149
150emu-example figure figcaption {
151 margin-top: 0.5em;
152 text-align: left;
153}
154
155emu-figure figure,
156emu-example figure,
157emu-table figure {
158 display: flex;
159 flex-direction: column;
160 align-items: center;
161}
162
163emu-production {
164 display: block;
165 margin-top: 1em;
166 margin-bottom: 1em;
167 margin-left: 5ex;
168}
169
170emu-grammar.inline, emu-production.inline,
171emu-grammar.inline emu-production emu-rhs, emu-production.inline emu-rhs,
172emu-grammar[collapsed] emu-production emu-rhs, emu-production[collapsed] emu-rhs {
173 display: inline;
174 padding-left: 1ex;
175 margin-left: 0;
176}
177
178emu-grammar[collapsed] emu-production, emu-production[collapsed] {
179 margin: 0;
180}
181
182emu-constraints {
183 font-size: .75em;
184 margin-right: 1ex;
185}
186
187emu-gann {
188 margin-right: 1ex;
189}
190
191emu-gann emu-t:last-child,
192emu-gann emu-nt:last-child {
193 margin-right: 0;
194}
195
196emu-geq {
197 margin-left: 1ex;
198 font-weight: bold;
199}
200
201emu-oneof {
202 font-weight: bold;
203 margin-left: 1ex;
204}
205
206emu-nt {
207 display: inline-block;
208 font-style: italic;
209 white-space: nowrap;
210 text-indent: 0;
211}
212
213emu-nt a, emu-nt a:visited {
214 color: #333;
215}
216
217emu-rhs emu-nt {
218 margin-right: 1ex;
219}
220
221emu-t {
222 display: inline-block;
223 font-family: monospace;
224 font-weight: bold;
225 white-space: nowrap;
226 text-indent: 0;
227}
228
229emu-production emu-t {
230 margin-right: 1ex;
231}
232
233emu-rhs {
234 display: block;
235 padding-left: 75px;
236 text-indent: -25px;
237}
238
239emu-mods {
240 font-size: .85em;
241 vertical-align: sub;
242 font-style: normal;
243 font-weight: normal;
244}
245
246emu-production[collapsed] emu-mods {
247 display: none;
248}
249
250emu-params, emu-opt {
251 margin-right: 1ex;
252 font-family: monospace;
253}
254
255emu-params, emu-constraints {
256 color: #2aa198;
257}
258
259emu-opt {
260 color: #b58900;
261}
262
263emu-gprose {
264 font-size: 0.9em;
265 font-family: Helvetica, Arial, sans-serif;
266}
267
268h1.shortname {
269 color: #f60;
270 font-size: 1.5em;
271 margin: 0;
272}
273
274h1.version {
275 color: #f60;
276 font-size: 1.5em;
277 margin: 0;
278}
279
280h1.title {
281 margin-top: 0;
282 color: #f60;
283}
284
285h1.first {
286 margin-top: 0;
287}
288
289h1, h2, h3, h4, h5, h6 {
290 position: relative;
291}
292
293h1 .secnum {
294 text-decoration: none;
295 margin-right: 10px;
296}
297
298h1 span.title {
299 order: 2;
300}
301
302
303h1 { font-size: 2.67em; margin-top: 2em; margin-bottom: 0; line-height: 1em;}
304h2 { font-size: 2em; }
305h3 { font-size: 1.56em; }
306h4 { font-size: 1.25em; }
307h5 { font-size: 1.11em; }
308h6 { font-size: 1em; }
309
310h1:hover span.utils {
311 display: block;
312}
313
314span.utils {
315 font-size: 18px;
316 line-height: 18px;
317 display: none;
318 position: absolute;
319 top: 100%;
320 left: 0;
321 right: 0;
322 font-weight: normal;
323}
324
325span.utils:before {
326 content: "⤷";
327 display: inline-block;
328 padding: 0 5px;
329}
330
331span.utils > * {
332 display: inline-block;
333 margin-right: 20px;
334}
335
336h1 span.utils span.anchor a,
337h2 span.utils span.anchor a,
338h3 span.utils span.anchor a,
339h4 span.utils span.anchor a,
340h5 span.utils span.anchor a,
341h6 span.utils span.anchor a {
342 text-decoration: none;
343 font-variant: small-caps;
344}
345
346h1 span.utils span.anchor a:hover,
347h2 span.utils span.anchor a:hover,
348h3 span.utils span.anchor a:hover,
349h4 span.utils span.anchor a:hover,
350h5 span.utils span.anchor a:hover,
351h6 span.utils span.anchor a:hover {
352 color: #333;
353}
354
355emu-intro h1, emu-clause h1, emu-annex h1 { font-size: 2em; }
356emu-intro h2, emu-clause h2, emu-annex h2 { font-size: 1.56em; }
357emu-intro h3, emu-clause h3, emu-annex h3 { font-size: 1.25em; }
358emu-intro h4, emu-clause h4, emu-annex h4 { font-size: 1.11em; }
359emu-intro h5, emu-clause h5, emu-annex h5 { font-size: 1em; }
360emu-intro h6, emu-clause h6, emu-annex h6 { font-size: 0.9em; }
361emu-intro emu-intro h1, emu-clause emu-clause h1, emu-annex emu-annex h1 { font-size: 1.56em; }
362emu-intro emu-intro h2, emu-clause emu-clause h2, emu-annex emu-annex h2 { font-size: 1.25em; }
363emu-intro emu-intro h3, emu-clause emu-clause h3, emu-annex emu-annex h3 { font-size: 1.11em; }
364emu-intro emu-intro h4, emu-clause emu-clause h4, emu-annex emu-annex h4 { font-size: 1em; }
365emu-intro emu-intro h5, emu-clause emu-clause h5, emu-annex emu-annex h5 { font-size: 0.9em; }
366emu-intro emu-intro emu-intro h1, emu-clause emu-clause emu-clause h1, emu-annex emu-annex emu-annex h1 { font-size: 1.25em; }
367emu-intro emu-intro emu-intro h2, emu-clause emu-clause emu-clause h2, emu-annex emu-annex emu-annex h2 { font-size: 1.11em; }
368emu-intro emu-intro emu-intro h3, emu-clause emu-clause emu-clause h3, emu-annex emu-annex emu-annex h3 { font-size: 1em; }
369emu-intro emu-intro emu-intro h4, emu-clause emu-clause emu-clause h4, emu-annex emu-annex emu-annex h4 { font-size: 0.9em; }
370emu-intro emu-intro emu-intro emu-intro h1, emu-clause emu-clause emu-clause emu-clause h1, emu-annex emu-annex emu-annex emu-annex h1 { font-size: 1.11em; }
371emu-intro emu-intro emu-intro emu-intro h2, emu-clause emu-clause emu-clause emu-clause h2, emu-annex emu-annex emu-annex emu-annex h2 { font-size: 1em; }
372emu-intro emu-intro emu-intro emu-intro h3, emu-clause emu-clause emu-clause emu-clause h3, emu-annex emu-annex emu-annex emu-annex h3 { font-size: 0.9em; }
373emu-intro emu-intro emu-intro emu-intro emu-intro h1, emu-clause emu-clause emu-clause emu-clause emu-clause h1, emu-annex emu-annex emu-annex emu-annex emu-annex h1 { font-size: 1em; }
374emu-intro emu-intro emu-intro emu-intro emu-intro h2, emu-clause emu-clause emu-clause emu-clause emu-clause h2, emu-annex emu-annex emu-annex emu-annex emu-annex h2 { font-size: 0.9em; }
375emu-intro emu-intro emu-intro emu-intro emu-intro emu-intro h1, emu-clause emu-clause emu-clause emu-clause emu-clause emu-clause h1, emu-annex emu-annex emu-annex emu-annex emu-annex emu-annex h1 { font-size: 0.9em }
376
377emu-clause, emu-intro, emu-annex {
378 display: block;
379}
380
381/* Figures and tables */
382figure { display: block; margin: 1em 0 3em 0; }
383figure object { display: block; margin: 0 auto; }
384figure table.real-table { margin: 0 auto; }
385figure figcaption {
386 display: block;
387 color: #555555;
388 font-weight: bold;
389 text-align: center;
390}
391
392emu-table table {
393 margin: 0 auto;
394}
395
396emu-table table, table.real-table {
397 border-collapse: collapse;
398}
399
400emu-table td, emu-table th, table.real-table td, table.real-table th {
401 border: 1px solid black;
402 padding: 0.4em;
403 vertical-align: baseline;
404}
405emu-table th, emu-table thead td, table.real-table th {
406 background-color: #eeeeee;
407}
408
409/* Note: the left content edges of table.lightweight-table >tbody >tr >td
410 and div.display line up. */
411table.lightweight-table {
412 border-collapse: collapse;
413 margin: 0 0 0 1.5em;
414}
415table.lightweight-table td, table.lightweight-table th {
416 border: none;
417 padding: 0 0.5em;
418 vertical-align: baseline;
419}
420
421/* diff styles */
422ins {
423 background-color: #e0f8e0;
424 text-decoration: none;
425 border-bottom: 1px solid #396;
426}
427
428del {
429 background-color: #fee;
430}
431
432ins.block, del.block,
433emu-production > ins, emu-production > del,
434emu-grammar > ins, emu-grammar > del {
435 display: block;
436}
437emu-rhs > ins, emu-rhs > del {
438 display: inline;
439}
440
441tr.ins > td > ins {
442 border-bottom: none;
443}
444
445tr.ins > td {
446 background-color: #e0f8e0;
447}
448
449tr.del > td {
450 background-color: #fee;
451}
452
453/* Menu Styles */
454#menu-toggle {
455 font-size: 2em;
456
457 position: fixed;
458 top: 0;
459 left: 0;
460 width: 1.5em;
461 height: 1.5em;
462 z-index: 3;
463 visibility: hidden;
464 color: #1567a2;
465 background-color: #fff;
466
467 line-height: 1.5em;
468 text-align: center;
469 -webkit-touch-callout: none;
470 -webkit-user-select: none;
471 -khtml-user-select: none;
472 -moz-user-select: none;
473 -ms-user-select: none;
474 user-select: none;;
475
476 cursor: pointer;
477}
478
479#menu {
480 display: flex;
481 flex-direction: column;
482 width: 33%; height: 100vh;
483 max-width: 500px;
484 box-sizing: border-box;
485 background-color: #ddd;
486 overflow: hidden;
487 transition: opacity 0.1s linear;
488 padding: 0 5px;
489 position: fixed;
490 left: 0; top: 0;
491 border-right: 2px solid #bbb;
492
493 z-index: 2;
494}
495
496#menu-spacer {
497 flex-basis: 33%;
498 max-width: 500px;
499 flex-grow: 0;
500 flex-shrink: 0;
501}
502
503#menu a {
504 color: #1567a2;
505}
506
507#menu.active {
508 display: flex;
509 opacity: 1;
510 z-index: 2;
511}
512
513#menu-pins {
514 flex-grow: 1;
515 display: none;
516}
517
518#menu-pins.active {
519 display: block;
520}
521
522#menu-pins-list {
523 margin: 0;
524 padding: 0;
525 counter-reset: pins-counter;
526}
527
528#menu-pins-list > li:before {
529 content: counter(pins-counter);
530 counter-increment: pins-counter;
531 display: inline-block;
532 width: 25px;
533 text-align: center;
534 border: 1px solid #bbb;
535 padding: 2px;
536 margin: 4px;
537 box-sizing: border-box;
538 line-height: 1em;
539 background-color: #ccc;
540 border-radius: 4px;
541}
542#menu-toc > ol {
543 padding: 0;
544 flex-grow: 1;
545}
546
547#menu-toc > ol li {
548 padding: 0;
549}
550
551#menu-toc > ol , #menu-toc > ol ol {
552 list-style-type: none;
553 margin: 0;
554 padding: 0;
555}
556
557#menu-toc > ol ol {
558 padding-left: 0.75em;
559}
560
561#menu-toc li {
562 text-overflow: ellipsis;
563 overflow: hidden;
564 white-space: nowrap;
565}
566
567#menu-toc .item-toggle {
568 display: inline-block;
569 transform: rotate(-45deg) translate(-5px, -5px);
570 transition: transform 0.1s ease;
571 text-align: center;
572 width: 20px;
573
574 color: #aab;
575
576 -webkit-touch-callout: none;
577 -webkit-user-select: none;
578 -khtml-user-select: none;
579 -moz-user-select: none;
580 -ms-user-select: none;
581 user-select: none;;
582
583 cursor: pointer;
584}
585
586#menu-toc .item-toggle-none {
587 display: inline-block;
588 width: 20px;
589}
590
591#menu-toc li.active > .item-toggle {
592 transform: rotate(45deg) translate(-5px, -5px);
593}
594
595#menu-toc li > ol {
596 display: none;
597}
598
599#menu-toc li.active > ol {
600 display: block;
601}
602
603#menu-toc li.revealed > a {
604 background-color: #bbb;
605 font-weight: bold;
606 /*
607 background-color: #222;
608 color: #c6d8e4;
609 */
610}
611
612#menu-toc li.revealed-leaf> a {
613 color: #206ca7;
614 /*
615 background-color: #222;
616 color: #c6d8e4;
617 */
618}
619
620#menu-toc li.revealed > .item-toggle {
621 transform: rotate(45deg) translate(-5px, -5px);
622}
623
624#menu-toc li.revealed > ol {
625 display: block;
626}
627
628#menu-toc li > a {
629 padding: 2px 5px;
630}
631
632#menu > * {
633 margin-bottom: 5px;
634}
635
636.menu-pane-header {
637 padding: 0 5px;
638 text-transform: uppercase;
639 background-color: #aaa;
640 color: #335;
641 font-weight: bold;
642 letter-spacing: 2px;
643 flex-grow: 0;
644 flex-shrink: 0;
645 font-size: 0.8em;
646}
647
648#menu-toc {
649 display: flex;
650 flex-direction: column;
651 width: 100%;
652 overflow: hidden;
653 flex-grow: 1;
654}
655
656#menu-toc ol.toc {
657 overflow-x: hidden;
658 overflow-y: auto;
659}
660
661#menu-search {
662 position: relative;
663 flex-grow: 0;
664 flex-shrink: 0;
665 width: 100%;
666
667 display: flex;
668 flex-direction: column;
669
670 max-height: 300px;
671}
672
673#menu-trace-list {
674 display: none;
675}
676
677#menu-search-box {
678 box-sizing: border-box;
679 display: block;
680 width: 100%;
681 margin: 5px 0 0 0;
682 font-size: 1em;
683 padding: 2px;
684 background-color: #bbb;
685 border: 1px solid #999;
686}
687
688#menu-search-results {
689 overflow-x: hidden;
690 overflow-y: auto;
691}
692
693li.menu-search-result-clause:before {
694 content: 'clause';
695 width: 40px;
696 display: inline-block;
697 text-align: right;
698 padding-right: 1ex;
699 color: #666;
700 font-size: 75%;
701}
702li.menu-search-result-op:before {
703 content: 'op';
704 width: 40px;
705 display: inline-block;
706 text-align: right;
707 padding-right: 1ex;
708 color: #666;
709 font-size: 75%;
710}
711
712li.menu-search-result-prod:before {
713 content: 'prod';
714 width: 40px;
715 display: inline-block;
716 text-align: right;
717 padding-right: 1ex;
718 color: #666;
719 font-size: 75%
720}
721
722
723li.menu-search-result-term:before {
724 content: 'term';
725 width: 40px;
726 display: inline-block;
727 text-align: right;
728 padding-right: 1ex;
729 color: #666;
730 font-size: 75%
731}
732
733#menu-search-results ul {
734 padding: 0 5px;
735 margin: 0;
736}
737
738#menu-search-results li {
739 white-space: nowrap;
740 text-overflow: ellipsis;
741}
742
743
744#menu-trace-list {
745 counter-reset: item;
746 margin: 0 0 0 20px;
747 padding: 0;
748}
749#menu-trace-list li {
750 display: block;
751 white-space: nowrap;
752}
753
754#menu-trace-list li .secnum:after {
755 content: " ";
756}
757#menu-trace-list li:before {
758 content: counter(item) " ";
759 background-color: #222;
760 counter-increment: item;
761 color: #999;
762 width: 20px;
763 height: 20px;
764 line-height: 20px;
765 display: inline-block;
766 text-align: center;
767 margin: 2px 4px 2px 0;
768}
769
770@media (max-width: 1000px) {
771 body {
772 margin: 0;
773 display: block;
774 }
775
776 #menu {
777 display: none;
778 padding-top: 3em;
779 width: 450px;
780 }
781
782 #menu.active {
783 position: fixed;
784 height: 100%;
785 left: 0;
786 top: 0;
787 right: 300px;
788 }
789
790 #menu-toggle {
791 visibility: visible;
792 }
793
794 #spec-container {
795 padding: 0 5px;
796 }
797
798 #references-pane-spacer {
799 display: none;
800 }
801}
802
803@media only screen and (max-width: 800px) {
804 #menu {
805 width: 100%;
806 }
807
808 h1 .secnum:empty {
809 margin: 0; padding: 0;
810 }
811}
812
813
814/* Toolbox */
815.toolbox {
816 position: absolute;
817 background: #ddd;
818 border: 1px solid #aaa;
819 display: none;
820 color: #eee;
821 padding: 5px;
822 border-radius: 3px;
823}
824
825.toolbox.active {
826 display: inline-block;
827}
828
829.toolbox a {
830 text-decoration: none;
831 padding: 0 5px;
832}
833
834.toolbox a:hover {
835 text-decoration: underline;
836}
837
838.toolbox:after, .toolbox:before {
839 top: 100%;
840 left: 15px;
841 border: solid transparent;
842 content: " ";
843 height: 0;
844 width: 0;
845 position: absolute;
846 pointer-events: none;
847}
848
849.toolbox:after {
850 border-color: rgba(0, 0, 0, 0);
851 border-top-color: #ddd;
852 border-width: 10px;
853 margin-left: -10px;
854}
855.toolbox:before {
856 border-color: rgba(204, 204, 204, 0);
857 border-top-color: #aaa;
858 border-width: 12px;
859 margin-left: -12px;
860}
861
862#references-pane-container {
863 position: fixed;
864 bottom: 0;
865 left: 0;
866 right: 0;
867 height: 250px;
868 display: none;
869 background-color: #ddd;
870 z-index: 1;
871}
872
873#references-pane-table-container {
874 overflow-x: hidden;
875 overflow-y: auto;
876}
877
878#references-pane-spacer {
879 flex-basis: 33%;
880 max-width: 500px;
881}
882
883#references-pane {
884 flex-grow: 1;
885 overflow: hidden;
886 display: flex;
887 flex-direction: column;
888}
889
890#references-pane-container.active {
891 display: flex;
892}
893
894#references-pane-close:after {
895 content: '✖';
896 float: right;
897 cursor: pointer;
898}
899
900#references-pane table tr td:first-child {
901 text-align: right;
902 padding-right: 5px;
903}
904
905@media print {
906 #menu-toggle {
907 display: none;
908 }
909}
Note: See TracBrowser for help on using the repository browser.