metanorma-iho 1.2.3 → 1.2.5

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.
checksums.yaml CHANGED
@@ -1,7 +1,7 @@
1
1
  ---
2
2
  SHA256:
3
- metadata.gz: f534b702d06681bb74134be4cdfe8697d59fba10855b894821d8fc05385619b0
4
- data.tar.gz: 64d0ec45eff2384ce928c31a9db5d184b18a0db98b03862eb228fa8fdf1d8683
3
+ metadata.gz: ed0af5445fa8d0826c1c8c156f4eb603a2e11fff5bc71ef3bf6ac130dc7472f3
4
+ data.tar.gz: 268b61813284b9985b669796434316c3e57a16d9068a63d913e573444e820625
5
5
  SHA512:
6
- metadata.gz: 8089334d951cb6608e270c2c9920b6d5b1d2d413469da852d428ca2d1f2e7d06cc4ca0d87ddfc9331ffc6fc1eab3ee4f29640c3a4efb43eb0ce470367e4a9963
7
- data.tar.gz: 786458cb370e281b7bbf39117c0d0424775e816e0f0bb610a1d93362b04970c3f8d90d1654bbacc7f3bc445ac2af80b64a9e37e549a8539b13dcf422728b71dd
6
+ metadata.gz: 720175f5376a0a7f5e88848cd4a2a0a78d9deeedea4047ea9af299a8a3ed0ed6233f61a7779316fa477e0875f2c28683c519ff645c298742e8fca5f5b2886dde
7
+ data.tar.gz: 730413f283d2a11f5fd48565584f0d8cd05218af158ed629230ac8a8e520ffa1aefa4a70082dd97a4d313ef223d33e8116f167d6b78b0e54664221e1b554b9e8
@@ -145,16 +145,6 @@ div.document-stage-band, div.document-type-band {
145
145
  background-color: #333333;
146
146
  }
147
147
 
148
- a.FootnoteRef + a.FootnoteRef::before {
149
- content: ", ";
150
- vertical-align: super;
151
- }
152
-
153
- a.TableFootnoteRef + a.TableFootnoteRef::before {
154
- content: ", ";
155
- vertical-align: super;
156
- }
157
-
158
148
  a.TableFootnoteRef, span.TableFootnoteRef,
159
149
  a.FootnoteRef, span.FootnoteRef {
160
150
  vertical-align: super;
@@ -483,10 +473,6 @@ main {
483
473
  margin: 0 3em 0 6em;
484
474
  }
485
475
 
486
- #toc, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) {
487
- font-family: {{bodyfont}};
488
- font-weight: 400;
489
- }
490
476
  #toc ul, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) ul {
491
477
  margin: 0;
492
478
  padding: 0;
@@ -538,6 +524,10 @@ main {
538
524
  color: black;
539
525
  }
540
526
  }
527
+ #toc, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) {
528
+ font-family: {{bodyfont}};
529
+ font-weight: 400;
530
+ }
541
531
  @media screen and (max-width: 768px) {
542
532
  #toc, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) {
543
533
  padding: 0 1.5em;
@@ -632,7 +622,6 @@ main {
632
622
  cursor: pointer;
633
623
  padding: 10px 15px 10px 15px;
634
624
  border-radius: 4px;
635
- text-transform: uppercase;
636
625
  }
637
626
  #myBtn:hover {
638
627
  opacity: 1;
@@ -642,6 +631,9 @@ main {
642
631
  display: none;
643
632
  }
644
633
  }
634
+ #myBtn {
635
+ text-transform: uppercase;
636
+ }
645
637
  #myBtn a.anchorjs-link:hover {
646
638
  background: none;
647
639
  color: #05164d;
@@ -666,12 +658,6 @@ main {
666
658
  margin: 0;
667
659
  }
668
660
  }
669
- div.figure {
670
- line-height: 1.6em;
671
- padding: 1.5em;
672
- margin: 2em 0 1em 0;
673
- overflow: auto;
674
- }
675
661
  div.figure .FigureTitle, div.figure .figure-title {
676
662
  font-weight: 700;
677
663
  font-size: 1em;
@@ -684,6 +670,12 @@ div.figure > img, div.figure > svg {
684
670
  max-width: 100%;
685
671
  height: auto;
686
672
  }
673
+ div.figure {
674
+ line-height: 1.6em;
675
+ padding: 1.5em;
676
+ margin: 2em 0 1em 0;
677
+ overflow: auto;
678
+ }
687
679
 
688
680
  table div.figure {
689
681
  padding: 0;
@@ -1030,6 +1022,13 @@ p.NormRef {
1030
1022
  /*
1031
1023
  3.6 Source Code + figures
1032
1024
  */
1025
+ .figure .SourceTitle,
1026
+ pre .SourceTitle,
1027
+ .pseudocode .SourceTitle {
1028
+ font-weight: 700;
1029
+ font-size: 1em;
1030
+ text-align: center;
1031
+ }
1033
1032
  .figure,
1034
1033
  pre,
1035
1034
  .pseudocode {
@@ -1040,13 +1039,6 @@ pre,
1040
1039
  margin: 2em 0 1em 0;
1041
1040
  overflow: auto;
1042
1041
  }
1043
- .figure .SourceTitle,
1044
- pre .SourceTitle,
1045
- .pseudocode .SourceTitle {
1046
- font-weight: 700;
1047
- font-size: 1em;
1048
- text-align: center;
1049
- }
1050
1042
 
1051
1043
  pre {
1052
1044
  font-family: {{monospacefont}};
@@ -1110,12 +1102,14 @@ pre {
1110
1102
  padding: 1.2em;
1111
1103
  margin: 2em 0 1em 0;
1112
1104
  text-align: left;
1113
- color: #424242;
1114
- padding-left: 2.7em;
1115
1105
  }
1116
1106
  .example p {
1117
1107
  margin: 0;
1118
1108
  }
1109
+ .example {
1110
+ color: #424242;
1111
+ padding-left: 2.7em;
1112
+ }
1119
1113
  .example .example-title {
1120
1114
  font-weight: 700;
1121
1115
  text-transform: uppercase;