metanorma-iso 3.1.3 → 3.1.5

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: e87a07547377853ebf58c7ad80918cea9458b956a834adffe87154844224e5a2
-  data.tar.gz: 450ad1d95db9916331fc55cd6b0f6c07013f9fc32ac0fdbb0c048ee89e73e311
+  metadata.gz: 714a368be85c8da9ffe28d8fa5897da7d8b0dff0939c7b108681cc5720241513
+  data.tar.gz: feb31751f9388342066e14b68dbd1589bddfe87fd6b7cf48100606f2b4c5e820
 SHA512:
-  metadata.gz: 48b1eef86a485b5221eddc1543c9962cab179e8a6f5f66f143270ec74b86ee5e936b1343cb2fa74e8ea20a544c6197c1569b47e66f557d9c01a05a33c6c0faf0
-  data.tar.gz: 3b433d71cc6f2edc412cd6038f0f33d217906f8e447ca1c4d13baed67ab33cad5d4d6e2dfd917f52e999c7a081704a1e60961b75807895311545f74544f73528
+  metadata.gz: eec64e6e178acbea0e0f391068c2cef244c22c4568490e5cf27c185497e132df5457e4bed8ffa03da71cd54fa66f55746ba83e5f67bb0ef38fd6e8b87129fbc9
+  data.tar.gz: e8effac1511a8364303574f1ec1a3ff70188c9f528700fa2c5e3fb59f35caf5e7be439e9742718b61546cc2d39a41533a6032786323603a6fcfd802dcaf463b9

data/lib/isodoc/iso/html/style-human.css

@@ -145,16 +145,6 @@ div.document-stage-band, div.document-type-band {
   background-color: #333333;
 }
 
-a.FootnoteRef + a.FootnoteRef::before {
-  content: ", ";
-  vertical-align: super;
-}
-
-a.TableFootnoteRef + a.TableFootnoteRef::before {
-  content: ", ";
-  vertical-align: super;
-}
-
 a.TableFootnoteRef, span.TableFootnoteRef,
 a.FootnoteRef, span.FootnoteRef {
   vertical-align: super;
@@ -717,10 +707,6 @@ p.Terms {
 }
 
 /* Navigation*/
-#toc, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) {
-  font-family: {{bodyfont}};
-  font-weight: 400;
-}
 #toc ul, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) ul {
   margin: 0;
   padding: 0;
@@ -768,6 +754,10 @@ p.Terms {
     color: black;
   }
 }
