metanorma-ribose 1.6.4 → 1.6.9

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.
@@ -9,7 +9,7 @@ p.Sourcecode, li.Sourcecode, div.Sourcecode, pre.Sourcecode, pre
9
9
  text-align:left;
10
10
  mso-pagination:widow-orphan;
11
11
  tab-stops:45.8pt 91.6pt 137.4pt 183.2pt 229.0pt 274.8pt 320.6pt 366.4pt 412.2pt 458.0pt 503.8pt 549.6pt 595.4pt 641.2pt 687.0pt 732.8pt;
12
- font-size:10.0pt;
12
+ font-size:$monospacefontsize;
13
13
  font-family:$monospacefont;
14
14
  mso-fareast-font-family:Calibri;
15
15
  mso-bidi-font-family:"Courier New";
@@ -36,13 +36,13 @@ p.Biblio, li.Biblio, div.Biblio, p.NormRef, li.NormRef, div.NormRef
36
36
  mso-style-parent:"";
37
37
  margin-top:0cm;
38
38
  margin-right:0cm;
39
- margin-bottom:12.0pt;
39
+ margin-bottom:$normalfontsize;
40
40
  margin-left:33.15pt;
41
41
  text-indent:-33.15pt;
42
42
  tab-stops: 33.15pt;
43
- line-height:12.0pt;
43
+ line-height:$normalfontsize;
44
44
  mso-pagination:widow-orphan;
45
- font-size:12.0pt;
45
+ font-size:$normalfontsize;
46
46
  font-weight:normal;
47
47
  font-family:$bodyfont;
48
48
  mso-fareast-font-family:$bodyfont;
@@ -57,11 +57,11 @@ p.FigureTitle
57
57
  margin-bottom:6.0pt;
58
58
  margin-left:0cm;
59
59
  text-align:center;
60
- line-height:12.0pt;
60
+ line-height:$normalfontsize;
61
61
  page-break-before:avoid;
62
62
  mso-pagination:widow-orphan;
63
63
  tab-stops:20.15pt;
64
- font-size:11.0pt;
64
+ font-size:$smallerfontsize;
65
65
  font-weight:bold;
66
66
  font-family:$bodyfont;
67
67
  mso-fareast-font-family:$bodyfont;
@@ -76,11 +76,11 @@ p.SourceTitle
76
76
  margin-bottom:6.0pt;
77
77
  margin-left:0cm;
78
78
  text-align:center;
79
- line-height:12.0pt;
79
+ line-height:$normalfontsize;
80
80
  page-break-before:avoid;
81
81
  mso-pagination:widow-orphan;
82
82
  tab-stops:20.15pt;
83
- font-size:11.0pt;
83
+ font-size:$smallerfontsize;
84
84
  font-weight:bold;
85
85
  font-family:$bodyfont;
86
86
  mso-fareast-font-family:$bodyfont;
@@ -95,11 +95,11 @@ p.AdmonitionTitle, p.RecommendationTitle
95
95
  margin-bottom:6.0pt;
96
96
  margin-left:0cm;
97
97
  text-align:center;
98
- line-height:12.0pt;
98
+ line-height:$normalfontsize;
99
99
  page-break-after:avoid;
100
100
  mso-pagination:widow-orphan;
101
101
  tab-stops:20.15pt;
102
- font-size:11.0pt;
102
+ font-size:$smallerfontsize;
103
103
  font-weight:bold;
104
104
  font-family:$bodyfont;
105
105
  mso-fareast-font-family:$bodyfont;
@@ -115,10 +115,10 @@ p.TableTitle
115
115
  margin-left:0cm;
116
116
  text-align:center;
117
117
  page-break-after:avoid;
118
- line-height:12.0pt;
118
+ line-height:$normalfontsize;
119
119
  mso-pagination:widow-orphan;
120
120
  tab-stops:20.15pt;
121
- font-size:11.0pt;
121
+ font-size:$smallerfontsize;
122
122
  font-family:$bodyfont;
