metanorma-nist 1.2.7 → 1.2.8

Sign up to get free protection for your applications and to get access to all the features.
Files changed (26) hide show
  1. checksums.yaml +4 -4
  2. data/.github/workflows/rake.yml +4 -5
  3. data/lib/asciidoctor/nist/cleanup.rb +1 -0
  4. data/lib/asciidoctor/nist/converter.rb +2 -0
  5. data/lib/asciidoctor/nist/nist.rng +1 -0
  6. data/lib/isodoc/nist/fonts_manifest.yaml +4 -0
  7. data/lib/isodoc/nist/html/htmlstyle.css +221 -221
  8. data/lib/isodoc/nist/html/htmlstyle.scss +5 -6
  9. data/lib/isodoc/nist/html/nist.css +49 -50
  10. data/lib/isodoc/nist/html/nist.scss +49 -50
  11. data/lib/isodoc/nist/html/nist_cswp.css +48 -49
  12. data/lib/isodoc/nist/html/nist_cswp.scss +48 -49
  13. data/lib/isodoc/nist/html/wordstyle.css +42 -42
  14. data/lib/isodoc/nist/html/wordstyle.scss +42 -42
  15. data/lib/isodoc/nist/html/wordstyle_cswp.css +52 -52
  16. data/lib/isodoc/nist/html/wordstyle_cswp.scss +52 -52
  17. data/lib/isodoc/nist/html_convert.rb +4 -1
  18. data/lib/isodoc/nist/nist.cswp.xsl +106 -25
  19. data/lib/isodoc/nist/nist.sp.xsl +106 -25
  20. data/lib/isodoc/nist/refs.rb +2 -0
  21. data/lib/isodoc/nist/word_convert.rb +6 -1
  22. data/lib/metanorma/nist/fonts_manifest.yaml +6 -0
  23. data/lib/metanorma/nist/processor.rb +0 -8
  24. data/lib/metanorma/nist/version.rb +1 -1
  25. data/metanorma-nist.gemspec +1 -1
  26. metadata +6 -4
