lib/isodoc/nist/html/nist.scss in metanorma-nist-1.2.7 vs lib/isodoc/nist/html/nist.scss in metanorma-nist-1.2.8

- old
+ new

@@ -25,16 +25,16 @@ font-size:11.0pt; } div.authority6 p.h2Preface, div.authority6 p.h1Preface { font-weight: bold; - margin-bottom: 12pt; + margin-bottom: $normalfontsize; text-align: center; } div.authority6 p { - font-size: 12pt; + font-size: $normalfontsize; font-family:"Times New Roman",serif; margin:0cm; margin-bottom:.0001pt; mso-pagination:widow-orphan; mso-layout-grid-align:none; @@ -54,11 +54,11 @@ margin:0cm; margin-bottom:.0001pt; mso-pagination:widow-orphan; mso-layout-grid-align:none; text-autospace:none; - font-size:10.0pt; + font-size:$smallerfontsize; font-family:"Times New Roman",serif; mso-fareast-font-family:"Times New Roman"; mso-bidi-font-family:"Times New Roman"; mso-ansi-language:EN-US; mso-fareast-language:EN-US;} @@ -80,11 +80,11 @@ p.Affiliation, li.Affiliation, div.Affiliation {mso-style-name:Author; mso-style-unhide:no; mso-style-qformat:yes; margin:0cm; - margin-bottom:12.0pt; + margin-bottom:$normalfontsize; text-align:right; font-style:italic; mso-pagination:widow-orphan; mso-hyphenate:none; font-size:14.0pt; @@ -102,11 +102,11 @@ margin-bottom:.0001pt; text-align:right; line-height:90%; mso-pagination:widow-orphan; font-size:20.0pt; - mso-bidi-font-size:12.0pt; + mso-bidi-font-size:$normalfontsize; font-family:"Times New Roman",serif; mso-fareast-font-family:"Times New Roman"; mso-ansi-language:EN-US; mso-fareast-language:EN-US; font-weight:bold; @@ -126,11 +126,11 @@ border:none; mso-border-top-alt:thin-thick-small-gap windowtext 4.5pt; padding:0cm; mso-padding-alt:6.0pt 0cm 0cm 0cm; font-size:28.0pt; - mso-bidi-font-size:12.0pt; + mso-bidi-font-size:$normalfontsize; font-family:"Times New Roman",serif; mso-fareast-font-family:"Times New Roman"; color:black; mso-themecolor:text1; position:relative; @@ -155,11 +155,11 @@ text-align:right; mso-pagination:widow-orphan; mso-hyphenate:none; mso-layout-grid-align:auto; font-size:18.0pt; - mso-bidi-font-size:12.0pt; + mso-bidi-font-size:$normalfontsize; font-family:"Times New Roman",serif; mso-fareast-font-family:"Times New Roman"; color:black; mso-themecolor:text1; mso-ansi-language:EN-US; @@ -177,11 +177,11 @@ margin-bottom:6.0pt; margin-left:0cm; text-align:left; mso-pagination:widow-orphan; 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; - font-size:10.0pt; + font-size:$monospacefontsize; font-family:$monospacefont; mso-fareast-font-family:Calibri; mso-bidi-font-family:"Courier New"; mso-ansi-language:EN-GB;} p.pseudocode, li.pseudocode, div.pseudocode @@ -193,28 +193,28 @@ margin-bottom:6.0pt; margin-left:0cm; text-align:left; mso-pagination:widow-orphan; 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; - font-size:12.0pt; + font-size:$normalfontsize; font-family:$bodyfont; mso-fareast-font-family:Calibri; mso-bidi-font-family:"Courier New"; mso-ansi-language:EN-GB;} p.Biblio, li.Biblio, div.Biblio, p.NormRef, li.NormRef, div.NormRef {mso-style-unhide:no; mso-style-qformat:yes; mso-style-parent:""; margin-top:0cm; margin-right:0cm; - margin-bottom:12.0pt; + margin-bottom:$normalfontsize; margin-left:33.15pt; text-indent:-33.15pt; tab-stops: 33.15pt; - line-height:12.0pt; + line-height:$normalfontsize; mso-pagination:widow-orphan; - font-size:12pt; + font-size:$normalfontsize; font-weight:normal; font-family:$bodyfont; mso-fareast-font-family:$bodyfont; mso-bidi-font-family:$bodyfont; mso-ansi-language:EN-GB;} @@ -225,11 +225,11 @@ margin-top:0cm; margin-right:0cm; margin-bottom:6.0pt; margin-left:0cm; text-align:center; - line-height:12.0pt; + line-height:$normalfontsize; page-break-before:avoid; mso-pagination:widow-orphan; tab-stops:20.15pt; font-size:11.0pt; font-weight:bold; @@ -244,11 +244,11 @@ margin-top:0cm; margin-right:0cm; margin-bottom:6.0pt; margin-left:0cm; text-align:center; - line-height:12.0pt; + line-height:$normalfontsize; page-break-before:avoid; mso-pagination:widow-orphan; tab-stops:20.15pt; font-size:11.0pt; font-weight:bold; @@ -263,11 +263,11 @@ margin-top:0cm; margin-right:0cm; margin-bottom:6.0pt; margin-left:0cm; text-align:center; - line-height:12.0pt; + line-height:$normalfontsize; page-break-after:avoid; mso-pagination:widow-orphan; tab-stops:20.15pt; font-size:11.0pt; font-weight:bold; @@ -279,15 +279,15 @@ {mso-style-unhide:no; mso-style-qformat:yes; mso-style-parent:""; margin-top:0cm; margin-right:0cm; - margin-bottom:12.0pt; + margin-bottom:$normalfontsize; margin-left:0cm; text-align:center; page-break-after:avoid; - line-height:12.0pt; + line-height:$normalfontsize; mso-pagination:widow-orphan; tab-stops:20.15pt; font-size:9.0pt; font-family:$headerfont; mso-fareast-font-family:$headerfont; @@ -300,20 +300,19 @@ {mso-style-unhide:no; mso-style-qformat:yes; mso-style-parent:""; margin-top:0cm; margin-right:0cm; - margin-bottom:12.0pt; + margin-bottom:$normalfontsize; margin-left:0cm; text-align:justify; - line-height:12.0pt; + line-height:$normalfontsize; mso-pagination:widow-orphan; tab-stops:20.15pt; - font-size:10.0pt; + font-size:$smallerfontsize; mso-bidi-font-size:11.0pt; font-family:$bodyfont; - font-size:10.0pt; mso-fareast-font-family:$bodyfont; mso-bidi-font-family:$bodyfont; mso-ansi-language:EN-GB;} p.ANNEX, li.ANNEX, div.ANNEX {mso-style-name:ANNEX; @@ -368,14 +367,14 @@ {mso-style-name:Definition; mso-style-priority:9; mso-style-unhide:no; margin-top:0cm; margin-right:0cm; - margin-bottom:12.0pt; + margin-bottom:$normalfontsize; margin-left:0cm; text-align:justify; - line-height:12.0pt; + line-height:$normalfontsize; mso-pagination:widow-orphan; tab-stops:20.15pt; font-size:11.0pt; font-family:$bodyfont; mso-fareast-font-family:$bodyfont; @@ -458,11 +457,11 @@ mso-style-priority:8; mso-style-unhide:no; mso-style-next:Definition; margin:0cm; margin-bottom:.0001pt; - line-height:12.0pt; + line-height:$normalfontsize; mso-pagination:widow-orphan; page-break-after:avoid; mso-hyphenate:none; tab-stops:20.15pt; font-size:11.0pt; @@ -478,11 +477,11 @@ mso-style-priority:8; mso-style-unhide:no; mso-style-next:Definition; margin:0cm; margin-bottom:.0001pt; - line-height:12.0pt; + line-height:$normalfontsize; mso-pagination:widow-orphan; page-break-after:avoid; mso-hyphenate:none; tab-stops:20.15pt; font-size:11.0pt; @@ -496,11 +495,11 @@ mso-style-priority:8; mso-style-unhide:no; mso-style-next:Definition; margin:0cm; margin-bottom:.0001pt; - line-height:12.0pt; + line-height:$normalfontsize; mso-pagination:widow-orphan; page-break-after:avoid; mso-hyphenate:none; tab-stops:20.15pt; font-size:11.0pt; @@ -514,11 +513,11 @@ mso-style-priority:7; mso-style-unhide:no; mso-style-next:"Term\(s\)"; margin:0cm; margin-bottom:.0001pt; - line-height:12.0pt; + line-height:$normalfontsize; mso-pagination:widow-orphan; page-break-after:avoid; tab-stops:20.15pt; font-size:11.0pt; font-family:$headerfont; @@ -556,19 +555,19 @@ mso-style-noshow:yes; mso-style-unhide:no; mso-style-next:Normal; margin-top:0cm; margin-right:14.2pt; - margin-bottom:12.0pt; + margin-bottom:$normalfontsize; margin-left:14.2pt; text-align:justify; - line-height:12.0pt; + line-height:$normalfontsize; mso-pagination:widow-orphan; tab-stops:20.15pt 25.7pt 481.15pt; padding:0cm; mso-padding-alt:1.0pt 4.0pt 1.0pt 4.0pt; - font-size:12pt; + font-size:$normalfontsize; font-family:$bodyfont; mso-fareast-font-family:$bodyfont; mso-bidi-font-family:$bodyfont; mso-ansi-language:EN-GB;} div.zzCopyright @@ -642,14 +641,14 @@ margin-top:0cm; margin-right:36.0pt; margin-bottom:0cm; margin-left:36.0pt; text-align:justify; - line-height:12.0pt; + line-height:$normalfontsize; mso-pagination:widow-orphan; tab-stops:20.15pt; - font-size:12pt; + font-size:$normalfontsize; font-family:$bodyfont; mso-fareast-font-family:$bodyfont; mso-bidi-font-family:$bodyfont; mso-ansi-language:EN-GB;} p.QuoteAttribution @@ -657,23 +656,23 @@ mso-style-priority:99; margin-top:0cm; margin-right:36.0pt; margin-bottom:0cm; margin-left:36.0pt; - line-height:12.0pt; + line-height:$normalfontsize; mso-pagination:widow-orphan; tab-stops:20.15pt; - font-size:12pt; + font-size:$normalfontsize; font-family:$bodyfont; mso-fareast-font-family:$bodyfont; mso-bidi-font-family:$bodyfont; mso-ansi-language:EN-GB; } div.Admonition { mso-style-priority:99; mso-pagination:widow-orphan; - padding:18.0pt 12.0pt 18.0pt 12.0pt; + padding:18.0pt $normalfontsize 18.0pt 12.0pt; margin-left:14.2pt; margin-right:14.2pt; border:none; mso-element:para-border-div; border:solid windowtext 1.0pt; @@ -703,11 +702,11 @@ p.Admonition, li.Admonition {mso-style-priority:99; mso-pagination:widow-orphan; padding:0cm; - padding:18.0pt 12.0pt 18.0pt 12.0pt; + padding:18.0pt $normalfontsize 18.0pt 12.0pt; border:none; mso-border-alt:solid .25pt; mso-padding-alt:7.0pt 4.0pt 7.0pt 4.0pt; font-size:11.0pt; font-family:$headerfont; @@ -749,14 +748,14 @@ mso-style-unhide:no; margin-top:0cm; margin-right:0cm; margin-bottom:11.0pt; margin-left:20.15pt; - line-height:12.0pt; + line-height:$normalfontsize; mso-pagination:widow-orphan; tab-stops:right 487.45pt; - font-size:12pt; + font-size:$normalfontsize; font-family:$bodyfont; mso-fareast-font-family:$bodyfont; mso-bidi-font-family:$bodyfont; mso-ansi-language:EN-GB;} @page { @@ -884,11 +883,11 @@ border:solid windowtext 2pt; mso-border-alt:solid windowtext 2pt; mso-yfti-tbllook:480; mso-border-insideh:.75pt solid windowtext; mso-border-insidev:.75pt solid windowtext; - font-size:10.0pt; + font-size:$smallerfontsize; font-family:$bodyfont;} table.MsoISOTable th, table.MsoISOTableBig th {border:solid windowtext 1pt; background: black; color: white; @@ -899,11 +898,11 @@ table.MsoISOTable td, table.MsoISOTableBig td {border:solid windowtext 1pt; mso-border-alt:solid windowtext 1pt; padding:0cm 2.85pt 0cm 2.85pt;} table.MsoISOTable p, table.MsoISOTableBig p -{font-size:10.0pt; } +{font-size:$smallerfontsize; } table.MsoTableGrid {mso-style-name:"Table Grid"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-priority:39; @@ -914,11 +913,11 @@ mso-border-insideh:.5pt solid windowtext; mso-border-insidev:.5pt solid windowtext; mso-para-margin:0cm; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; - font-size:10.0pt; + font-size:$smallerfontsize; font-family:$bodyfont;} div.formula {tab-stops:right 487.45pt;} body {tab-interval:36.0pt;} @@ -930,11 +929,11 @@ {text-align:center; font-size:14.0pt; font-weight:bold;} .coverpage_techcommittee {text-align:center; - font-size:12.0pt} + font-size:$normalfontsize} .coverpage_docstage {text-align:center; font-size:30.0pt; color:#485094;} div.coverpage_warning @@ -953,11 +952,11 @@ {mso-style-priority:99; mso-style-parent:"Footnote Reference"; vertical-align:super;} aside { - font-size:10.0pt; + font-size:$footnotefontsize; } .example-title { font-weight: bold; margin-left: -36.0pt; @@ -975,41 +974,41 @@ margin-bottom: 0cm; } p.example, li.example, div.example, td.example { mso-pagination:none; - font-size:10.0pt; + font-size:$smallerfontsize; font-family:$bodyfont;} td.example p.MsoListParagraph { - font-size: 10.0pt; + font-size: $smallerfontsize; } div.example p.MsoListParagraph { - font-size: 10.0pt; + font-size: $smallerfontsize; } div.Note p.MsoListParagraph { - font-size: 10.0pt; + font-size: $smallerfontsize; margin-left: 1.0cm; } div.Note span.stem { - font-size: 10.0pt; } + font-size: $smallerfontsize; } div.Note p.Sourcecode, div.Note pre.Sourcecode { font-size: 8.0pt; margin-left: 1.0cm; } div.Note table.dl { - font-size: 10.0pt; + font-size: $smallerfontsize; margin-left: 1.0cm; } span.note_label, span.example_label, td.example_label, td.note_label { -font-size: 10.0pt; +font-size: $smallerfontsize; font-family:$bodyfont; } table.dl {margin-top:0cm;