123
123
  mso-fareast-font-family:$bodyfont;
124
124
  mso-bidi-font-family:$bodyfont;
@@ -129,14 +129,14 @@ p.Note, div.Note, li.Note, p.TableFootnote, div.TableFootnote, li.TableFootnote
129
129
  mso-style-parent:"";
130
130
  margin-top:0cm;
131
131
  margin-right:0cm;
132
- margin-bottom:12.0pt;
132
+ margin-bottom:$normalfontsize;
133
133
  margin-left:0cm;
134
134
  text-align:justify;
135
- line-height:12.0pt;
135
+ line-height:$normalfontsize;
136
136
  mso-pagination:widow-orphan;
137
137
  tab-stops:20.15pt;
138
- font-size:11.0pt;
139
- mso-bidi-font-size:11.0pt;
138
+ font-size:$smallerfontsize;
139
+ mso-bidi-font-size:$smallerfontsize;
140
140
  font-family:$bodyfont;
141
141
  mso-fareast-font-family:$bodyfont;
142
142
  mso-bidi-font-family:$bodyfont;
@@ -160,8 +160,8 @@ p.ANNEX, li.ANNEX, div.ANNEX
160
160
  mso-outline-level:1;
161
161
  mso-list:l0 level1 lfo12;
162
162
  tab-stops:20.15pt;
163
- font-size:12.0pt;
164
- mso-bidi-font-size:11.0pt;
163
+ font-size:$normalfontsize;
164
+ mso-bidi-font-size:$smallerfontsize;
165
165
  font-family:$headerfont;
166
166
  color:#0E1A85;
167
167
  mso-fareast-font-family:$headerfont;
@@ -182,8 +182,8 @@ p.BiblioTitle, li.BiblioTitle, div.BiblioTitle
182
182
  mso-pagination:widow-orphan;
183
183
  mso-outline-level:1;
184
184
  tab-stops:20.15pt;
185
- font-size:12.0pt;
186
- mso-bidi-font-size:11.0pt;
185
+ font-size:$normalfontsize;
186
+ mso-bidi-font-size:$smallerfontsize;
187
187
  font-family:$headerfont;
188
188
  color:#0E1A85;
189
189
  mso-fareast-font-family:$headerfont;
@@ -196,13 +196,13 @@ p.Definition, li.Definition, div.Definition
196
196
  mso-style-unhide:no;
197
197
  margin-top:0cm;
198
198
  margin-right:0cm;
199
- margin-bottom:12.0pt;
199
+ margin-bottom:$normalfontsize;
200
200
  margin-left:0cm;
201
201
  text-align:justify;
202
- line-height:12.0pt;
202
+ line-height:$normalfontsize;
203
203
  mso-pagination:widow-orphan;
204
204
  tab-stops:20.15pt;
205
- font-size:12.0pt;
205
+ font-size:$normalfontsize;
206
206
  font-family:$bodyfont;
207
207
  mso-fareast-font-family:$bodyfont;
208
208
  mso-bidi-font-family:$bodyfont;
@@ -223,8 +223,8 @@ p.ForewordTitle, li.ForewordTitle, div.ForewordTitle
223
223
  mso-outline-level:1;
224
224
  mso-hyphenate:none;
225
225
  tab-stops:20.15pt;
226
- font-size:12.0pt;
227
- mso-bidi-font-size:11.0pt;
226
+ font-size:$normalfontsize;
227
+ mso-bidi-font-size:$smallerfontsize;
228
228
  font-family:$headerfont;
229
229
  color:#0E1A85;
230
230
  mso-fareast-font-family:$headerfont;
@@ -247,8 +247,8 @@ p.IntroTitle, li.IntroTitle, div.IntroTitle
247
247
  mso-outline-level:1;
248
248
  mso-hyphenate:none;
249
249
  tab-stops:20.15pt;