data/lib/isodoc/nist/html/htmlstyle.scss CHANGED
@@ -19,6 +19,7 @@ $docstage-colors-list: (
19
19
 
20
20
 
21
21
  @import 'base_style/all';
22
+ @import 'coverpage';
22
23
 
23
24
 
24
25
  dl {
@@ -32,7 +33,7 @@ dl {
32
33
 
33
34
  body {
34
35
  @include bodyStyle1(
35
- $fontSize: 14px, $lineHeight: 1.6em,
36
+ $fontSize: $normalfontsize, $lineHeight: 1.6em,
36
37
  $colorText: #141115, $colorBackground: #fff);
37
38
  }
38
39
 
@@ -53,7 +54,7 @@ body {
53
54
  font-family: 'Source Sans Pro', sans-serif;
54
55
 
55
56
  li a {
56
- font-size: 14px;
57
+ font-size: $normalfontsize;
57
58
  }
58
59
 
59
60
  li:before {
@@ -129,8 +130,6 @@ span.nistvariable {
129
130
  }
130
131
 
131
132
 
132
- @import 'coverpage';
133
-
134
133
 
135
134
  .recommend {
136
135
  background-color: #ccffcc;
@@ -248,7 +247,7 @@ p.Biblio, p.NormRef {
248
247
  .figure {
249
248
  @include figureBlock();
250
249
  @include monospaceBlockStyle();
251
- font-size: 0.8em;
250
+ font-size: $monospacefontsize;
252
251
  background-color: #f6f6f6;
253
252
  }
254
253
 
@@ -366,7 +365,7 @@ a.footnote-number {
366
365
  }
367
366
 
368
367
  .footnote {
369
- font-size: 0.9em;
368
+ font-size: $footnotefontsize;
370
369
  }
371
370
 
372
371
 
data/lib/isodoc/nist/html/nist.css CHANGED
@@ -31,11 +31,11 @@ div.authority1 p, div.authority2 p, div.authority3 p, div.authority4 p, div.auth
31
31
 
32
32
  div.authority6 p.h2Preface, div.authority6 p.h1Preface {
33
33
  font-weight: bold;
34
- margin-bottom: 12pt;
34
+ margin-bottom: {{normalfontsize}};
35
35
  text-align: center; }
36
36
 
37
37
  div.authority6 p {
38
- font-size: 12pt;
38
+ font-size: {{normalfontsize}};
39
39
  font-family: "Times New Roman",serif;
40
40
  margin: 0cm;
41
41
  margin-bottom: .0001pt;
@@ -57,7 +57,7 @@ p.Default, li.Default, div.Default {
57
57
  mso-pagination: widow-orphan;
58
58
  mso-layout-grid-align: none;
59
59
  text-autospace: none;
60
- font-size: 10.0pt;
60
+ font-size: {{smallerfontsize}};
61
61
  font-family: "Times New Roman",serif;
62
62
  mso-fareast-font-family: "Times New Roman";
63
63
  mso-bidi-font-family: "Times New Roman";
@@ -85,7 +85,7 @@ p.Affiliation, li.Affiliation, div.Affiliation {
85
85
  mso-style-unhide: no;
86
86
  mso-style-qformat: yes;
87
87
  margin: 0cm;
88
- margin-bottom: 12.0pt;
88
+ margin-bottom: {{normalfontsize}};
89
89
  text-align: right;
90
90
  font-style: italic;
91
91
  mso-pagination: widow-orphan;
@@ -108,7 +108,7 @@ p.ReportNumber, li.ReportNumber, div.ReportNumber {
108
108
  line-height: 90%;
109
109
  mso-pagination: widow-orphan;
110
110
  font-size: 20.0pt;
111
- mso-bidi-font-size: 12.0pt;
111
+ mso-bidi-font-size: {{normalfontsize}};
112
112
  font-family: "Times New Roman",serif;
113
113
  mso-fareast-font-family: "Times New Roman";
114
114
  mso-ansi-language: EN-US;
@@ -133,7 +133,7 @@ p.CoverTitle, li.CoverTitle, div.CoverTitle {
133
133
  padding: 0cm;
134
134
  mso-padding-alt: 6.0pt 0cm 0cm 0cm;
135
135
  font-size: 28.0pt;
136
- mso-bidi-font-size: 12.0pt;
136
+ mso-bidi-font-size: {{normalfontsize}};
137
137
  font-family: "Times New Roman",serif;
138
138
  mso-fareast-font-family: "Times New Roman";
139
139
  color: black;
@@ -163,7 +163,7 @@ p.CoverSubtitle, li.CoverSubtitle, div.CoverSubtitle {
163
163
  mso-hyphenate: none;
164
164
  mso-layout-grid-align: auto;
165
165
  font-size: 18.0pt;
166
- mso-bidi-font-size: 12.0pt;
166
+ mso-bidi-font-size: {{normalfontsize}};
167
167
  font-family: "Times New Roman",serif;
168
168
  mso-fareast-font-family: "Times New Roman";
169
169
  color: black;
@@ -185,7 +185,7 @@ p.Sourcecode, li.Sourcecode, div.Sourcecode, pre.Sourcecode, pre {
185
185
  text-align: left;
186
186
  mso-pagination: widow-orphan;
187
187
  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;
188
- font-size: 10.0pt;
188
+ font-size: {{monospacefontsize}};
189
189
  font-family: {{monospacefont}};
190
190
  mso-fareast-font-family: Calibri;
191
191
  mso-bidi-font-family: "Courier New";
@@ -202,7 +202,7 @@ p.pseudocode, li.pseudocode, div.pseudocode {
202
202
  text-align: left;
203
203
  mso-pagination: widow-orphan;
204
204
  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;
205
- font-size: 12.0pt;
205
+ font-size: {{normalfontsize}};
206
206
  font-family: {{bodyfont}};
207
207
  mso-fareast-font-family: Calibri;
208
208
  mso-bidi-font-family: "Courier New";
@@ -214,13 +214,13 @@ p.Biblio, li.Biblio, div.Biblio, p.NormRef, li.NormRef, div.NormRef {
214
214
  mso-style-parent: "";
215
215
  margin-top: 0cm;
216
216
  margin-right: 0cm;
217
- margin-bottom: 12.0pt;
217
+ margin-bottom: {{normalfontsize}};
218
218
  margin-left: 33.15pt;
219
219
  text-indent: -33.15pt;
220
220
  tab-stops: 33.15pt;
221
- line-height: 12.0pt;
221
+ line-height: {{normalfontsize}};
222
222
  mso-pagination: widow-orphan;
223
- font-size: 12pt;
223
+ font-size: {{normalfontsize}};
224
224
  font-weight: normal;
225
225
  font-family: {{bodyfont}};
226
226
  mso-fareast-font-family: {{bodyfont}};
@@ -236,7 +236,7 @@ p.FigureTitle {
236
236
  margin-bottom: 6.0pt;
237
237
  margin-left: 0cm;
238
238
  text-align: center;
239
- line-height: 12.0pt;
239
+ line-height: {{normalfontsize}};
240
240
  page-break-before: avoid;
241
241
  mso-pagination: widow-orphan;
242
242
  tab-stops: 20.15pt;
@@ -256,7 +256,7 @@ p.SourceTitle {
256
256
  margin-bottom: 6.0pt;
257
257
  margin-left: 0cm;
258
258
  text-align: center;
259
- line-height: 12.0pt;
259
+ line-height: {{normalfontsize}};
260
260
  page-break-before: avoid;
261
261
  mso-pagination: widow-orphan;
262
262
  tab-stops: 20.15pt;
@@ -276,7 +276,7 @@ p.AdmonitionTitle, p.RecommendationTitle {
276
276
  margin-bottom: 6.0pt;
277
277
  margin-left: 0cm;
278
278
  text-align: center;
279
- line-height: 12.0pt;
279
+ line-height: {{normalfontsize}};
280
280
  page-break-after: avoid;
281
281
  mso-pagination: widow-orphan;
282
282
  tab-stops: 20.15pt;
@@ -293,11 +293,11 @@ p.TableTitle {
293
293
  mso-style-parent: "";
294
294
  margin-top: 0cm;
295
295
  margin-right: 0cm;
296
- margin-bottom: 12.0pt;
296
+ margin-bottom: {{normalfontsize}};
297
297
  margin-left: 0cm;
298
298
  text-align: center;
299
299
  page-break-after: avoid;
300
- line-height: 12.0pt;
300
+ line-height: {{normalfontsize}};
301
301
  mso-pagination: widow-orphan;
302
302
  tab-stops: 20.15pt;
303
303
  font-size: 9.0pt;
@@ -314,16 +314,15 @@ p.Note, div.Note, li.Note, p.TableFootnote, div.TableFootnote, li.TableFootnote
314
314
  mso-style-parent: "";
315
315
  margin-top: 0cm;
316
316
  margin-right: 0cm;
317
- margin-bottom: 12.0pt;
317
+ margin-bottom: {{normalfontsize}};
318
318
  margin-left: 0cm;
319
319
  text-align: justify;
320
- line-height: 12.0pt;
320
+ line-height: {{normalfontsize}};
321
321
  mso-pagination: widow-orphan;
322
322
  tab-stops: 20.15pt;
323
- font-size: 10.0pt;
323
+ font-size: {{smallerfontsize}};
324
324
  mso-bidi-font-size: 11.0pt;
325
325
  font-family: {{bodyfont}};
326
- font-size: 10.0pt;
327
326
  mso-fareast-font-family: {{bodyfont}};
328
327
  mso-bidi-font-family: {{bodyfont}};
329
328
  mso-ansi-language: EN-GB; }
@@ -385,10 +384,10 @@ p.Definition, li.Definition, div.Definition {
385
384
  mso-style-unhide: no;
386
385
  margin-top: 0cm;
387
386
  margin-right: 0cm;
388
- margin-bottom: 12.0pt;
387
+ margin-bottom: {{normalfontsize}};
389
388
  margin-left: 0cm;
390
389
  text-align: justify;
391
- line-height: 12.0pt;
390
+ line-height: {{normalfontsize}};
392
391
  mso-pagination: widow-orphan;
393
392
  tab-stops: 20.15pt;
394
393
  font-size: 11.0pt;
@@ -478,7 +477,7 @@ p.Terms, li.Terms, div.Terms {
478
477
  mso-style-next: Definition;
479
478
  margin: 0cm;
480
479
  margin-bottom: .0001pt;
481
- line-height: 12.0pt;
480
+ line-height: {{normalfontsize}};
482
481
  mso-pagination: widow-orphan;
483
482
  page-break-after: avoid;
484
483
  mso-hyphenate: none;
@@ -498,7 +497,7 @@ p.AltTerms, li.AltTerms, div.AltTerms {
498
497
  mso-style-next: Definition;
499
498
  margin: 0cm;
500
499
  margin-bottom: .0001pt;
501
- line-height: 12.0pt;
500
+ line-height: {{normalfontsize}};
502
501
  mso-pagination: widow-orphan;
503
502
  page-break-after: avoid;
504
503
  mso-hyphenate: none;
@@ -517,7 +516,7 @@ p.DeprecatedTerms, li.DeprecatedTerms, div.DeprecatedTerms {
517
516
  mso-style-next: Definition;
518
517
  margin: 0cm;
519
518
  margin-bottom: .0001pt;
520
- line-height: 12.0pt;
519
+ line-height: {{normalfontsize}};
521
520
  mso-pagination: widow-orphan;
522
521
  page-break-after: avoid;
523
522
  mso-hyphenate: none;
@@ -536,7 +535,7 @@ p.TermNum, li.TermNum, div.TermNum {
536
535
  mso-style-next: "Term\(s\)";
537
536
  margin: 0cm;
538
537
  margin-bottom: .0001pt;
539
- line-height: 12.0pt;
538
+ line-height: {{normalfontsize}};
540
539
  mso-pagination: widow-orphan;
541
540
  page-break-after: avoid;
542
541
  tab-stops: 20.15pt;
@@ -580,15 +579,15 @@ p.zzCopyright, li.zzCopyright {
580
579
  mso-style-next: Normal;
581
580
  margin-top: 0cm;
582
581
  margin-right: 14.2pt;
583
- margin-bottom: 12.0pt;
582
+ margin-bottom: {{normalfontsize}};
584
583
  margin-left: 14.2pt;
585
584
  text-align: justify;
586
- line-height: 12.0pt;
585
+ line-height: {{normalfontsize}};
587
586
  mso-pagination: widow-orphan;
588
587
  tab-stops: 20.15pt 25.7pt 481.15pt;
589
588
  padding: 0cm;
590
589
  mso-padding-alt: 1.0pt 4.0pt 1.0pt 4.0pt;
591
- font-size: 12pt;
590
+ font-size: {{normalfontsize}};
592
591
  font-family: {{bodyfont}};
593
592
  mso-fareast-font-family: {{bodyfont}};
594
593
  mso-bidi-font-family: {{bodyfont}};
@@ -671,10 +670,10 @@ p.Quote, li.Quote, div.Quote {
671
670
  margin-bottom: 0cm;
672
671
  margin-left: 36.0pt;
673
672
  text-align: justify;
674
- line-height: 12.0pt;
673
+ line-height: {{normalfontsize}};
675
674
  mso-pagination: widow-orphan;
676
675
  tab-stops: 20.15pt;
677
- font-size: 12pt;
676
+ font-size: {{normalfontsize}};
678
677
  font-family: {{bodyfont}};
679
678
  mso-fareast-font-family: {{bodyfont}};
680
679
  mso-bidi-font-family: {{bodyfont}};
@@ -687,10 +686,10 @@ p.QuoteAttribution {
687
686
  margin-right: 36.0pt;
688
687
  margin-bottom: 0cm;
689
688
  margin-left: 36.0pt;
690
- line-height: 12.0pt;
689
+ line-height: {{normalfontsize}};
691
690
  mso-pagination: widow-orphan;
692
691
  tab-stops: 20.15pt;
693
- font-size: 12pt;
692
+ font-size: {{normalfontsize}};
694
693
  font-family: {{bodyfont}};
695
694
  mso-fareast-font-family: {{bodyfont}};
696
695
  mso-bidi-font-family: {{bodyfont}};
@@ -699,7 +698,7 @@ p.QuoteAttribution {
699
698
  div.Admonition {
700
699
  mso-style-priority: 99;
701
700
  mso-pagination: widow-orphan;
702
- padding: 18.0pt 12.0pt 18.0pt 12.0pt;
701
+ padding: 18pt {{normalfontsize}} 18pt 12pt;
703
702
  margin-left: 14.2pt;
704
703
  margin-right: 14.2pt;
705
704
  border: none;
@@ -740,7 +739,7 @@ p.Admonition, li.Admonition {
740
739
  mso-style-priority: 99;
741
740
  mso-pagination: widow-orphan;
742
741
  padding: 0cm;
743
- padding: 18.0pt 12.0pt 18.0pt 12.0pt;
742
+ padding: 18pt {{normalfontsize}} 18pt 12pt;
744
743
  border: none;
745
744
  mso-border-alt: solid .25pt;
746
745
  mso-padding-alt: 7.0pt 4.0pt 7.0pt 4.0pt;
@@ -787,10 +786,10 @@ p.Formula, li.Formula, div.Formula {
787
786
  margin-right: 0cm;
788
787
  margin-bottom: 11.0pt;
789
788
  margin-left: 20.15pt;
790
- line-height: 12.0pt;
789
+ line-height: {{normalfontsize}};
791
790
  mso-pagination: widow-orphan;
792
791
  tab-stops: right 487.45pt;
793
- font-size: 12pt;
792
+ font-size: {{normalfontsize}};
794
793
  font-family: {{bodyfont}};
795
794
  mso-fareast-font-family: {{bodyfont}};
796
795
  mso-bidi-font-family: {{bodyfont}};
@@ -932,7 +931,7 @@ table.MsoISOTable, table.MsoISOTableBig {
932
931
  mso-yfti-tbllook: 480;
933
932
  mso-border-insideh: .75pt solid windowtext;
934
933
  mso-border-insidev: .75pt solid windowtext;
935
- font-size: 10.0pt;
934
+ font-size: {{smallerfontsize}};
936
935
  font-family: {{bodyfont}}; }
937
936
 
938
937
  table.MsoISOTable th, table.MsoISOTableBig th {
@@ -950,7 +949,7 @@ table.MsoISOTable td, table.MsoISOTableBig td {
950
949
  padding: 0cm 2.85pt 0cm 2.85pt; }
951
950
 
952
951
  table.MsoISOTable p, table.MsoISOTableBig p {
953
- font-size: 10.0pt; }
952
+ font-size: {{smallerfontsize}}; }
954
953
 
955
954
  table.MsoTableGrid {
956
955
  mso-style-name: "Table Grid";
@@ -966,7 +965,7 @@ table.MsoTableGrid {
966
965
  mso-para-margin: 0cm;
967
966
  mso-para-margin-bottom: .0001pt;
968
967
  mso-pagination: widow-orphan;
969
- font-size: 10.0pt;
968
+ font-size: {{smallerfontsize}};
970
969
  font-family: {{bodyfont}}; }
971
970
 
972
971
  div.formula {
@@ -985,7 +984,7 @@ dl.glossary dt {
985
984
 
986
985
  .coverpage_techcommittee {
987
986
  text-align: center;
988
- font-size: 12.0pt; }
987
+ font-size: {{normalfontsize}}; }
989
988
 
990
989
  .coverpage_docstage {
991
990
  text-align: center;
@@ -1011,7 +1010,7 @@ a.TableFootnoteRef, span.TableFootnoteRef {
1011
1010
  vertical-align: super; }
1012
1011
 
1013
1012
  aside {
1014
- font-size: 10.0pt; }
1013
+ font-size: {{footnotefontsize}}; }
1015
1014
 
1016
1015
  .example-title {
1017
1016
  font-weight: bold;
@@ -1029,32 +1028,32 @@ div.example {
1029
1028
 
1030
1029
  p.example, li.example, div.example, td.example {
1031
1030
  mso-pagination: none;
1032
- font-size: 10.0pt;
1031
+ font-size: {{smallerfontsize}};
1033
1032
  font-family: {{bodyfont}}; }
1034
1033
 
1035
1034
  td.example p.MsoListParagraph {
1036
- font-size: 10.0pt; }
1035
+ font-size: {{smallerfontsize}}; }
1037
1036
 
1038
1037
  div.example p.MsoListParagraph {
1039
- font-size: 10.0pt; }
1038
+ font-size: {{smallerfontsize}}; }
1040
1039
 
1041
1040
  div.Note p.MsoListParagraph {
1042
- font-size: 10.0pt;
1041
+ font-size: {{smallerfontsize}};
1043
1042
  margin-left: 1.0cm; }
1044
1043
 
1045
1044
  div.Note span.stem {
1046
- font-size: 10.0pt; }
1045
+ font-size: {{smallerfontsize}}; }
1047
1046
 
1048
1047
  div.Note p.Sourcecode, div.Note pre.Sourcecode {
1049
1048
  font-size: 8.0pt;
1050
1049
  margin-left: 1.0cm; }
1051
1050
 
1052
1051
  div.Note table.dl {
1053
- font-size: 10.0pt;
1052
+ font-size: {{smallerfontsize}};
1054
1053
  margin-left: 1.0cm; }
1055
1054
 
1056
1055
  span.note_label, span.example_label, td.example_label, td.note_label {
1057
- font-size: 10.0pt;
1056
+ font-size: {{smallerfontsize}};
1058
1057
  font-family: {{bodyfont}}; }
1059
1058
 
1060
1059
  table.dl {
data/lib/isodoc/nist/html/nist.scss CHANGED
@@ -27,12 +27,12 @@ div.authority1 p, div.authority2 p, div.authority3 p, div.authority4 p, div.auth
27
27
 
28
28
  div.authority6 p.h2Preface, div.authority6 p.h1Preface {
29
29
  font-weight: bold;
30
- margin-bottom: 12pt;
30
+ margin-bottom: $normalfontsize;
31
31
  text-align: center;
32
32
  }
33
33
 
34
34
  div.authority6 p {
35
- font-size: 12pt;
35
+ font-size: $normalfontsize;
36
36
  font-family:"Times New Roman",serif;
37
37
  margin:0cm;
38
38
  margin-bottom:.0001pt;
@@ -56,7 +56,7 @@ p.Default, li.Default, div.Default
56
56
  mso-pagination:widow-orphan;
57
57
  mso-layout-grid-align:none;
58
58
  text-autospace:none;
59
- font-size:10.0pt;
59
+ font-size:$smallerfontsize;
60
60
  font-family:"Times New Roman",serif;
61
61
  mso-fareast-font-family:"Times New Roman";
62
62
  mso-bidi-font-family:"Times New Roman";
@@ -82,7 +82,7 @@ p.Affiliation, li.Affiliation, div.Affiliation
82
82
  mso-style-unhide:no;
83
83
  mso-style-qformat:yes;
84
84
  margin:0cm;
85
- margin-bottom:12.0pt;
85
+ margin-bottom:$normalfontsize;
86
86
  text-align:right;
87
87
  font-style:italic;
88
88
  mso-pagination:widow-orphan;
@@ -104,7 +104,7 @@ p.ReportNumber, li.ReportNumber, div.ReportNumber
104
104
  line-height:90%;
105
105
  mso-pagination:widow-orphan;
106
106
  font-size:20.0pt;
107
- mso-bidi-font-size:12.0pt;
107
+ mso-bidi-font-size:$normalfontsize;
108
108
  font-family:"Times New Roman",serif;
109
109
  mso-fareast-font-family:"Times New Roman";
110
110
  mso-ansi-language:EN-US;
@@ -128,7 +128,7 @@ p.CoverTitle, li.CoverTitle, div.CoverTitle
128
128
  padding:0cm;
129
129
  mso-padding-alt:6.0pt 0cm 0cm 0cm;
130
130
  font-size:28.0pt;
131
- mso-bidi-font-size:12.0pt;
131
+ mso-bidi-font-size:$normalfontsize;
132
132
  font-family:"Times New Roman",serif;
133
133
  mso-fareast-font-family:"Times New Roman";
134
134
  color:black;
@@ -157,7 +157,7 @@ p.CoverSubtitle, li.CoverSubtitle, div.CoverSubtitle
157
157
  mso-hyphenate:none;
158
158
  mso-layout-grid-align:auto;
159
159
  font-size:18.0pt;
160
- mso-bidi-font-size:12.0pt;
160
+ mso-bidi-font-size:$normalfontsize;
161
161
  font-family:"Times New Roman",serif;
162
162
  mso-fareast-font-family:"Times New Roman";
163
163
  color:black;
@@ -179,7 +179,7 @@ p.Sourcecode, li.Sourcecode, div.Sourcecode, pre.Sourcecode, pre
179
179
  text-align:left;
180
180
  mso-pagination:widow-orphan;
181
181
  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;
182
- font-size:10.0pt;
182
+ font-size:$monospacefontsize;
183
183
  font-family:$monospacefont;
184
184
  mso-fareast-font-family:Calibri;
185
185
  mso-bidi-font-family:"Courier New";
@@ -195,7 +195,7 @@ p.pseudocode, li.pseudocode, div.pseudocode
195
195
  text-align:left;
196
196
  mso-pagination:widow-orphan;
197
197
  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;
198
- font-size:12.0pt;
198
+ font-size:$normalfontsize;
199
199
  font-family:$bodyfont;
200
200
  mso-fareast-font-family:Calibri;
201
201
  mso-bidi-font-family:"Courier New";
@@ -206,13 +206,13 @@ p.Biblio, li.Biblio, div.Biblio, p.NormRef, li.NormRef, div.NormRef
206
206
  mso-style-parent:"";
207
207
  margin-top:0cm;
208
208
  margin-right:0cm;
209
- margin-bottom:12.0pt;
209
+ margin-bottom:$normalfontsize;
210
210
  margin-left:33.15pt;
211
211
  text-indent:-33.15pt;
212
212
  tab-stops: 33.15pt;
213
- line-height:12.0pt;
213
+ line-height:$normalfontsize;
214
214
  mso-pagination:widow-orphan;
215
- font-size:12pt;
215
+ font-size:$normalfontsize;
216
216
  font-weight:normal;
217
217
  font-family:$bodyfont;
218
218
  mso-fareast-font-family:$bodyfont;
@@ -227,7 +227,7 @@ p.FigureTitle
227
227
  margin-bottom:6.0pt;
228
228
  margin-left:0cm;
229
229
  text-align:center;
230
- line-height:12.0pt;
230
+ line-height:$normalfontsize;
231
231
  page-break-before:avoid;
232
232
  mso-pagination:widow-orphan;
233
233
  tab-stops:20.15pt;
@@ -246,7 +246,7 @@ p.SourceTitle
246
246
  margin-bottom:6.0pt;
247
247
  margin-left:0cm;
248
248
  text-align:center;
249
- line-height:12.0pt;
249
+ line-height:$normalfontsize;
250
250
  page-break-before:avoid;
251
251
  mso-pagination:widow-orphan;
252
252
  tab-stops:20.15pt;
@@ -265,7 +265,7 @@ p.AdmonitionTitle, p.RecommendationTitle
265
265
  margin-bottom:6.0pt;
266
266
  margin-left:0cm;
267
267
  text-align:center;
268
- line-height:12.0pt;
268
+ line-height:$normalfontsize;
269
269
  page-break-after:avoid;
270
270
  mso-pagination:widow-orphan;
271
271
  tab-stops:20.15pt;
@@ -281,11 +281,11 @@ p.TableTitle
281
281
  mso-style-parent:"";
282
282
  margin-top:0cm;
283
283
  margin-right:0cm;
284
- margin-bottom:12.0pt;
284
+ margin-bottom:$normalfontsize;
285
285
  margin-left:0cm;
286
286
  text-align:center;
287
287
  page-break-after:avoid;
288
- line-height:12.0pt;
288
+ line-height:$normalfontsize;
289
289
  mso-pagination:widow-orphan;
290
290
  tab-stops:20.15pt;
291
291
  font-size:9.0pt;
@@ -302,16 +302,15 @@ p.Note, div.Note, li.Note, p.TableFootnote, div.TableFootnote, li.TableFootnote
302
302
  mso-style-parent:"";
303
303
  margin-top:0cm;
304
304
  margin-right:0cm;
305
- margin-bottom:12.0pt;
305
+ margin-bottom:$normalfontsize;
306
306
  margin-left:0cm;
307
307
  text-align:justify;
308
- line-height:12.0pt;
308
+ line-height:$normalfontsize;
309
309
  mso-pagination:widow-orphan;
310
310
  tab-stops:20.15pt;
311
- font-size:10.0pt;
311
+ font-size:$smallerfontsize;
312
312
  mso-bidi-font-size:11.0pt;
313
313
  font-family:$bodyfont;
314
- font-size:10.0pt;
315
314
  mso-fareast-font-family:$bodyfont;
316
315
  mso-bidi-font-family:$bodyfont;
317
316
  mso-ansi-language:EN-GB;}
@@ -370,10 +369,10 @@ p.Definition, li.Definition, div.Definition
370
369
  mso-style-unhide:no;
371
370
  margin-top:0cm;
372
371
  margin-right:0cm;
373
- margin-bottom:12.0pt;
372
+ margin-bottom:$normalfontsize;
374
373
  margin-left:0cm;
375
374
  text-align:justify;
376
- line-height:12.0pt;
375
+ line-height:$normalfontsize;
377
376
  mso-pagination:widow-orphan;
378
377
  tab-stops:20.15pt;
379
378
  font-size:11.0pt;
@@ -460,7 +459,7 @@ p.Terms, li.Terms, div.Terms
460
459
  mso-style-next:Definition;
461
460
  margin:0cm;
462
461
  margin-bottom:.0001pt;
463
- line-height:12.0pt;
462
+ line-height:$normalfontsize;
464
463
  mso-pagination:widow-orphan;
465
464
  page-break-after:avoid;
466
465
  mso-hyphenate:none;
@@ -480,7 +479,7 @@ p.AltTerms, li.AltTerms, div.AltTerms
480
479
  mso-style-next:Definition;
481
480
  margin:0cm;
482
481
  margin-bottom:.0001pt;
483
- line-height:12.0pt;
482
+ line-height:$normalfontsize;
484
483
  mso-pagination:widow-orphan;
485
484
  page-break-after:avoid;
486
485
  mso-hyphenate:none;
@@ -498,7 +497,7 @@ p.DeprecatedTerms, li.DeprecatedTerms, div.DeprecatedTerms
498
497
  mso-style-next:Definition;
499
498
  margin:0cm;
500
499
  margin-bottom:.0001pt;
501
- line-height:12.0pt;
500
+ line-height:$normalfontsize;
502
501
  mso-pagination:widow-orphan;
503
502
  page-break-after:avoid;
504
503
  mso-hyphenate:none;
@@ -516,7 +515,7 @@ p.TermNum, li.TermNum, div.TermNum
516
515
  mso-style-next:"Term\(s\)";
517
516
  margin:0cm;
518
517
  margin-bottom:.0001pt;
519
- line-height:12.0pt;
518
+ line-height:$normalfontsize;
520
519
  mso-pagination:widow-orphan;
521
520
  page-break-after:avoid;
522
521
  tab-stops:20.15pt;
@@ -558,15 +557,15 @@ p.zzCopyright, li.zzCopyright
558
557
  mso-style-next:Normal;
559
558
  margin-top:0cm;
560
559
  margin-right:14.2pt;
561
- margin-bottom:12.0pt;
560
+ margin-bottom:$normalfontsize;
562
561
  margin-left:14.2pt;
563
562
  text-align:justify;
564
- line-height:12.0pt;
563
+ line-height:$normalfontsize;
565
564
  mso-pagination:widow-orphan;
566
565
  tab-stops:20.15pt 25.7pt 481.15pt;
567
566
  padding:0cm;
568
567
  mso-padding-alt:1.0pt 4.0pt 1.0pt 4.0pt;
569
- font-size:12pt;
568
+ font-size:$normalfontsize;
570
569
  font-family:$bodyfont;
571
570
  mso-fareast-font-family:$bodyfont;
572
571
  mso-bidi-font-family:$bodyfont;
@@ -644,10 +643,10 @@ p.Quote, li.Quote, div.Quote
644
643
  margin-bottom:0cm;
645
644
  margin-left:36.0pt;
646
645
  text-align:justify;
647
- line-height:12.0pt;
646
+ line-height:$normalfontsize;
648
647
  mso-pagination:widow-orphan;
649
648
  tab-stops:20.15pt;
650
- font-size:12pt;
649
+ font-size:$normalfontsize;
651
650
  font-family:$bodyfont;
652
651
  mso-fareast-font-family:$bodyfont;
653
652
  mso-bidi-font-family:$bodyfont;
@@ -659,10 +658,10 @@ p.QuoteAttribution
659
658
  margin-right:36.0pt;
660
659
  margin-bottom:0cm;
661
660
  margin-left:36.0pt;
662
- line-height:12.0pt;
661
+ line-height:$normalfontsize;
663
662
  mso-pagination:widow-orphan;
664
663
  tab-stops:20.15pt;
665
- font-size:12pt;
664
+ font-size:$normalfontsize;
666
665
  font-family:$bodyfont;
667
666
  mso-fareast-font-family:$bodyfont;
668
667
  mso-bidi-font-family:$bodyfont;
@@ -671,7 +670,7 @@ p.QuoteAttribution
671
670
  div.Admonition {
672
671
  mso-style-priority:99;
673
672
  mso-pagination:widow-orphan;
674
- padding:18.0pt 12.0pt 18.0pt 12.0pt;
673
+ padding:18.0pt $normalfontsize 18.0pt 12.0pt;
675
674
  margin-left:14.2pt;
676
675
  margin-right:14.2pt;
677
676
  border:none;
@@ -705,7 +704,7 @@ p.Admonition, li.Admonition
705
704
  {mso-style-priority:99;
706
705
  mso-pagination:widow-orphan;
707
706
  padding:0cm;
708
- padding:18.0pt 12.0pt 18.0pt 12.0pt;
707
+ padding:18.0pt $normalfontsize 18.0pt 12.0pt;
709
708
  border:none;
710
709
  mso-border-alt:solid .25pt;
711
710
  mso-padding-alt:7.0pt 4.0pt 7.0pt 4.0pt;
@@ -751,10 +750,10 @@ p.Formula, li.Formula, div.Formula
751
750
  margin-right:0cm;
752
751
  margin-bottom:11.0pt;
753
752
  margin-left:20.15pt;
754
- line-height:12.0pt;
753
+ line-height:$normalfontsize;
755
754
  mso-pagination:widow-orphan;
756
755
  tab-stops:right 487.45pt;
757
- font-size:12pt;
756
+ font-size:$normalfontsize;
758
757
  font-family:$bodyfont;
759
758
  mso-fareast-font-family:$bodyfont;
760
759
  mso-bidi-font-family:$bodyfont;
@@ -886,7 +885,7 @@ table.MsoISOTable, table.MsoISOTableBig
886
885
  mso-yfti-tbllook:480;
887
886
  mso-border-insideh:.75pt solid windowtext;
888
887
  mso-border-insidev:.75pt solid windowtext;
889
- font-size:10.0pt;
888
+ font-size:$smallerfontsize;
890
889
  font-family:$bodyfont;}
891
890
  table.MsoISOTable th, table.MsoISOTableBig th
892
891
  {border:solid windowtext 1pt;
@@ -901,7 +900,7 @@ table.MsoISOTable td, table.MsoISOTableBig td
901
900
  mso-border-alt:solid windowtext 1pt;
902
901
  padding:0cm 2.85pt 0cm 2.85pt;}
903
902
  table.MsoISOTable p, table.MsoISOTableBig p
904
- {font-size:10.0pt; }
903
+ {font-size:$smallerfontsize; }
905
904
  table.MsoTableGrid
906
905
  {mso-style-name:"Table Grid";
907
906
  mso-tstyle-rowband-size:0;
@@ -916,7 +915,7 @@ table.MsoTableGrid
916
915
  mso-para-margin:0cm;
917
916
  mso-para-margin-bottom:.0001pt;
918
917
  mso-pagination:widow-orphan;
919
- font-size:10.0pt;
918
+ font-size:$smallerfontsize;
920
919
  font-family:$bodyfont;}
921
920
  div.formula
922
921
  {tab-stops:right 487.45pt;}
@@ -932,7 +931,7 @@ dl.glossary dt {
932
931
  font-weight:bold;}
933
932
  .coverpage_techcommittee
934
933
  {text-align:center;
935
- font-size:12.0pt}
934
+ font-size:$normalfontsize}
936
935
  .coverpage_docstage
937
936
  {text-align:center;
938
937
  font-size:30.0pt;
@@ -955,7 +954,7 @@ div.coverpage_warning
955
954
  vertical-align:super;}
956
955
 
957
956
  aside {
958
- font-size:10.0pt;
957
+ font-size:$footnotefontsize;
959
958
  }
960
959
 
961
960
  .example-title {
@@ -977,24 +976,24 @@ div.example {
977
976
 
978
977
  p.example, li.example, div.example, td.example {
979
978
  mso-pagination:none;
980
- font-size:10.0pt;
979
+ font-size:$smallerfontsize;
981
980
  font-family:$bodyfont;}
982
981
 
983
982
  td.example p.MsoListParagraph {
984
- font-size: 10.0pt;
983
+ font-size: $smallerfontsize;
985
984
  }
986
985
 
987
986
  div.example p.MsoListParagraph {
988
- font-size: 10.0pt;
987
+ font-size: $smallerfontsize;
989
988
  }
990
989
 
991
990
  div.Note p.MsoListParagraph {
992
- font-size: 10.0pt;
991
+ font-size: $smallerfontsize;
993
992
  margin-left: 1.0cm;
994
993
  }
995
994
 
996
995
  div.Note span.stem {
997
- font-size: 10.0pt; }
996
+ font-size: $smallerfontsize; }
998
997
 
999
998
  div.Note p.Sourcecode, div.Note pre.Sourcecode {
1000
999
  font-size: 8.0pt;
@@ -1002,13 +1001,13 @@ div.Note p.Sourcecode, div.Note pre.Sourcecode {
1002
1001
  }
1003
1002
 
1004
1003
  div.Note table.dl {
1005
- font-size: 10.0pt;
1004
+ font-size: $smallerfontsize;
1006
1005
  margin-left: 1.0cm;
1007
1006
  }
1008
1007
 
1009
1008
  span.note_label, span.example_label, td.example_label, td.note_label
1010
1009
  {
1011
- font-size: 10.0pt;
1010
+ font-size: $smallerfontsize;
1012
1011
  font-family:$bodyfont;
1013
1012
  }
1014
1013