metanorma-ieee 0.0.6 → 0.0.7

Sign up to get free protection for your applications and to get access to all the features.
@@ -0,0 +1,1028 @@
1
+ /*
2
+ 0 CSS RESET
3
+ */
4
+ /* http://meyerweb.com/eric/tools/css/reset/
5
+ v2.0 | 20110126
6
+ License: none (public domain)
7
+ */
8
+ html, body, div, span, applet, object, iframe,
9
+ h1, h2, h3, h4, h5, h6, p, blockquote, pre,
10
+ a, abbr, acronym, address, big, cite, code,
11
+ del, dfn, em, img, ins, kbd, q, s, samp,
12
+ small, strike, strong, sub, sup, tt, var,
13
+ b, u, i, center,
14
+ ol, ul, li,
15
+ fieldset, form, label, legend,
16
+ table, caption, tbody, tfoot, thead, tr, th, td,
17
+ article, aside, canvas, details, embed,
18
+ figure, figcaption, footer, header, hgroup,
19
+ menu, output, ruby, section, summary,
20
+ time, mark, audio, video {
21
+ margin: 0;
22
+ padding: 0; }
23
+
24
+ html, body, div, span, applet, object, iframe,
25
+ h1, h2, h3, h4, h5, h6, p, blockquote, pre,
26
+ a, abbr, acronym, address, big, cite, code,
27
+ del, dfn, em, img, ins, kbd, q, s, samp,
28
+ small, strike, strong, sub, sup, tt, var,
29
+ b, u, i, center,
30
+ dl, dt, dd, ol, ul, li,
31
+ fieldset, form, label, legend,
32
+ table, caption, tbody, tfoot, thead, tr, th, td,
33
+ article, aside, canvas, details, embed,
34
+ figure, figcaption, footer, header, hgroup,
35
+ menu, nav, output, ruby, section, summary,
36
+ time, mark, audio, video {
37
+ border: 0;
38
+ font-size: 100%; }
39
+
40
+ html, body, div, span, applet, object, iframe,
41
+ h1, h2, h3, h4, h5, h6, p, blockquote, pre,
42
+ a, abbr, acronym, address, big, cite, code,
43
+ del, dfn, em, img, ins, kbd, q, s, samp,
44
+ small, strike, strong, tt, var,
45
+ b, u, i, center,
46
+ dl, dd, ol, ul, li,
47
+ fieldset, form, label, legend,
48
+ table, caption, tbody, tfoot, thead, tr, th, td,
49
+ article, aside, canvas, details, embed,
50
+ figure, figcaption, footer, header, hgroup,
51
+ menu, nav, output, ruby, section, summary,
52
+ time, mark, audio, video {
53
+ vertical-align: baseline; }
54
+
55
+ html, body, div, span, applet, object, iframe,
56
+ p, blockquote,
57
+ a, abbr, acronym, address, big, cite,
58
+ del, dfn, em, img, ins, q, s,
59
+ small, strike, strong, sub, sup, var,
60
+ b, u, i, center,
61
+ dl, dt, dd, ol, ul, li,
62
+ fieldset, form, label, legend,
63
+ table, caption, tbody, tfoot, thead, tr, th, td,
64
+ article, aside, canvas, details, embed,
65
+ figure, figcaption, footer, header, hgroup,
66
+ menu, nav, output, ruby, section, summary,
67
+ time, mark, audio, video {
68
+ font-family: {{bodyfont}}; }
69
+
70
+ code, pre, tt, kbd, samp {
71
+ font-family: {{monospacefont}};
72
+ font-variant-ligatures: none; }
73
+
74
+ code *, pre *, tt *, kbd *, samp * {
75
+ font-family: {{monospacefont}} !important;
76
+ font-variant-ligatures: none; }
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
+ article, aside, details, figcaption, figure,
85
+ footer, header, hgroup, menu, nav, section {
86
+ display: block; }
87
+
88
+ table {
89
+ border-collapse: collapse;
90
+ border-spacing: 0; }
91
+
92
+ h1, h2, h3, h4, h5, h6 {
93
+ font-family: {{headerfont}}; }
94
+
95
+ .h1, .h2, .h3, .h4, .h5, .h6 {
96
+ font-family: {{headerfont}}; }
97
+
98
+ blockquote, q {
99
+ quotes: none; }
100
+ blockquote:before, blockquote:after, q:before, q:after {
101
+ content: '';
102
+ content: none; }
103
+
104
+ .h2Annex {
105
+ font-family: {{headerfont}}; }
106
+
107
+ dl {
108
+ display: grid;
109
+ grid-template-columns: max-content auto; }
110
+ dl dt p, dl dd p {
111
+ margin-top: 0; }
112
+ dl dt {
113
+ grid-column-start: 1; }
114
+ dl dd {
115
+ grid-column-start: 2; }
116
+
117
+ b, strong {
118
+ font-weight: bold; }
119
+
120
+ div.document-stage-band, div.document-type-band {
121
+ background-color: #333333; }
122
+
123
+ a.FootnoteRef + a.FootnoteRef:before {
124
+ content: ", ";
125
+ vertical-align: super; }
126
+
127
+ .addition {
128
+ color: blue; }
129
+
130
+ .deletion {
131
+ color: red;
132
+ text-decoration: line-through; }
133
+
134
+ #standard-band {
135
+ background-color: #0AC442; }
136
+
137
+ #standard {
138
+ border-bottom: solid 3px #0AC442; }
139
+
140
+ #directive-band {
141
+ background-color: #540D6E; }
142
+
143
+ #directive {
144
+ border-bottom: solid 3px #540D6E; }
145
+
146
+ #guide-band {
147
+ background-color: #D183C9; }
148
+
149
+ #guide {
150
+ border-bottom: solid 3px #D183C9; }
151
+
152
+ #specification-band {
153
+ background-color: #65AFFF; }
154
+
155
+ #specification {
156
+ border-bottom: solid 3px #65AFFF; }
157
+
158
+ #report-band {
159
+ background-color: #3A405A; }
160
+
161
+ #report {
162
+ border-bottom: solid 3px #3A405A; }
163
+
164
+ #amendment-band {
165
+ background-color: #F26430; }
166
+
167
+ #amendment {
168
+ border-bottom: solid 3px #F26430; }
169
+
170
+ #corrigendum-band {
171
+ background-color: #C84630; }
172
+
173
+ #corrigendum {
174
+ border-bottom: solid 3px #C84630; }
175
+
176
+ #administrative-band {
177
+ background-color: #BFAE48; }
178
+
179
+ #administrative {
180
+ border-bottom: solid 3px #BFAE48; }
181
+
182
+ #advisory-band {
183
+ background-color: #BD9391; }
184
+
185
+ #advisory {
186
+ border-bottom: solid 3px #BD9391; }
187
+
188
+ #proposal-band {
189
+ background-color: #39A0ED; }
190
+
191
+ #proposal {
192
+ border-bottom: solid 3px #39A0ED; }
193
+
194
+ #working-draft-band {
195
+ background-color: #2D7393; }
196
+
197
+ #working-draft {
198
+ border-bottom: solid 3px #2D7393; }
199
+
200
+ #committee-draft-band {
201
+ background-color: #2A6B7C; }
202
+
203
+ #committee-draft {
204
+ border-bottom: solid 3px #2A6B7C; }
205
+
206
+ #draft-standard-band {
207
+ background-color: #1C7F7A; }
208
+
209
+ #draft-standard {
210
+ border-bottom: solid 3px #1C7F7A; }
211
+
212
+ #final-draft-band {
213
+ background-color: #53C170; }
214
+
215
+ #final-draft {
216
+ border-bottom: solid 3px #53C170; }
217
+
218
+ #published-band {
219
+ background-color: #069E2D; }
220
+
221
+ #published {
222
+ border-bottom: solid 3px #069E2D; }
223
+
224
+ #withdrawn-band {
225
+ background-color: #004E64; }
226
+
227
+ #withdrawn {
228
+ border-bottom: solid 3px #004E64; }
229
+
230
+ #cancelled-band {
231
+ background-color: #2E382E; }
232
+
233
+ #cancelled {
234
+ border-bottom: solid 3px #2E382E; }
235
+
236
+ body {
237
+ margin-left: auto;
238
+ margin-right: auto;
239
+ max-width: 100%;
240
+ font-weight: 300;
241
+ line-height: 1.3;
242
+ color: -internal-root-color;
243
+ background-color: #ffffff; }
244
+ body main {
245
+ margin: 0 3em 0 6em; }
246
+ body main {
247
+ margin: 0; }
248
+
249
+ /* HTML5 display-role reset for older browsers */
250
+ article,
251
+ aside,
252
+ details,
253
+ figcaption,
254
+ figure,
255
+ footer,
256
+ header,
257
+ hgroup,
258
+ menu,
259
+ nav,
260
+ section {
261
+ display: block; }
262
+
263
+ blockquote,
264
+ q {
265
+ quotes: none; }
266
+
267
+ blockquote:before,
268
+ blockquote:after,
269
+ q:before,
270
+ q:after {
271
+ content: '';
272
+ content: none; }
273
+
274
+ /* New CSS */
275
+ body {
276
+ margin-left: 298px;
277
+ margin-right: 2em; }
278
+
279
+ main {
280
+ padding-left: 4em;
281
+ padding-right: 2em; }
282
+
283
+ .title-section,
284
+ .prefatory-section {
285
+ padding-left: 4em;
286
+ padding-top: 2em; }
287
+
288
+ .prefatory-section {
289
+ margin-bottom: 5em; }
290
+
291
+ .doctitle-en,
292
+ .doctitle-fr {
293
+ margin-top: 2em;
294
+ text-align: left; }
295
+
296
+ .doctitle-en {
297
+ background-color: black;
298
+ padding-left: 3em;
299
+ margin-left: -3em;
300
+ padding-top: 2em;
301
+ padding-bottom: 2em; }
302
+
303
+ .doctitle-en span {
304
+ font-size: 1.5em;
305
+ line-height: 1.5em;
306
+ font-weight: 900;
307
+ display: block;
308
+ color: white; }
309
+
310
+ .doctitle-fr span {
311
+ font-size: 1.2em;
312
+ line-height: 1.2em;
313
+ font-style: italic;
314
+ display: block; }
315
+
316
+ .doctitle-part {
317
+ margin-top: 1em; }
318
+
319
+ span.title {
320
+ text-transform: uppercase;
321
+ font-size: 1em;
322
+ font-weight: 800; }
323
+
324
+ .coverpage_docstage {
325
+ margin-top: 2em;
326
+ margin-bottom: 2em; }
327
+
328
+ .coverpage_warning {
329
+ font-size: 0.9em;
330
+ font-style: italic;
331
+ padding-bottom: 1em; }
332
+
333
+ .coverpage_docnumber,
334
+ .coverpage_techcommittee {
335
+ text-align: right;
336
+ font-size: 0.9em;
337
+ line-height: 0.5em; }
338
+
339
+ .boilerplate-copyright #boilerplate-name {
340
+ font-weight: 900;
341
+ padding-top: 1em; }
342
+
343
+ .boilerplate-copyright p {
344
+ margin-top: 1em;
345
+ line-height: 1.1em;
346
+ display: block;
347
+ font-size: 0.9em; }
348
+
349
+ /* TYPOGRAPHY */
350
+ h1, .h1 {
351
+ font-weight: 900; }
352
+
353
+ h2,
354
+ h3,
355
+ h4,
356
+ h5,
357
+ h6,
358
+ .h2, .h3, .h4, .h5, .h6 {
359
+ font-weight: 700; }
360
+
361
+ h1, .h1 {
362
+ font-size: 1.5em;
363
+ line-height: 2em;
364
+ margin-top: 2em;
365
+ margin-bottom: 1em; }
366
+
367
+ h2, .h2 {
368
+ font-size: 1.2em;
369
+ line-height: 1.5em;
370
+ margin-top: 2em;
371
+ margin-bottom: 1em; }
372
+
373
+ h1,
374
+ h2,
375
+ h3,
376
+ h4,
377
+ h5,
378
+ h6,
379
+ .h1, .h2, .h3, .h4, .h5, .h6 {
380
+ line-height: 1.2; }
381
+
382
+ /* override for amendments */
383
+ {% if doctype == "Amendment" or doctype == "Technical Corrigendum" %}
384
+ h1, h2, h3, h4, h5, h6, .h1, .h2, .h3, .h4, .h5, .h6 {
385
+ font-weight: normal;
386
+ font-size: initial;
387
+ font-style: italic;
388
+ line-height: 2em;
389
+ margin-top: 2em;
390
+ margin-bottom: 1em; }
391
+
392
+ {% endif %}
393
+ h2 p, .h2 p {
394
+ display: inline; }
395
+
396
+ p {
397
+ margin-top: 1em;
398
+ margin-bottom: 1em;
399
+ line-height: 1.2em; }
400
+
401
+ p.zzSTDTitle1 {
402
+ font-weight: 700;
403
+ font-size: 1.5em; }
404
+
405
+ p.zzSTDTitle2 {
406
+ font-size: 1.5em; }
407
+
408
+ span.obligation {
409
+ font-weight: 400; }
410
+
411
+ a {
412
+ color: black;
413
+ text-decoration-color: black; }
414
+
415
+ h2 p, .h2 p {
416
+ display: inline; }
417
+
418
+ ul > li {
419
+ list-style: none; }
420
+
421
+ ul > li > p:first-child:before {
422
+ content: "\2014";
423
+ display: inline-block;
424
+ width: 1em;
425
+ margin-left: -1.5em;
426
+ margin-right: 0.5em; }
427
+
428
+ li p {
429
+ /* display: inline-block; */
430
+ margin-bottom: 0.6em;
431
+ line-height: 1.2; }
432
+
433
+ #toc li:before {
434
+ content: " ";
435
+ display: none; }
436
+
437
+ p.AltTerms {
438
+ margin-bottom: 0;
439
+ margin-left: 2em; }
440
+
441
+ p.Terms {
442
+ margin-top: 0em; }
443
+
444
+ /* Navigation*/
445
+ #toc, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) {
446
+ font-family: {{bodyfont}};
447
+ font-weight: 400; }
448
+ #toc ul, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) ul {
449
+ margin: 0;
450
+ padding: 0;
451
+ list-style: none; }
452
+ #toc ul li a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) ul li a {
453
+ padding: 5px 10px; }
454
+ #toc ul a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) ul a {
455
+ text-decoration: none;
456
+ display: block; }
457
+ #toc ul a:hover, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) ul a:hover {
458
+ box-shadow: none;
459
+ color: white; }
460
+ #toc .h2, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .h2 {
461
+ padding-left: 30px; }
462
+ #toc .h3, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .h3 {
463
+ padding-left: 50px; }
464
+ #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 {
465
+ background: #1d1d1d;
466
+ box-shadow: inset -5px 0px 10px -5px #1d1d1d !important; }
467
+ #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 {
468
+ color: white; }
469
+ @media print {
470
+ #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 {
471
+ background: white;
472
+ box-shadow: none !important; }
473
+ #toc li:hover a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li:hover a {
474
+ color: black; } }
475
+ @media screen and (max-width: 768px) {
476
+ #toc, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) {
477
+ padding: 0 1.5em;
478
+ overflow: visible; } }
479
+ #toc li:before, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li:before {
480
+ content: " ";
481
+ display: none; }
482
+
483
+ #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) {
484
+ margin-top: 0;
485
+ margin-bottom: 0;
486
+ font-size: 100%; }
487
+
488
+ nav {
489
+ line-height: 1.2em; }
490
+ @media screen and (min-width: 768px) {
491
+ nav {
492
+ position: fixed;
493
+ top: 0;
494
+ bottom: 0;
495
+ left: 0;
496
+ width: 278px;
497
+ font-size: 0.9em;
498
+ overflow: auto;
499
+ padding: 0 0 0 20px;
500
+ background-color: #f7f7f7; } }
501
+ @media print {
502
+ nav {
503
+ position: relative;
504
+ width: auto;
505
+ font-size: 0.9em;
506
+ overflow: auto;
507
+ padding: 0;
508
+ margin-right: 0;
509
+ background-color: white; } }
510
+ #toggle {
511
+ margin-left: -4em;
512
+ margin-top: -2em; }
513
+ @media screen and (min-width: 768px) {
514
+ #toggle {
515
+ position: fixed;
516
+ height: 100%;
517
+ width: 30px;
518
+ background-color: black;
519
+ color: white !important;
520
+ cursor: pointer;
521
+ z-index: 100; }
522
+ #toggle span {
523
+ text-align: center;
524
+ width: 100%;
525
+ position: absolute;
526
+ top: 50%;
527
+ transform: translate(0, -50%); } }
528
+ @media screen and (max-width: 768px) {
529
+ #toggle {
530
+ display: none; } }
531
+ @media print {
532
+ #toggle {
533
+ display: none; } }
534
+ @media screen and (min-width: 768px) {
535
+ .container {
536
+ padding-left: 360px; }
537
+ .rule.toc {
538
+ display: none; }
539
+ h1.toc-contents {
540
+ margin-top: 1em; }
541
+ ul#toc-list, ul#toc-list > :is(.h1, .h2, .h3, .h4, .h5, .h6) {
542
+ padding: 0;
543
+ margin: 0; } }
544
+
545
+ @media screen and (max-width: 768px) {
546
+ body {
547
+ margin-left: 2em; }
548
+ main {
549
+ padding: 0; }
550
+ .title-section,
551
+ .prefatory-section {
552
+ padding-left: 0;
553
+ padding-top: 0;
554
+ width: 100%; } }
555
+
556
+ .figure,
557
+ pre,
558
+ .pseudocode {
559
+ background-color: #f7f7f7;
560
+ font-size: {{monospacefontsize}};
561
+ line-height: 1.6em;
562
+ padding: 1.5em;
563
+ margin: 2em 0 1em 0;
564
+ overflow: auto;
565
+ font-size: {{normalfontsize}}; }
566
+ .figure .SourceTitle,
567
+ pre .SourceTitle,
568
+ .pseudocode .SourceTitle {
569
+ font-weight: 700;
570
+ font-size: 1em;
571
+ text-align: center; }
572
+
573
+ div.figure {
574
+ line-height: 1.6em;
575
+ padding: 1.5em;
576
+ margin: 2em 0 1em 0;
577
+ overflow: auto; }
578
+ div.figure .FigureTitle, div.figure .figure-title {
579
+ font-weight: 700;
580
+ font-size: 1em;
581
+ text-align: center; }
582
+ div.figure > img {
583
+ margin-left: auto;
584
+ margin-right: auto;
585
+ display: block;
586
+ max-width: 100%;
587
+ height: auto; }
588
+
589
+ /*
590
+ Document types + stages
591
+ */
592
+ .document-type-band {
593
+ left: 0;
594
+ top: 180px;
595
+ height: 100%;
596
+ position: fixed;
597
+ display: block;
598
+ z-index: 102; }
599
+ .document-type-band > :first-child {
600
+ position: relative;
601
+ width: 25px;
602
+ font-weight: 400;
603
+ color: white;
604
+ text-transform: uppercase;
605
+ font-size: 0.9em;
606
+ font-weight: 400;
607
+ letter-spacing: 0.05em;
608
+ margin: 0;
609
+ margin-left: 6px;
610
+ writing-mode: tb-rl;
611
+ -webkit-transform: rotate(180deg);
612
+ -moz-transform: rotate(180deg);
613
+ -o-transform: rotate(180deg);
614
+ white-space: nowrap;
615
+ display: block;
616
+ bottom: 0; }
617
+ @media print {
618
+ .document-type-band {
619
+ display: none; } }
620
+ .document-type-band .document-type {
621
+ top: 20px; }
622
+
623
+ .document-stage-band {
624
+ left: 0;
625
+ top: 0;
626
+ height: 100%;
627
+ position: fixed;
628
+ display: block;
629
+ z-index: 101;
630
+ box-shadow: -5px 0px 10px #1d1d1d; }
631
+ .document-stage-band > :first-child {
632
+ position: relative;
633
+ width: 25px;
634
+ font-weight: 400;
635
+ height: 100%;
636
+ color: white;
637
+ text-transform: uppercase;
638
+ font-size: 0.9em;
639
+ font-weight: 400;
640
+ letter-spacing: 0.05em;
641
+ margin: 0;
642
+ margin-left: 6px;
643
+ writing-mode: tb-rl;
644
+ -webkit-transform: rotate(180deg);
645
+ -moz-transform: rotate(180deg);
646
+ -o-transform: rotate(180deg);
647
+ white-space: nowrap;
648
+ display: block;
649
+ bottom: 0; }
650
+ @media print {
651
+ .document-stage-band {
652
+ display: none; } }
653
+ p.document-stage {
654
+ position: relative;
655
+ width: 25px;
656
+ font-weight: 400;
657
+ height: 210px;
658
+ color: white;
659
+ text-transform: uppercase;
660
+ font-size: 0.9em;
661
+ font-weight: 400;
662
+ letter-spacing: 0.05em;
663
+ margin: 0;
664
+ margin-left: 6px;
665
+ writing-mode: tb-rl;
666
+ -webkit-transform: rotate(180deg);
667
+ -moz-transform: rotate(180deg);
668
+ -o-transform: rotate(180deg);
669
+ white-space: nowrap;
670
+ display: block;
671
+ bottom: 0;
672
+ writing-mode: vertical-rl; }
673
+
674
+ #governance-band p.document-type {
675
+ font-weight: 400;
676
+ height: 230px !important; }
677
+
678
+ p.document-stage {
679
+ font-weight: 300;
680
+ height: 160px; }
681
+
682
+ #standard-band {
683
+ background-color: #0ac442; }
684
+
685
+ #standard {
686
+ border-bottom: solid 3px #0ac442; }
687
+
688
+ #governance {
689
+ border-bottom: solid 3px #750697; }
690
+
691
+ #governance-band {
692
+ background-color: #750697; }
693
+
694
+ #guide {
695
+ border-bottom: solid 3px #48a0e7; }
696
+
697
+ #guide-band {
698
+ background-color: #48a0e7; }
699
+
700
+ .coverpage-maturity {
701
+ font-family: 'Overpass', sans-serif;
702
+ font-weight: 400;
703
+ font-size: 1em;
704
+ margin: 0 0 2em 0;
705
+ text-transform: uppercase; }
706
+
707
+ #working-draft {
708
+ border-bottom: solid 3px #fda706; }
709
+
710
+ #working-draft-band {
711
+ background-color: #fda706; }
712
+
713
+ #committee-draft {
714
+ border-bottom: solid 3px #fd06fd; }
715
+
716
+ #committee-draft-band {
717
+ background-color: #fd06fd; }
718
+
719
+ #draft-standard {
720
+ border-bottom: solid 3px #fdf906; }
721
+
722
+ #draft-standard {
723
+ border-bottom: solid 3px #fdf906; }
724
+
725
+ #standard {
726
+ border-bottom: solid 3px #0ac442; }
727
+
728
+ #standard-band {
729
+ background-color: #0ac442; }
730
+
731
+ #obsolete {
732
+ border-bottom: solid 3px #7e0d13; }
733
+
734
+ #obsolete-band {
735
+ background-color: #7e0d13; }
736
+
737
+ /* 3 Other styles */
738
+ /*
739
+ 3.2 Links
740
+ */
741
+ a {
742
+ color: black;
743
+ text-decoration-color: black; }
744
+
745
+ /*
746
+ 3.3 Lists
747
+ */
748
+ ul,
749
+ ol {
750
+ margin-left: 2em; }
751
+
752
+ #toc-list ul {
753
+ margin-bottom: 0.25em; }
754
+
755
+ #toc-list ol li {
756
+ list-style-type: none; }
757
+
758
+ /*
759
+ 3.4 Rules
760
+ */
761
+ .rule {
762
+ width: 100%;
763
+ height: 1px;
764
+ background-color: #0e1a85;
765
+ margin: 2em 0; }
766
+
767
+ /*
768
+ 3.5 Bibliograhy
769
+ */
770
+ p.Biblio,
771
+ p.NormRef {
772
+ margin-top: 1em;
773
+ margin-left: 2em; }
774
+
775
+ /*
776
+ 3.6 Source Code + figures
777
+ */
778
+ .figure,
779
+ pre,
780
+ .pseudocode {
781
+ background-color: #f7f7f7;
782
+ font-size: {{monospacefontsize}};
783
+ line-height: 1.6em;
784
+ padding: 1.5em;
785
+ margin: 2em 0 1em 0;
786
+ overflow: auto;
787
+ font-size: {{normalfontsize}}; }
788
+ .figure .SourceTitle,
789
+ pre .SourceTitle,
790
+ .pseudocode .SourceTitle {
791
+ font-weight: 700;
792
+ font-size: 1em;
793
+ text-align: center; }
794
+
795
+ pre {
796
+ font-family: {{monospacefont}};
797
+ font-variant-ligatures: none; }
798
+
799
+ .AdmonitionTitle {
800
+ font-weight: 700;
801
+ font-size: 1em;
802
+ text-align: center; }
803
+
804
+ .RecommendationTitle {
805
+ font-weight: 700;
806
+ font-size: 1em;
807
+ text-align: center; }
808
+
809
+ .ListTitle {
810
+ font-weight: 700;
811
+ font-size: 1em;
812
+ text-align: center;
813
+ text-align: left; }
814
+
815
+ .figure-title,
816
+ .FigureTitle,
817
+ .SourceTitle,
818
+ .AdmonitionTitle,
819
+ .RecommendationTitle {
820
+ font-weight: 700;
821
+ font-size: 1em;
822
+ text-align: center; }
823
+
824
+ /*
825
+ 3.7 Notes
826
+ */
827
+ .Note,
828
+ .note {
829
+ background-color: #fff495;
830
+ color: #47430c;
831
+ padding: 0.5em;
832
+ margin: 1.5em 0 1.5em 0;
833
+ text-align: left; }
834
+
835
+ .Note p,
836
+ .note p {
837
+ margin: 0; }
838
+
839
+ .Admonition {
840
+ background-color: #ffcccc;
841
+ color: #47430c;
842
+ padding: 0.5em;
843
+ margin: 1.5em 0 1.5em 0;
844
+ text-align: left; }
845
+
846
+ .Admonition p {
847
+ margin: 0; }
848
+
849
+ /*
850
+ 3.8 Examples
851
+ */
852
+ .example {
853
+ background-color: #e1eef1;
854
+ padding: 0.5em;
855
+ margin: 2em 0 1em 0;
856
+ text-align: left;
857
+ color: #424242;
858
+ padding-left: 2em;
859
+ color: black;
860
+ padding-left: 2em; }
861
+ .example p {
862
+ margin: 0; }
863
+ .example .example-title {
864
+ font-weight: 700;
865
+ text-transform: uppercase;
866
+ margin-left: -1.5em; }
867
+ .example .example-title {
868
+ margin-left: -1.5em;
869
+ font-style: italic; }
870
+ .example pre,
871
+ .example .pseudocode {
872
+ background: none; }
873
+
874
+ /*
875
+ 3.9 Tables
876
+ */
877
+ table {
878
+ width: 100%;
879
+ font-weight: 300;
880
+ margin: 1em 0 2em 0;
881
+ margin-left: auto;
882
+ margin-right: auto;
883
+ padding-right: 2em;
884
+ text-align: center; }
885
+ table, table th, table td {
886
+ border: 1px solid black;
887
+ font-size: 0.95em; }
888
+ table th, table td {
889
+ padding: 1em; }
890
+ table td.header {
891
+ font-weigth: 400; }
892
+
893
+ td,
894
+ th {
895
+ padding: 1em !important; }
896
+
897
+ p.TableTitle {
898
+ text-align: center;
899
+ margin-top: 2.5em;
900
+ font-weight: 800;
901
+ font-size: 1.1em; }
902
+
903
+ .TableFootnote {
904
+ text-align: left !important; }
905
+
906
+ /*
907
+ 3.10 Footnotes
908
+ */
909
+ a.footnote-number,
910
+ a.TableFootnoteRef,
911
+ span.TableFootnoteRef {
912
+ vertical-align: super;
913
+ font-size: 0.8em; }
914
+
915
+ .footnote {
916
+ font-size: {{footnotefontsize}}; }
917
+
918
+ sup a {
919
+ vertical-align: super;
920
+ font-size: 0.8em; }
921
+
922
+ #footnote_box {
923
+ font-size: {{footnotefontsize}};
924
+ background: white;
925
+ padding: 0 10px;
926
+ margin: 10px;
927
+ border: 1px solid #888;
928
+ -moz-box-shadow: 0px 0px 5px #888;
929
+ -webkit-box-shadow: 0px 0px 5px #888;
930
+ box-shadow: 0px 0px 5px #888; }
931
+
932
+ ol.footnotes-list,
933
+ aside.footnote {
934
+ margin-left: 1em; }
935
+
936
+ ol.footnotes-list li,
937
+ aside.footnote {
938
+ font-size: {{footnotefontsize}};
939
+ vertical-align: top;
940
+ list-style: decimal;
941
+ margin-bottom: 1em; }
942
+
943
+ ol.footnotes-list:first-child {
944
+ margin-top: 2em; }
945
+
946
+ ol.footnotes-list p,
947
+ aside.footnote {
948
+ display: inline; }
949
+
950
+ ol > li > p:before {
951
+ content: "";
952
+ display: none; }
953
+
954
+ /*
955
+ 3.11 Blockquotes
956
+ */
957
+ .Quote {
958
+ background-color: #f7f7f7;
959
+ font-style: italic;
960
+ width: 80%;
961
+ padding: 1.5em;
962
+ margin-top: 2em;
963
+ margin-left: auto;
964
+ margin-right: auto; }
965
+
966
+ /*
967
+ 3.12 Formulas
968
+ */
969
+ .formula {
970
+ background-color: #f7f7f7;
971
+ padding: 1.5em;
972
+ margin-top: 2em;
973
+ text-align: center;
974
+ margin-left: 20%;
975
+ margin-right: 20%;
976
+ font-size: {{smallerfontsize}}; }
977
+
978
+ dl.formula_dl {
979
+ background-color: #f7f7f7;
980
+ margin-left: 20%;
981
+ margin-right: 20%;
982
+ font-size: {{smallerfontsize}}; }
983
+
984
+ /*
985
+ Keywords
986
+ */
987
+ span.keyword {
988
+ font-weight: 600; }
989
+
990
+ .Admonition,
991
+ .admonition {
992
+ background-color: #ffb3b3;
993
+ /* color: #47430c;*/
994
+ padding: 0.5em;
995
+ margin: 1.5em 0 1.5em 0;
996
+ text-align: left; }
997
+
998
+ .Admonition p,
999
+ .admonition p,
1000
+ .zzHelp p {
1001
+ margin: 0; }
1002
+
1003
+ div.zzHelp {
1004
+ color: green;
1005
+ padding: 0.5em;
1006
+ margin: 1.5em 0 1.5em 0;
1007
+ text-align: left; }
1008
+
1009
+ /* Collapse TOC */
1010
+ .collapse-group {
1011
+ display: flex;
1012
+ align-items: center;
1013
+ position: relative; }
1014
+
1015
+ .collapse-button {
1016
+ position: absolute;
1017
+ right: 0;
1018
+ display: inline-block;
1019
+ height: 20px;
1020
+ width: 20px;
1021
+ cursor: pointer;
1022
+ background-image: url('data:image/svg+xml,<svg focusable="false" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path fill="rgba(0,0,0,.54)" d="M16.59 8.59L12 13.17 7.41 8.59 6 10l6 6 6-6z"></path></svg>'); }
1023
+
1024
+ .collapse {
1025
+ display: none; }
1026
+
1027
+ .expand {
1028
+ transform: rotateZ(-180deg); }