250
- font-size:12.0pt;
251
- mso-bidi-font-size:11.0pt;
250
+ font-size:$normalfontsize;
251
+ mso-bidi-font-size:$smallerfontsize;
252
252
  font-family:$headerfont;
253
253
  color:#0E1A85;
254
254
  mso-fareast-font-family:$headerfont;
@@ -270,8 +270,8 @@ p.TitlePageSubhead, li.TitlePageSubhead, div.TitlePageSubhead {
270
270
  page-break-after:avoid;
271
271
  mso-hyphenate:none;
272
272
  tab-stops:20.15pt;
273
- font-size:12.0pt;
274
- mso-bidi-font-size:11.0pt;
273
+ font-size:$normalfontsize;
274
+ mso-bidi-font-size:$smallerfontsize;
275
275
  font-family:$headerfont;
276
276
  color:#0E1A85;
277
277
  mso-fareast-font-family:$headerfont;
@@ -286,12 +286,12 @@ p.Terms, li.Terms, div.Terms
286
286
  mso-style-next:Definition;
287
287
  margin:0cm;
288
288
  margin-bottom:.0001pt;
289
- line-height:12.0pt;
289
+ line-height:$normalfontsize;
290
290
  mso-pagination:widow-orphan;
291
291
  page-break-after:avoid;
292
292
  mso-hyphenate:none;
293
293
  tab-stops:20.15pt;
294
- font-size:12.0pt;
294
+ font-size:$normalfontsize;
295
295
  font-family:$headerfont;
296
296
  mso-fareast-font-family:$headerfont;
297
297
  mso-bidi-font-family:$headerfont;
@@ -304,12 +304,12 @@ p.AltTerms, li.AltTerms, div.AltTerms
304
304
  mso-style-next:Definition;
305
305
  margin:0cm;
306
306
  margin-bottom:.0001pt;
307
- line-height:12.0pt;
307
+ line-height:$normalfontsize;
308
308
  mso-pagination:widow-orphan;
309
309
  page-break-after:avoid;
310
310
  mso-hyphenate:none;
311
311
  tab-stops:20.15pt;
312
- font-size:12.0pt;
312
+ font-size:$normalfontsize;
313
313
  font-family:$bodyfont;
314
314
  mso-fareast-font-family:$bodyfont;
315
315
  mso-bidi-font-family:$bodyfont;
@@ -322,12 +322,12 @@ p.DeprecatedTerms, li.DeprecatedTerms, div.DeprecatedTerms
322
322
  mso-style-next:Definition;
323
323
  margin:0cm;
324
324
  margin-bottom:.0001pt;
325
- line-height:12.0pt;
325
+ line-height:$normalfontsize;
326
326
  mso-pagination:widow-orphan;
327
327
  page-break-after:avoid;
328
328
  mso-hyphenate:none;
329
329
  tab-stops:20.15pt;
330
- font-size:12.0pt;
330
+ font-size:$normalfontsize;
331
331
  font-family:$bodyfont;
332
332
  mso-fareast-font-family:$bodyfont;
333
333
  mso-bidi-font-family:$bodyfont;
@@ -340,11 +340,11 @@ p.TermNum, li.TermNum, div.TermNum
340
340
  mso-style-next:"Term\(s\)";
341
341
  margin:0cm;
342
342
  margin-bottom:.0001pt;
343
- line-height:12.0pt;
343
+ line-height:$normalfontsize;
344
344
  mso-pagination:widow-orphan;
345
345
  page-break-after:avoid;
346
346
  tab-stops:20.15pt;
347
- font-size:12.0pt;
347
+ font-size:$normalfontsize;
348
348
  font-family:$headerfont;
349
349
  mso-fareast-font-family:$headerfont;
350
350
  mso-bidi-font-family:$headerfont;
@@ -367,8 +367,8 @@ p.zzContents, li.zzContents, div.zzContents
367
367
  page-break-after:avoid;
368
368
  mso-hyphenate:none;
369
369
  tab-stops:20.15pt;
370
- font-size:12.0pt;
371
- mso-bidi-font-size:11.0pt;
370
+ font-size:$normalfontsize;
371
+ mso-bidi-font-size:$smallerfontsize;
372
372
  font-family:$headerfont;
373
373
  color:#0E1A85;
374
374
  mso-fareast-font-family:$headerfont;
@@ -382,15 +382,15 @@ p.zzCopyright, li.zzCopyright
382
382
  mso-style-next:Normal;
383
383
  margin-top:0cm;
384
384
  margin-right:14.2pt;
385
- margin-bottom:12.0pt;
385
+ margin-bottom:$normalfontsize;
386
386
  margin-left:14.2pt;
387
387
  text-align:justify;
388
- line-height:12.0pt;
388
+ line-height:$normalfontsize;
389
389
  mso-pagination:widow-orphan;
390
390
  tab-stops:20.15pt 25.7pt 481.15pt;
391
391
  padding:0cm;
392
392
  mso-padding-alt:1.0pt 4.0pt 1.0pt 4.0pt;
393
- font-size:12.0pt;
393
+ font-size:$normalfontsize;
394
394
  font-family:$bodyfont;
395
395
  mso-fareast-font-family:$bodyfont;
396
396
  mso-bidi-font-family:$bodyfont;
@@ -414,9 +414,9 @@ p.zzCopyright_address
414
414
  text-autospace:none;
415
415
  padding-left:20pt;
416
416
  mso-padding-alt-left:20pt;
417
- font-size:12.0pt;
417
+ font-size:$normalfontsize;
418
418
  text-align:left;
419
- mso-bidi-font-size:11.0pt;}
419
+ mso-bidi-font-size:$smallerfontsize;}
420
420
  p.zzSTDTitle, li.zzSTDTitle, div.zzSTDTitle