+#toc, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) {
+  font-family: {{bodyfont}};
+  font-weight: 400;
+}
 @media screen and (max-width: 768px) {
   #toc, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) {
     padding: 0 1.5em;
@@ -785,9 +775,6 @@ p.Terms {
   font-size: 100%;
 }
 
-nav {
-  line-height: 1.2em;
-}
 @media screen and (min-width: 768px) {
   nav {
     position: fixed;
@@ -812,11 +799,10 @@ nav {
     background-color: white;
   }
 }
-
-#toggle {
-  margin-left: -4em;
-  margin-top: -2em;
+nav {
+  line-height: 1.2em;
 }
+
 @media screen and (min-width: 768px) {
   #toggle {
     position: fixed;
@@ -845,6 +831,10 @@ nav {
     display: none;
   }
 }
+#toggle {
+  margin-left: -4em;
+  margin-top: -2em;
+}
 
 @media screen and (min-width: 768px) {
   .container {
@@ -875,17 +865,6 @@ nav {
     width: 100%;
   }
 }
-.figure,
-pre,
-.pseudocode {
-  background-color: #f7f7f7;
-  font-size: {{monospacefontsize}};
-  line-height: 1.6em;
-  padding: 1.5em;
-  margin: 2em 0 1em 0;
-  overflow: auto;
-  font-size: {{normalfontsize}};
-}
 .figure .SourceTitle,
 pre .SourceTitle,
 .pseudocode .SourceTitle {
@@ -893,13 +872,18 @@ pre .SourceTitle,
   font-size: 1em;
   text-align: center;
 }
-
-div.figure {
+.figure,
+pre,
+.pseudocode {
+  background-color: #f7f7f7;
+  font-size: {{monospacefontsize}};
   line-height: 1.6em;
   padding: 1.5em;
   margin: 2em 0 1em 0;
   overflow: auto;
+  font-size: {{normalfontsize}};
 }
+
 div.figure .FigureTitle, div.figure .figure-title {
   font-weight: 700;
   font-size: 1em;
@@ -912,6 +896,12 @@ div.figure > img, div.figure > svg {
   max-width: 100%;
   height: auto;
 }
+div.figure {
+  line-height: 1.6em;
+  padding: 1.5em;
+  margin: 2em 0 1em 0;
+  overflow: auto;
+}
 
 table div.figure {
   padding: 0;
@@ -1143,6 +1133,13 @@ p.NormRef {
 /*
 3.6 Source Code + figures
 */
+.figure .SourceTitle,
+pre .SourceTitle,
+.pseudocode .SourceTitle {
+  font-weight: 700;
+  font-size: 1em;
+  text-align: center;
+}
 .figure,
 pre,
 .pseudocode {
@@ -1154,13 +1151,6 @@ pre,
   overflow: auto;
   font-size: {{normalfontsize}};
 }
-.figure .SourceTitle,
-pre .SourceTitle,
-.pseudocode .SourceTitle {
-  font-weight: 700;
-  font-size: 1em;
-  text-align: center;
-}
 
 pre {
   font-family: {{monospacefont}};
@@ -1233,19 +1223,23 @@ pre {
   padding: 0.5em;
   margin: 2em 0 1em 0;
   text-align: left;
-  color: #424242;
-  padding-left: 2em;
-  color: black;
-  padding-left: 2em;
 }
 .example p {
   margin: 0;
 }
+.example {
+  color: #424242;
+  padding-left: 2em;
+}
 .example .example-title {
   font-weight: 700;
   text-transform: uppercase;
   margin-left: -1.5em;
 }
+.example {
+  color: black;
+  padding-left: 2em;
+}
 .example .example-title {
   margin-left: -1.5em;
 }

data/lib/isodoc/iso/html/style-iso.css

@@ -145,16 +145,6 @@ div.document-stage-band, div.document-type-band {
   background-color: #333333;
 }
 
-a.FootnoteRef + a.FootnoteRef::before {
-  content: ", ";
-  vertical-align: super;
-}
-
-a.TableFootnoteRef + a.TableFootnoteRef::before {
-  content: ", ";
-  vertical-align: super;
-}
-
 a.TableFootnoteRef, span.TableFootnoteRef,
 a.FootnoteRef, span.FootnoteRef {
   vertical-align: super;
@@ -660,10 +650,6 @@ p.Terms {
 }
 
 /* Navigation*/
-#toc, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) {
-  font-family: {{bodyfont}};
-  font-weight: 400;
-}
 #toc ul, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) ul {
   margin: 0;
   padding: 0;
@@ -711,6 +697,10 @@ p.Terms {
     color: black;
   }
 }
+#toc, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) {
+  font-family: {{bodyfont}};
+  font-weight: 400;
+}
 @media screen and (max-width: 768px) {
   #toc, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) {
     padding: 0 1.5em;
@@ -734,9 +724,6 @@ p.Terms {
   font-size: 100%;
 }
 
-nav {
-  line-height: 1.2em;
-}
 @media screen and (min-width: 768px) {
   nav {
     position: fixed;
@@ -761,12 +748,10 @@ nav {
     background-color: white;
   }
 }
-
-#toggle {
-  border-right: solid black 1px;
-  margin-left: -4em;
-  margin-top: -2em;
+nav {
+  line-height: 1.2em;
 }
+
 @media screen and (min-width: 768px) {
   #toggle {
     position: fixed;
@@ -795,6 +780,11 @@ nav {
     display: none;
   }
 }
+#toggle {
+  border-right: solid black 1px;
+  margin-left: -4em;
+  margin-top: -2em;
+}
 
 @media screen and (min-width: 768px) {
   .container {
@@ -824,17 +814,6 @@ nav {
     width: 100%;
   }
 }
-.figure,
-pre,
-.pseudocode {
-  background-color: #f7f7f7;
-  font-size: {{monospacefontsize}};
-  line-height: 1.6em;
-  padding: 1.5em;
-  margin: 2em 0 1em 0;
-  overflow: auto;
-  font-size: {{normalfontsize}};
-}
 .figure .SourceTitle,
 pre .SourceTitle,
 .pseudocode .SourceTitle {
@@ -842,13 +821,18 @@ pre .SourceTitle,
   font-size: 1em;
   text-align: center;
 }
-
-div.figure {
+.figure,
+pre,
+.pseudocode {
+  background-color: #f7f7f7;
+  font-size: {{monospacefontsize}};
   line-height: 1.6em;
   padding: 1.5em;
   margin: 2em 0 1em 0;
   overflow: auto;
+  font-size: {{normalfontsize}};
 }
+
 div.figure .FigureTitle, div.figure .figure-title {
   font-weight: 700;
   font-size: 1em;
@@ -861,6 +845,12 @@ div.figure > img, div.figure > svg {
   max-width: 100%;
   height: auto;
 }
+div.figure {
+  line-height: 1.6em;
+  padding: 1.5em;
+  margin: 2em 0 1em 0;
+  overflow: auto;
+}
 
 table div.figure {
   padding: 0;
@@ -1208,6 +1198,13 @@ p.Biblio, p.NormRef {
 /*
 3.6 Source Code + figures
 */
+.figure .SourceTitle,
+pre .SourceTitle,
+.pseudocode .SourceTitle {
+  font-weight: 700;
+  font-size: 1em;
+  text-align: center;
+}
 .figure,
 pre,
 .pseudocode {
@@ -1219,13 +1216,6 @@ pre,
   overflow: auto;
   font-size: {{normalfontsize}};
 }
-.figure .SourceTitle,
-pre .SourceTitle,
-.pseudocode .SourceTitle {
-  font-weight: 700;
-  font-size: 1em;
-  text-align: center;
-}
 
 pre {
   font-family: {{monospacefont}};
@@ -1299,19 +1289,23 @@ div.zzHelp {
   padding: 0.5em;
   margin: 2em 0 1em 0;
   text-align: left;
-  color: #424242;
-  padding-left: 2em;
-  color: black;
-  padding-left: 0.5em;
 }
 .example p {
   margin: 0;
 }
+.example {
+  color: #424242;
+  padding-left: 2em;
+}
 .example .example-title {
   font-weight: 700;
   text-transform: uppercase;
   margin-left: -1.5em;
 }
+.example {
+  color: black;
+  padding-left: 0.5em;
+}
 .example .example-title {
   margin-top: 0;
 }