metanorma-cc 2.9.0 → 2.9.1.pre.alpha.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -1,1231 +0,0 @@
1
- @charset "UTF-8";
2
- html, body, div, span, applet, object, iframe,
3
- h1, h2, h3, h4, h5, h6, p, blockquote, pre,
4
- a, abbr, acronym, address, big, cite, code,
5
- del, dfn, em, img, ins, kbd, q, s, samp,
6
- small, strike, strong, sub, sup, tt, var,
7
- b, u, i, center,
8
- ol, ul, li,
9
- fieldset, form, label, legend,
10
- table, caption, tbody, tfoot, thead, tr, th, td,
11
- article, aside, canvas, details, embed,
12
- figure, figcaption, footer, header, hgroup,
13
- menu, output, ruby, section, summary,
14
- time, mark, audio, video {
15
- margin: 0;
16
- padding: 0;
17
- }
18
-
19
- html, body, div, span, applet, object, iframe,
20
- h1, h2, h3, h4, h5, h6, p, blockquote, pre,
21
- a, abbr, acronym, address, big, cite, code,
22
- del, dfn, em, img, ins, kbd, q, s, samp,
23
- small, strike, strong, sub, sup, tt, var,
24
- b, u, i, center,
25
- dl, dt, dd, ol, ul, li,
26
- fieldset, form, label, legend,
27
- table, caption, tbody, tfoot, thead, tr, th, td,
28
- article, aside, canvas, details, embed,
29
- figure, figcaption, footer, header, hgroup,
30
- menu, nav, output, ruby, section, summary,
31
- time, mark, audio, video {
32
- border: 0;
33
- font-size: 100%;
34
- }
35
-
36
- html, body, div, span, applet, object, iframe,
37
- h1, h2, h3, h4, h5, h6, p, blockquote, pre,
38
- a, abbr, acronym, address, big, cite, code,
39
- del, dfn, em, img, ins, kbd, q, s, samp,
40
- small, strike, strong, tt, var,
41
- b, u, i, center,
42
- dl, dd, ol, ul, li,
43
- fieldset, form, label, legend,
44
- table, caption, tbody, tfoot, thead, tr, th, td,
45
- article, aside, canvas, details, embed,
46
- figure, figcaption, footer, header, hgroup,
47
- menu, nav, output, ruby, section, summary,
48
- time, mark, audio, video {
49
- vertical-align: baseline;
50
- }
51
-
52
- html, body, div, span, applet, object, iframe,
53
- p, blockquote,
54
- a, abbr, acronym, address, big, cite,
55
- del, dfn, em, img, ins, q, s,
56
- small, strike, strong, sub, sup, var,
57
- b, u, i, center,
58
- dl, dt, dd, ol, ul, li,
59
- fieldset, form, label, legend,
60
- table, caption, tbody, tfoot, thead, tr, th, td,
61
- article, aside, canvas, details, embed,
62
- figure, figcaption, footer, header, hgroup,
63
- menu, nav, output, ruby, section, summary,
64
- time, mark, audio, video {
65
- font-family: {{bodyfont}};
66
- }
67
-
68
- code, pre, tt, kbd, samp {
69
- font-family: {{monospacefont}};
70
- font-variant-ligatures: none;
71
- }
72
-
73
- code *, pre *, tt *, kbd *, samp * {
74
- font-family: {{monospacefont}} !important;
75
- font-variant-ligatures: none;
76
- }
77
-
78
- p code, dt code, li code, label code, legend code, caption code, th code, td code,
79
- p tt, dt tt, li tt, label tt, legend tt, caption tt, th tt, td tt,
80
- p kbd, dt kbd, li kbd, label kbd, legend kbd, caption kbd, th kbd, td kbd,
81
- p samp, dt samp, li samp, label samp, legend samp, caption samp, th samp, td samp {
82
- font-size: {{monospacefontsize}};
83
- }
84
-
85
- sub, sup {
86
- font-size: 0.75em;
87
- }
88
-
89
- article, aside, details, figcaption, figure,
90
- footer, header, hgroup, menu, nav, section {
91
- display: block;
92
- }
93
-
94
- table {
95
- border-collapse: collapse;
96
- border-spacing: 0;
97
- }
98
-
99
- h1, h2, h3, h4, h5, h6 {
100
- font-family: {{headerfont}};
101
- }
102
-
103
- .h1, .h2, .h3, .h4, .h5, .h6 {
104
- font-family: {{headerfont}};
105
- }
106
-
107
- blockquote, q {
108
- quotes: none;
109
- }
110
- blockquote::before, blockquote::after, q::before, q::after {
111
- content: "";
112
- content: none;
113
- }
114
-
115
- .h2Annex {
116
- font-family: {{headerfont}};
117
- }
118
-
119
- dl {
120
- display: grid;
121
- grid-template-columns: max-content auto;
122
- }
123
- dl dt p, dl dd p {
124
- margin-top: 0;
125
- }
126
- dl dt {
127
- grid-column-start: 1;
128
- }
129
- dl dd {
130
- grid-column-start: 2;
131
- }
132
-
133
- dl:has(dt .stem) {
134
- grid-template-columns: fit-content(8em) auto;
135
- }
136
-
137
- b, strong {
138
- font-weight: bold;
139
- }
140
-
141
- div.document-stage-band, div.document-type-band {
142
- background-color: #333333;
143
- }
144
-
145
- a.TableFootnoteRef, span.TableFootnoteRef,
146
- a.FootnoteRef, span.FootnoteRef {
147
- vertical-align: super;
148
- }
149
-
150
- a.TableFootnoteRef, a.FootnoteRef, a.footnote-number,
151
- sup a, a:has(> sup) {
152
- vertical-align: baseline;
153
- }
154
-
155
- .addition {
156
- color: blue;
157
- }
158
-
159
- .deletion {
160
- color: red;
161
- text-decoration: line-through;
162
- }
163
-
164
- ruby {
165
- ruby-position: over;
166
- -webkit-ruby-position: before;
167
- }
168
-
169
- ruby ruby {
170
- ruby-position: under;
171
- -webkit-ruby-position: after;
172
- }
173
-
174
- /* code highlighting with line numbers */
175
- table.rouge-line-table td.rouge-gutter {
176
- -moz-user-select: none;
177
- -ms-user-select: none;
178
- -webkit-user-select: none;
179
- user-select: none;
180
- padding-right: 1em;
181
- }
182
-
183
- table.rouge-line-table td.rouge-code {
184
- -moz-user-select: all;
185
- -ms-user-select: all;
186
- -webkit-user-select: all;
187
- user-select: all;
188
- }
189
-
190
- table.rouge-line-table,
191
- table.rouge-line-table th,
192
- table.rouge-line-table td {
193
- width: auto;
194
- border: none;
195
- margin: 0;
196
- padding: 0;
197
- font-size: 100%;
198
- }
199
-
200
- table.rouge-line-table pre {
201
- margin: 0;
202
- padding: 0;
203
- overflow-x: visible;
204
- font-size: 100%;
205
- }
206
-
207
- /* header § links */
208
- a.header {
209
- color: inherit;
210
- text-decoration: none;
211
- }
212
-
213
- a.header:hover {
214
- color: #a53221 !important;
215
- background: inherit;
216
- box-shadow: none;
217
- }
218
-
219
- a.header:visited {
220
- color: inherit;
221
- text-decoration: none;
222
- }
223
-
224
- a.anchor {
225
- position: absolute;
226
- z-index: 1001;
227
- width: 1.5ex;
228
- margin-left: -1.5ex;
229
- display: block;
230
- text-decoration: none !important;
231
- visibility: hidden;
232
- text-align: center;
233
- font-weight: 400;
234
- }
235
-
236
- a.anchor::before {
237
- content: "§";
238
- font-size: 0.85em;
239
- display: block;
240
- padding-top: 0.1em;
241
- }
242
-
243
- a.anchor:hover {
244
- color: #a53221;
245
- background: inherit;
246
- box-shadow: none;
247
- }
248
-
249
- h1 > a.anchor:hover,
250
- h2 > a.anchor:hover,
251
- h3 > a.anchor:hover,
252
- h4 > a.anchor:hover,
253
- h5 > a.anchor:hover,
254
- h6 > a.anchor:hover,
255
- .inline-header > a.anchor:hover,
256
- h1:hover > a.anchor,
257
- h2:hover > a.anchor,
258
- h3:hover > a.anchor,
259
- h4:hover > a.anchor,
260
- h5:hover > a.anchor,
261
- h6:hover > a.anchor,
262
- .inline-header:hover > a.anchor {
263
- visibility: visible;
264
- }
265
-
266
- /* collapsible snippets: collapsible before hidable */
267
- .hidable {
268
- max-height: 0;
269
- overflow: hidden;
270
- transition: max-height 0.2s ease-out;
271
- }
272
-
273
- .collapsible {
274
- background-color: #777;
275
- color: white;
276
- cursor: pointer;
277
- padding: 3px 0;
278
- margin: 0;
279
- width: 100%;
280
- border: none;
281
- text-align: left;
282
- outline: none;
283
- font-size: 15px;
284
- }
285
-
286
- .active, .collapsible:hover {
287
- background-color: #555;
288
- }
289
-
290
- .collapsible:after {
291
- content: "▼";
292
- color: white;
293
- font-weight: bold;
294
- float: right;
295
- margin-left: 12px;
296
- margin-right: 12px;
297
- }
298
-
299
- .active:after {
300
- content: "▲";
301
- }
302
-
303
- /* collapsible: */
304
- .collapsible + .hidable {
305
- margin-top: 0;
306
- }
307
-
308
- .collapsible:not(.active) + .hidable {
309
- overflow: hidden;
310
- padding: 0;
311
- }
312
-
313
- .svg-container {
314
- width: 100%; /* or any desired width */
315
- display: block; /* ← removes unwanted inline spacing */
316
- }
317
-
318
- svg {
319
- width: 100%;
320
- height: auto; /* ← key to maintaining aspect ratio */
321
- display: block; /* ← removes unwanted inline spacing */
322
- }
323
-
324
- /* style dfn by override in flavor */
325
- dfn {
326
- font-style: inherit;
327
- }
328
-
329
- #standard-band {
330
- background-color: #0AC442;
331
- }
332
-
333
- #standard {
334
- border-bottom: solid 3px #0AC442;
335
- }
336
-
337
- #directive-band {
338
- background-color: #540D6E;
339
- }
340
-
341
- #directive {
342
- border-bottom: solid 3px #540D6E;
343
- }
344
-
345
- #guide-band {
346
- background-color: #D183C9;
347
- }
348
-
349
- #guide {
350
- border-bottom: solid 3px #D183C9;
351
- }
352
-
353
- #specification-band {
354
- background-color: #65AFFF;
355
- }
356
-
357
- #specification {
358
- border-bottom: solid 3px #65AFFF;
359
- }
360
-
361
- #report-band {
362
- background-color: #3A405A;
363
- }
364
-
365
- #report {
366
- border-bottom: solid 3px #3A405A;
367
- }
368
-
369
- #amendment-band {
370
- background-color: #F26430;
371
- }
372
-
373
- #amendment {
374
- border-bottom: solid 3px #F26430;
375
- }
376
-
377
- #corrigendum-band {
378
- background-color: #C84630;
379
- }
380
-
381
- #corrigendum {
382
- border-bottom: solid 3px #C84630;
383
- }
384
-
385
- #administrative-band {
386
- background-color: #BFAE48;
387
- }
388
-
389
- #administrative {
390
- border-bottom: solid 3px #BFAE48;
391
- }
392
-
393
- #advisory-band {
394
- background-color: #BD9391;
395
- }
396
-
397
- #advisory {
398
- border-bottom: solid 3px #BD9391;
399
- }
400
-
401
- #proposal-band {
402
- background-color: #39A0ED;
403
- }
404
-
405
- #proposal {
406
- border-bottom: solid 3px #39A0ED;
407
- }
408
-
409
- #working-draft-band {
410
- background-color: #2D7393;
411
- }
412
-
413
- #working-draft {
414
- border-bottom: solid 3px #2D7393;
415
- }
416
-
417
- #committee-draft-band {
418
- background-color: #2A6B7C;
419
- }
420
-
421
- #committee-draft {
422
- border-bottom: solid 3px #2A6B7C;
423
- }
424
-
425
- #draft-standard-band {
426
- background-color: #1C7F7A;
427
- }
428
-
429
- #draft-standard {
430
- border-bottom: solid 3px #1C7F7A;
431
- }
432
-
433
- #final-draft-band {
434
- background-color: #53C170;
435
- }
436
-
437
- #final-draft {
438
- border-bottom: solid 3px #53C170;
439
- }
440
-
441
- #published-band {
442
- background-color: #069E2D;
443
- }
444
-
445
- #published {
446
- border-bottom: solid 3px #069E2D;
447
- }
448
-
449
- #withdrawn-band {
450
- background-color: #004E64;
451
- }
452
-
453
- #withdrawn {
454
- border-bottom: solid 3px #004E64;
455
- }
456
-
457
- #cancelled-band {
458
- background-color: #2E382E;
459
- }
460
-
461
- #cancelled {
462
- border-bottom: solid 3px #2E382E;
463
- }
464
-
465
- .coverpage {
466
- text-align: center;
467
- padding-left: 1.5em;
468
- }
469
-
470
- .wrapper-top {
471
- background-color: #0e1a85;
472
- background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAQAAAAEACAYAAABccqhmAAAACXBIWXMAABYlAAAWJQFJUiTwAAADwUlEQVR4nO3YgQ2AMAwDwcAiWZ1NizrH30lIeIEq9nPOGSDqPgC7+93v/suy3Mmvhx+6VAAIcwFAmc4nyzYAIMgGAGEuACirdyBZtgEASTYACHMBQFm9A8myDQBIsgFAmAsAyuodSJZtAECSDQDCXABQVu9AsmwDAJJsABDmAoCyegeSZRsAkGQDgDAXAJTVO5As2wCAJBsAhLkAoKzegWTZBgAk2QAgzAUAZfUOJMs2ACDJBgBhLgAoq3cgWbYBAEk2AAhzAUBZvQPJsg0ASLIBQJgLAMrqHUiWbQBAkg0AwlwAUFbvQLJsAwCSbAAQ5gKAsnoHkmUbAJBkA4AwFwCU1TuQLNsAgCQbAIS5AKCs3oFk2QYAJNkAIMwFAGX1DiTLNgAgyQYAYS4AKKt3IFm2AQBJNgAIcwFAWb0DybINAEiyAUCYCwDK6h1Ilm0AQJINAMJcAFBW70CybAMAkmwAEOYCgLJ6B5JlGwCQZAOAMBcAlNU7kCzbAIAkGwCEuQCgrN6BZNkGACTZACDMBQBl9Q4kyzYAIMkGAGEuACirdyBZtgEASTYACHMBQFm9A8myDQBIsgFAmAsAyuodSJZtAECSDQDCXABQVu9AsmwDAJJsABDmAoCyegeSZRsAkGQDgDAXAJTVO5As2wCAJBsAhLkAoKzegWTZBgAk2QAgzAUAZfUOJMs2ACDJBgBhLgAoq3cgWbYBAEk2AAhzAUBZvQPJsg0ASLIBQJgLAMrqHUiWbQBAkg0AwlwAUFbvQLJsAwCSbAAQ5gKAsnoHkmUbAJBkA4AwFwCU1TuQLNsAgCQbAIS5AKCs3oFk2QYAJNkAIMwFAGX1DiTLNgAgyQYAYS4AKKt3IFm2AQBJNgAIcwFAWb0DybINAEiyAUCYCwDK6h1Ilm0AQJINAMJcAFBW70CybAMAkmwAEOYCgLJ6B5JlGwCQZAOAMBcAlNU7kCzbAIAkGwCEuQCgrN6BZNkGACTZACDMBQBl9Q4kyzYAIMkGAGEuACirdyBZtgEASTYACHMBQFm9A8myDQBIsgFAmAsAyuodSJZtAECSDQDCXABQVu9AsmwDAJJsABDmAoCyegeSZRsAkGQDgDAXAJTVO5As2wCAJBsAhLkAoKzegWTZBgAk2QAgzAUAZfUOJMs2ACDJBgBhLgAoq3cgWbYBAEk2AAhzAUBZvQPJsg0ASLIBQJgLAMrqHUiWbQBAkg0AwlwAUFbvQLJsAwCSbAAQ5gKAsnoHkmUbAJBkA4AwFwCU1TuQLNsAgCQbAFTNzA9ggAr9aahO8QAAAABJRU5ErkJggg==");
473
- color: #ffffff;
474
- padding: 2em 0;
475
- }
476
-
477
- .doc-number {
478
- font-size: 0.5em;
479
- font-family: {{bodyfont}};
480
- }
481
-
482
- .coverpage-maturity {
483
- font-family: {{bodyfont}};
484
- font-weight: 400;
485
- font-size: 1em;
486
- margin: 0 0 2em 0;
487
- text-transform: uppercase;
488
- }
489
-
490
- .coverpage-title {
491
- padding-bottom: 0.5em;
492
- font-family: {{headerfont}};
493
- font-size: 1.2em;
494
- line-height: 1.2em;
495
- font-weight: 600;
496
- padding-left: 1em;
497
- padding-right: 1em;
498
- }
499
-
500
- .title-section1 {
501
- padding: 0 2em 0 3em;
502
- }
503
-
504
- .prefatory-section {
505
- padding: 0 3em 0 6em;
506
- }
507
-
508
- .zzSTDTitle1, .MsoCommentText {
509
- display: none;
510
- }
511
-
512
- .coverpage-logo span, .coverpage-tc-name span {
513
- font-family: {{bodyfont}};
514
- text-transform: uppercase;
515
- font-weight: 600;
516
- }
517
-
518
- .coverpage-tc-name {
519
- font-size: 1.2em;
520
- line-height: 1.2em;
521
- margin: 0.25em 0;
522
- }
523
-
524
- .coverpage-contributors {
525
- margin-top: 1em;
526
- line-height: 1.5em;
527
- font-weight: 300;
528
- }
529
- .coverpage-contributors .role {
530
- font-variant-caps: all-small-caps;
531
- background: #f7f7f7;
532
- border-radius: 5px;
533
- padding: 0.1em 0.5em;
534
- margin-left: 1em;
535
- color: #485094;
536
- font-size: 0.9em;
537
- font-weight: 900;
538
- }
539
- .coverpage-contributors .person {
540
- display: block;
541
- font-weight: 300;
542
- }
543
-
544
- .coverpage-doc-identity {
545
- font-size: 2em;
546
- line-height: 2em;
547
- }
548
-
549
- .coverpage-title .title-second {
550
- display: none;
551
- }
552
-
553
- .coverpage-stage-block {
554
- font-family: {{bodyfont}};
555
- font-weight: 700;
556
- font-size: 1.25em;
557
- margin: 2em 0em 2em 0em;
558
- text-transform: uppercase;
559
- }
560
-
561
- .coverpage-warning {
562
- border-top: solid 1px #f36f36;
563
- border-bottom: solid 1px #f36f36;
564
- margin: 1em 2em;
565
- color: #485094;
566
- padding: 1em;
567
- }
568
- .coverpage-warning .title {
569
- color: #f36f36;
570
- font-family: {{headerfont}};
571
- font-weight: 700;
572
- text-transform: uppercase;
573
- font-size: 1.2em;
574
- }
575
-
576
- .copyright {
577
- padding: 1em;
578
- font-size: 0.9em;
579
- text-align: left;
580
- }
581
- .copyright .name, .copyright .address {
582
- color: #485094;
583
- }
584
-
585
- body {
586
- margin-left: auto;
587
- margin-right: auto;
588
- max-width: 100%;
589
- font-size: {{normalfontsize}};
590
- font-weight: 300;
591
- line-height: 1.4em;
592
- color: #1d1d1d;
593
- background-color: #fff;
594
- }
595
- body main {
596
- margin: 0 3em 0 6em;
597
- }
598
-
599
- @media screen and (min-width: 768px) {
600
- .container {
601
- padding-left: 360px;
602
- }
603
- }
604
- @media print {
605
- .container {
606
- padding-left: 0;
607
- }
608
- }
609
-
610
- @media screen and (min-width: 768px) {
611
- nav {
612
- position: fixed;
613
- top: 0;
614
- bottom: 0;
615
- left: 0;
616
- width: 323px;
617
- font-size: 0.9em;
618
- overflow: auto;
619
- padding: 0 0 0 30px;
620
- background-color: #f7f7f7;
621
- }
622
- }
623
- @media print {
624
- nav {
625
- position: relative;
626
- width: auto;
627
- font-size: 0.9em;
628
- overflow: auto;
629
- padding: 0;
630
- margin-right: 0;
631
- background-color: white;
632
- }
633
- }
634
- nav #toc {
635
- font-family: {{bodyfont}};
636
- font-weight: 400;
637
- }
638
- @media screen and (max-width: 768px) {
639
- nav #toc {
640
- padding: 0 1.5em;
641
- overflow: visible;
642
- }
643
- }
644
-
645
- @media screen and (min-width: 768px) {
646
- #toggle {
647
- position: fixed;
648
- height: 100%;
649
- width: 30px;
650
- background-color: #1d1d1d;
651
- color: white !important;
652
- cursor: pointer;
653
- left: 0;
654
- top: 0;
655
- z-index: 103;
656
- }
657
- #toggle span {
658
- text-align: center;
659
- width: 100%;
660
- position: absolute;
661
- top: 50%;
662
- transform: translate(0, -50%);
663
- }
664
- }
665
- @media screen and (max-width: 768px) {
666
- #toggle {
667
- display: none;
668
- }
669
- }
670
- @media print {
671
- #toggle {
672
- display: none;
673
- }
674
- }
675
-
676
- #toc ul, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) ul {
677
- margin: 0;
678
- padding: 0;
679
- list-style: none;
680
- }
681
- #toc ul li a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) ul li a {
682
- padding: 5px 10px;
683
- }
684
- #toc ul a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) ul a {
685
- color: #485094;
686
- text-decoration: none;
687
- display: block;
688
- }
689
- #toc ul a:hover, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) ul a:hover {
690
- box-shadow: none;
691
- color: white;
692
- }
693
- #toc .h2, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .h2 {
694
- padding-left: 30px;
695
- }
696
- #toc .h3, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .h3 {
697
- padding-left: 50px;
698
- }
699
- #toc .h4, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .h4 {
700
- padding-left: 70px;
701
- }
702
- #toc .h5, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .h5 {
703
- padding-left: 90px;
704
- }
705
- #toc .h6, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .h6 {
706
- padding-left: 110px;
707
- }
708
- #toc .toc-active, #toc li:hover, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .toc-active, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li:hover {
709
- background: #1d1d1d;
710
- box-shadow: inset -5px 0px 10px -5px #1d1d1d !important;
711
- }
712
- #toc .toc-active a, #toc li:hover a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .toc-active a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li:hover a {
713
- color: white;
714
- }
715
- @media print {
716
- #toc .toc-active, #toc li:hover, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .toc-active, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li:hover {
717
- background: white;
718
- box-shadow: none !important;
719
- }
720
- #toc .toc-active a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .toc-active a {
721
- color: #485094;
722
- }
723
- #toc li:hover a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li:hover a {
724
- color: black;
725
- }
726
- }
727
- #toc ul, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) ul {
728
- margin-bottom: 0.25em;
729
- }
730
- #toc li, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li {
731
- list-style-type: none;
732
- }
733
- #toc li::before, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li::before {
734
- content: " " !important;
735
- display: none;
736
- }
737
-
738
- #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) {
739
- margin-top: 0;
740
- margin-bottom: 0;
741
- font-size: 100%;
742
- }
743
-
744
- .rule {
745
- width: 100%;
746
- height: 1px;
747
- background-color: #0e1a85;
748
- margin: 2em 0;
749
- }
750
- @media screen and (min-width: 768px) {
751
- .rule.toc {
752
- display: none;
753
- }
754
- }
755
-
756
- .document-stage-band {
757
- left: 0;
758
- top: 0;
759
- height: 100%;
760
- position: fixed;
761
- display: block;
762
- z-index: 101;
763
- box-shadow: -5px 0px 10px #1d1d1d;
764
- }
765
- .document-stage-band > :first-child {
766
- position: relative;
767
- width: 25px;
768
- font-weight: 300;
769
- height: 160px;
770
- color: white;
771
- text-transform: uppercase;
772
- font-size: 0.9em;
773
- font-weight: 400;
774
- letter-spacing: 0.05em;
775
- margin: 0;
776
- margin-left: 6px;
777
- writing-mode: tb-rl;
778
- -webkit-transform: rotate(180deg);
779
- -moz-transform: rotate(180deg);
780
- -o-transform: rotate(180deg);
781
- white-space: nowrap;
782
- display: block;
783
- bottom: 0;
784
- }
785
- @media print {
786
- .document-stage-band {
787
- display: none;
788
- }
789
- }
790
-
791
- .document-type-band {
792
- left: 0;
793
- top: 180px;
794
- height: 100%;
795
- position: fixed;
796
- display: block;
797
- z-index: 102;
798
- }
799
- .document-type-band > :first-child {
800
- position: relative;
801
- width: 25px;
802
- font-weight: 400;
803
- color: white;
804
- text-transform: uppercase;
805
- font-size: 0.9em;
806
- font-weight: 400;
807
- letter-spacing: 0.05em;
808
- margin: 0;
809
- margin-left: 6px;
810
- writing-mode: tb-rl;
811
- -webkit-transform: rotate(180deg);
812
- -moz-transform: rotate(180deg);
813
- -o-transform: rotate(180deg);
814
- white-space: nowrap;
815
- display: block;
816
- bottom: 0;
817
- }
818
- @media print {
819
- .document-type-band {
820
- display: none;
821
- }
822
- }
823
- .document-type-band .document-type {
824
- top: 20px;
825
- }
826
-
827
- /* Typograpy */
828
- h1, h2, h3, h4, h5, h6, .h1, .h2, .h3, .h4, .h5, .h6 {
829
- color: #0e1a85;
830
- font-weight: 600;
831
- margin-top: 2em;
832
- margin-bottom: 0.3em;
833
- }
834
-
835
- h1, .h1 {
836
- font-size: 1.4em;
837
- text-transform: uppercase;
838
- margin-top: 2em;
839
- }
840
- h1#content, .h1#content {
841
- margin-top: 2em;
842
- }
843
-
844
- h2, .h2 {
845
- font-size: 1.3em;
846
- font-weight: 400;
847
- }
848
- h2 p, .h2 p {
849
- display: inline;
850
- }
851
-
852
- h3, .h3 {
853
- font-size: 1.1em;
854
- font-weight: 400;
855
- }
856
-
857
- p {
858
- margin-top: 1em;
859
- margin-bottom: 1em;
860
- }
861
-
862
- /* Terms */
863
- .TermNum {
864
- font-weight: 400;
865
- }
866
-
867
- .TermNum, .Terms, .AltTerms {
868
- color: #485094;
869
- }
870
-
871
- p.TermNum {
872
- font-size: 0.9em;
873
- line-height: 1em;
874
- margin: 0;
875
- margin-top: 2em;
876
- }
877
-
878
- p.Terms {
879
- font-size: 1.1em;
880
- line-height: 1.7em;
881
- margin: 0;
882
- }
883
-
884
- /* Links, selection */
885
- a, a:visited {
886
- text-decoration: none;
887
- color: #485094;
888
- }
889
-
890
- a:hover {
891
- color: white;
892
- background: #1d1d1d;
893
- box-shadow: 3px 0 0 #1d1d1d, -3px 0 0 #1d1d1d;
894
- }
895
-
896
- *::selection {
897
- background: #1d1d1d;
898
- color: white;
899
- }
900
-
901
- *::-moz-selection {
902
- background: #1d1d1d;
903
- color: white;
904
- }
905
-
906
- /* Lists */
907
- ol {
908
- margin-left: 1.2em;
909
- }
910
-
911
- ul {
912
- position: relative;
913
- margin-left: 0;
914
- list-style: none;
915
- padding-left: 1.2em;
916
- }
917
-
918
- ul > li::before {
919
- content: "—";
920
- position: absolute;
921
- left: 0;
922
- }
923
-
924
- main li {
925
- margin-top: 1em;
926
- padding-left: 0.5em;
927
- }
928
-
929
- /* Bibliograhy */
930
- p.Biblio, p.NormRef, div.Biblio, div.NormRef {
931
- margin-top: 1em;
932
- }
933
-
934
- p.Biblio::before, p.NormRef::before {
935
- content: "—";
936
- padding-right: 1em;
937
- }
938
-
939
- .Biblio.note, .Biblio.Note, .NormRef.note, .NormRef.Note {
940
- margin-left: 2em;
941
- }
942
-
943
- /* Blocks */
944
- figure figcaption {
945
- font-weight: 700;
946
- font-size: 1em;
947
- text-align: center;
948
- }
949
- figure > img, figure > svg {
950
- margin-left: auto;
951
- margin-right: auto;
952
- display: block;
953
- max-width: 100%;
954
- height: auto;
955
- }
956
- figure {
957
- line-height: 1.6em;
958
- padding: 1.5em;
959
- margin: 2em 0 1em 0;
960
- overflow: auto;
961
- font-family: {{monospacefont}};
962
- font-variant-ligatures: none;
963
- }
964
-
965
- table figure {
966
- padding: 0;
967
- margin: 0;
968
- }
969
-
970
- .SourceTitle {
971
- font-weight: 700;
972
- font-size: 1em;
973
- text-align: center;
974
- }
975
-
976
- pre {
977
- font-family: {{monospacefont}};
978
- font-variant-ligatures: none;
979
- background-color: #f7f7f7;
980
- font-size: {{monospacefontsize}};
981
- line-height: 1.6em;
982
- padding: 1.5em;
983
- margin: 2em 0 1em 0;
984
- overflow-y: auto;
985
- overflow-x: scroll;
986
- }
987
- .example pre {
988
- background: none;
989
- }
990
-
991
- .pseudocode .SourceTitle {
992
- font-weight: 700;
993
- font-size: 1em;
994
- text-align: center;
995
- }
996
- .pseudocode {
997
- background-color: #f7f7f7;
998
- font-size: {{monospacefontsize}};
999
- line-height: 1.6em;
1000
- padding: 1.5em;
1001
- margin: 2em 0 1em 0;
1002
- overflow: auto;
1003
- }
1004
- .example .pseudocode {
1005
- background: none;
1006
- }
1007
-
1008
- .Admonition .AdmonitionTitle {
1009
- font-weight: 700;
1010
- font-size: 1em;
1011
- text-align: center;
1012
- }
1013
-
1014
- .recommend .RecommendationTitle {
1015
- font-weight: 700;
1016
- font-size: 1em;
1017
- text-align: center;
1018
- }
1019
-
1020
- .require .RecommendationTitle {
1021
- font-weight: 700;
1022
- font-size: 1em;
1023
- text-align: center;
1024
- }
1025
-
1026
- .permission .RecommendationTitle {
1027
- font-weight: 700;
1028
- font-size: 1em;
1029
- text-align: center;
1030
- }
1031
-
1032
- .ListTitle {
1033
- font-weight: 700;
1034
- font-size: 1em;
1035
- text-align: center;
1036
- text-align: left;
1037
- }
1038
-
1039
- .Note, .Admonition {
1040
- color: #47430c;
1041
- padding: 0.25em;
1042
- margin: 0;
1043
- }
1044
-
1045
- .Note {
1046
- background-color: #fff495;
1047
- }
1048
- .Note p {
1049
- margin: 1em;
1050
- }
1051
-
1052
- .blockquote, .Quote {
1053
- background-color: #f7f7f7;
1054
- font-style: italic;
1055
- width: 80%;
1056
- padding: 1.5em;
1057
- margin-top: 2em;
1058
- margin-left: auto;
1059
- margin-right: auto;
1060
- }
1061
- .blockquote .QuoteAttribution, .Quote .QuoteAttribution {
1062
- text-align: right;
1063
- }
1064
-
1065
- .formula, .Formula {
1066
- background-color: #f7f7f7;
1067
- padding: 1.5em;
1068
- margin-top: 2em;
1069
- text-align: center;
1070
- }
1071
-
1072
- /* Examples */
1073
- table.example {
1074
- background-color: #e1eef1;
1075
- }
1076
-
1077
- td.example {
1078
- padding: 0 1em 0 1em;
1079
- margin: 2em 0 1em 0;
1080
- }
1081
-
1082
- .example {
1083
- background-color: #e1eef1;
1084
- padding: 0.5em;
1085
- margin: 2em 0 1em 0;
1086
- text-align: left;
1087
- padding-left: 2em;
1088
- }
1089
-
1090
- .example p {
1091
- margin: 0;
1092
- }
1093
-
1094
- .example .example-title {
1095
- font-weight: 700;
1096
- text-transform: uppercase;
1097
- margin-left: -1.5em;
1098
- }
1099
-
1100
- .example pre, .example .pseudocode {
1101
- background: none;
1102
- }
1103
-
1104
- /* Tables */
1105
- table {
1106
- width: 100%;
1107
- font-weight: 300;
1108
- margin: 1em 0 2em 0;
1109
- margin-left: auto;
1110
- margin-right: auto;
1111
- padding-right: 2em;
1112
- }
1113
- table, table th, table td {
1114
- border: 1px solid black;
1115
- font-size: 0.95em;
1116
- }
1117
- table th, table td {
1118
- padding: 1em;
1119
- }
1120
- table td.header {
1121
- font-weight: 400;
1122
- }
1123
- table table.plain, table table.plain th, table table.plain td {
1124
- border: none !important;
1125
- font-size: 0.95em;
1126
- }
1127
-
1128
- table > caption {
1129
- text-align: center;
1130
- margin-top: 2.5em;
1131
- font-weight: 400;
1132
- }
1133
-
1134
- /* Footnotes */
1135
- a.footnote-number {
1136
- vertical-align: super;
1137
- font-size: 0.8em;
1138
- }
1139
-
1140
- .footnote {
1141
- font-size: {{footnotefontsize}};
1142
- }
1143
-
1144
- /* Contact Info */
1145
- .contact-info {
1146
- background-color: #f7f7f7;
1147
- padding: 1em;
1148
- margin-top: 2em;
1149
- width: auto;
1150
- margin-left: auto;
1151
- margin-right: auto;
1152
- text-align: left;
1153
- }
1154
- .contact-info p, .contact-info a {
1155
- font-family: {{monospacefont}};
1156
- font-variant-ligatures: none;
1157
- font-weight: 400;
1158
- line-height: 1.3em;
1159
- font-size: 1em;
1160
- margin: 0;
1161
- }
1162
- .contact-info a:hover {
1163
- color: #485094;
1164
- background: none;
1165
- text-decoration: underline;
1166
- box-shadow: none;
1167
- }
1168
- .contact-info .name {
1169
- font-weight: 700;
1170
- }
1171
-
1172
- /* Keywords */
1173
- span.keyword {
1174
- font-weight: 600;
1175
- }
1176
-
1177
- /* Admonitions */
1178
- .Admonition, .admonition {
1179
- background-color: #ffb3b3;
1180
- padding: 0.5em;
1181
- margin: 1.5em 0 1.5em 0;
1182
- text-align: left;
1183
- }
1184
- .Admonition p, .admonition p {
1185
- margin: 0;
1186
- }
1187
-
1188
- #myBtn {
1189
- font-family: {{monospacefont}};
1190
- font-variant-ligatures: none;
1191
- display: none;
1192
- position: fixed;
1193
- bottom: 20px;
1194
- right: 30px;
1195
- z-index: 99;
1196
- font-size: 12px;
1197
- border: none;
1198
- outline: none;
1199
- background-color: #1d1d1d;
1200
- opacity: 0.15;
1201
- color: white;
1202
- cursor: pointer;
1203
- padding: 10px 15px 10px 15px;
1204
- border-radius: 4px;
1205
- }
1206
- #myBtn:hover {
1207
- opacity: 1;
1208
- }
1209
- @media print {
1210
- #myBtn {
1211
- display: none;
1212
- }
1213
- }
1214
-
1215
- a.anchorjs-link:hover {
1216
- background: none;
1217
- color: #485094;
1218
- box-shadow: none;
1219
- }
1220
-
1221
- @page {
1222
- margin: 2cm 1cm 2cm 1cm;
1223
- }
1224
- @media print {
1225
- h1, .h1, .title-section1 {
1226
- page-break-before: always;
1227
- }
1228
- h1.toc-contents {
1229
- margin-top: 2em;
1230
- }
1231
- }