421
421
  {mso-style-name:zzSTDTitle;
422
422
  mso-style-noshow:yes;
@@ -432,7 +432,7 @@ p.zzSTDTitle, li.zzSTDTitle, div.zzSTDTitle
432
432
  mso-hyphenate:none;
433
433
  tab-stops:20.15pt;
434
434
  font-size:16.0pt;
435
- mso-bidi-font-size:11.0pt;
435
+ mso-bidi-font-size:$smallerfontsize;
436
436
  font-family:$headerfont;
437
437
  mso-fareast-font-family:$headerfont;
438
438
  mso-bidi-font-family:$headerfont;
@@ -453,7 +453,7 @@ p.zzSTDTitle1, li.zzSTDTitle1, div.zzSTDTitle1
453
453
  mso-hyphenate:none;
454
454
  tab-stops:20.15pt;
455
455
  font-size:16.0pt;
456
- mso-bidi-font-size:11.0pt;
456
+ mso-bidi-font-size:$smallerfontsize;
457
457
  font-family:$headerfont;
458
458
  mso-fareast-font-family:$headerfont;
459
459
  mso-bidi-font-family:$headerfont;
@@ -467,10 +467,10 @@ p.Quote, li.Quote, div.Quote
467
467
  margin-bottom:0cm;
468
468
  margin-left:36.0pt;
469
469
  text-align:justify;
470
- line-height:12.0pt;
470
+ line-height:$normalfontsize;
471
471
  mso-pagination:widow-orphan;
472
472
  tab-stops:20.15pt;
473
- font-size:12.0pt;
473
+ font-size:$normalfontsize;
474
474
  font-family:$bodyfont;
475
475
  mso-fareast-font-family:$bodyfont;
476
476
  mso-bidi-font-family:$bodyfont;
@@ -482,10 +482,10 @@ p.QuoteAttribution
482
482
  margin-right:36.0pt;
483
483
  margin-bottom:0cm;
484
484
  margin-left:36.0pt;
485
- line-height:12.0pt;
485
+ line-height:$normalfontsize;
486
486
  mso-pagination:widow-orphan;
487
487
  tab-stops:20.15pt;
488
- font-size:12.0pt;
488
+ font-size:$normalfontsize;
489
489
  font-family:$bodyfont;
490
490
  mso-fareast-font-family:$bodyfont;
491
491
  mso-bidi-font-family:$bodyfont;
@@ -504,7 +504,7 @@ p.Admonition, li.Admonition, div.Admonition
504
504
  mso-border-themecolor:accent1;
505
505
  padding:0cm;
506
506
  mso-padding-alt:10.0pt 10.0pt 10.0pt 10.0pt;
507
- font-size:12.0pt;
507
+ font-size:$normalfontsize;
508
508
  font-family:$bodyfont;
509
509
  mso-ascii-font-family:$bodyfont;
510
510
  mso-ascii-theme-font:minor-latin;
@@ -529,7 +529,7 @@ p.Code, li.Code, div.Code
529
529
  mso-pagination:widow-orphan;
530
530
  tab-stops:20.15pt;
531
531
  font-size:10.0pt;
532
- mso-bidi-font-size:11.0pt;
532
+ mso-bidi-font-size:$smallerfontsize;
533
533
  font-family:$monospacefont;
534
534
  mso-fareast-font-family:Calibri;
535
535
  mso-bidi-font-family:"Source Sans Pro";
@@ -540,12 +540,12 @@ p.Formula, li.Formula, div.Formula
540
540
  mso-style-unhide:no;
541
541
  margin-top:0cm;
542
542
  margin-right:0cm;
543
- margin-bottom:11.0pt;
543
+ margin-bottom:$smallerfontsize;
544
544
  margin-left:20.15pt;
545
- line-height:12.0pt;
545
+ line-height:$normalfontsize;
546
546
  mso-pagination:widow-orphan;
547
547
  tab-stops:right 487.45pt;
548
- font-size:12.0pt;
548
+ font-size:$normalfontsize;
549
549
  font-family:$bodyfont;
550
550
  mso-fareast-font-family:$bodyfont;
551
551
  mso-bidi-font-family:$bodyfont;
@@ -648,7 +648,7 @@ table.MsoISOTable, table.MsoISOTableBig
648
648
  mso-yfti-tbllook:480;
649
649
  mso-border-insideh:.75pt solid windowtext;
650
650
  mso-border-insidev:.75pt solid windowtext;
651
- font-size:12.0pt;
651
+ font-size:$normalfontsize;
652
652
  font-family:$bodyfont;}
653
653
  table.MsoISOTable th, table.MsoISOTableBig th
654
654
  {border:solid windowtext 1pt;
@@ -659,7 +659,7 @@ table.MsoISOTable td, table.MsoISOTableBig td
659
659
  mso-border-alt:solid windowtext 1pt;
660
660
  padding:0cm 2.85pt 0cm 2.85pt;}
661
661
  table.MsoISOTable p, table.MsoISOTableBig p
662
- {font-size:12.0pt; }
662
+ {font-size:$normalfontsize; }
663
663
  table.MsoTableGrid
664
664
  {mso-style-name:"Table Grid";
665
665
  mso-tstyle-rowband-size:0;
@@ -674,7 +674,7 @@ table.MsoTableGrid
674
674
  mso-para-margin:0cm;
675
675
  mso-para-margin-bottom:.0001pt;
676
676
  mso-pagination:widow-orphan;
677
- font-size:12.0pt;
677
+ font-size:$normalfontsize;
678
678
  font-family:$bodyfont;}
679
679
  div.formula
680
680
  {tab-stops:right 487.45pt;}
@@ -686,7 +686,7 @@ body
686
686
  font-weight:bold;}
687
687
  .coverpage_techcommittee
688
688
  {text-align:center;
689
- font-size:12.0pt}
689
+ font-size:$normalfontsize}
690
690
  .coverpage_docstage
691
691
  {text-align:center;
692
692
  font-size:30.0pt;
@@ -696,12 +696,12 @@ div.coverpage_warning
696
696
  border:solid windowtext 1.0pt #485094;
697
697
  mso-border-alt:solid windowtext .5pt;
698
698
  padding:1.0pt 4.0pt 1.0pt 4.0pt #485094;
699
- font-size:12.0pt;
699
+ font-size:$normalfontsize;
700
700
  margin-left:4.25pt;
701
701
  margin-right:4.25pt}
702
702
  .coverpage_warning
703
703
  {color:#485094;
704
- font-size:12.0pt;}
704
+ font-size:$normalfontsize;}
705
705
 
706
706
  a.TableFootnoteRef, span.TableFootnoteRef
707
707
  {mso-style-priority:99;
@@ -709,7 +709,7 @@ div.coverpage_warning
709
709
  vertical-align:super;}
710
710
 
711
711
  aside {
712
- font-size:12.0pt;
712
+ font-size:$normalfontsize;
713
713
  }
714
714
 
715
715
  .example-title {
@@ -731,24 +731,24 @@ div.example {
731
731
 
732
732
  p.example, li.example, div.example, td.example {
733
733
  mso-pagination:none;
734
- font-size:11.0pt;
734
+ font-size:$smallerfontsize;
735
735
  font-family:$bodyfont;}
736
736
 
737
737
  td.example p.MsoListParagraph {
738
- font-size: 11.0pt;
738
+ font-size: $smallerfontsize;
739
739
  }
740
740
 
741
741
  div.example p.MsoListParagraph {
742
- font-size: 11.0pt;
742
+ font-size: $smallerfontsize;
743
743
  }
744
744
 
745
745
  div.Note p.MsoListParagraph {
746
- font-size: 11.0pt;
746
+ font-size: $smallerfontsize;
747
747
  margin-left: 1.0cm;
748
748
  }
749
749
 
750
750
  div.Note span.stem {
751
- font-size: 11.0pt; }
751
+ font-size: $smallerfontsize; }
752
752
 
753
753
  div.Note p.Sourcecode, div.Note pre.Sourcecode {
754
754
  font-size: 9.0pt;
@@ -756,18 +756,18 @@ div.Note p.Sourcecode, div.Note pre.Sourcecode {
756
756
  }
757
757
 
758
758
  div.Note table.dl {
759
- font-size: 11.0pt;
759
+ font-size: $smallerfontsize;
760
760
  margin-left: 1.0cm;
761
761
  }
762
762
 
763
763
  span.note_label, span.example_label, td.example_label, td.note_label
764
764
  {
765
- font-size: 11.0pt;
765
+ font-size: $smallerfontsize;
766
766
  font-family:$bodyfont;
767
767
  }
768
768
 
769
769
  table.dl
770
770
  {margin-top:0cm;
771
771
  margin-right:0cm;
772
- margin-bottom:11.0pt;
772
+ margin-bottom:$smallerfontsize;
773
773
  margin-left:20.15pt;}
@@ -54,16 +54,16 @@ mso-border-alt:solid windowtext .5pt;padding:0cm;mso-padding-alt:1.0pt 4.0pt 1.0
54
54
  {{ revdate_MMMddyyyy || circulateddate }}</p>
55
55
  {% endif %}
56
56
 
57
- {% if security %}
57
+ {% if metadata_extensions["security"] %}
58
58
  <p class="MsoNormal">&#xA0;</p>
59
59
 
60
- <p class="MsoNormal"><i> {{ security }}</i></p>
60
+ <p class="MsoNormal"><i> {{ metadata_extensions["security"] }}</i></p>
61
61
  {% endif %}
62
62
 
63
- {% if recipient %}
63
+ {% if metadata_extensions["recipient"] %}
64
64
  <p class="MsoNormal">&#xA0;</p>
65
65
 
66
- <p class="MsoNormal">Recipient: {{ recipient }}</p>
66
+ <p class="MsoNormal">Recipient: {{ metadata_extensions["recipient"] }}</p>
67
67
  {% endif %}
68
68
 
69
69
  <div style='mso-element:para-border-div;border:solid windowtext 1.0pt;