metanorma-ribose 2.7.2 → 2.7.4

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: 828c938e91fe7fcae5d27663b31d76ff96e9db5b4ea295c25004f5a0407fe5e3
4
- data.tar.gz: 8ca578e85bd6fbd5bc24aa2936c4e9e153ac5356ffd03512457e54648c6134ab
3
+ metadata.gz: 8c4cb0cfa512d21d60215aaddc28433aa82aca27b0b96c17284707e9115e4cff
4
+ data.tar.gz: b2ddf087d596cbbb85793e2f2bdd4c5529900dbfdd463662c509b32ca405092c
5
5
  SHA512:
6
- metadata.gz: 157776f1f2ba976594289d5b92d97622eb35b82c4cf36741e4bcd86ef93771d2e1a834998f2b3b2738de3e56bcf21dab23692bd271928ecdb4001ab8861258f8
7
- data.tar.gz: ad55e604bfee6dfb05ca0e68a77ead2f97f5a0c95f1a03c95ae176563b5009c8856e998c12759edc3ad21e502c51c3dcc5c3f574201e26b7c1861cdc6851dfd6
6
+ metadata.gz: ed16916f277c36593b6755ec6541b44041f0444126308bab2bce1f014a283a607a3ec378f709504eeb4d9776430562c29c4fe39cceb25180e09d933b4efb8015
7
+ data.tar.gz: e0840c816a8a940babff0100d620146fc371b1bf4a713324f304e070bb12b03af3bf927f867874bb5d4bb278c3690c28af75700f2f8d4c7700a52d1caa08084f
@@ -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: #485094;
@@ -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;
@@ -1028,6 +1020,13 @@ p.NormRef {
1028
1020
  /*
1029
1021
  3.6 Source Code + figures
1030
1022
  */
1023
+ .figure .SourceTitle,
1024
+ pre .SourceTitle,
1025
+ .pseudocode .SourceTitle {
1026
+ font-weight: 700;
1027
+ font-size: 1em;
1028
+ text-align: center;
1029
+ }
1031
1030
  .figure,
1032
1031
  pre,
1033
1032
  .pseudocode {
@@ -1038,13 +1037,6 @@ pre,
1038
1037
  margin: 2em 0 1em 0;
1039
1038
  overflow: auto;
1040
1039
  }
1041
- .figure .SourceTitle,
1042
- pre .SourceTitle,
1043
- .pseudocode .SourceTitle {
1044
- font-weight: 700;
1045
- font-size: 1em;
1046
- text-align: center;
1047
- }
1048
1040
 
1049
1041
  pre {
1050
1042
  font-family: {{monospacefont}};
@@ -1108,12 +1100,14 @@ pre {
1108
1100
  padding: 1.2em;
1109
1101
  margin: 2em 0 1em 0;
1110
1102
  text-align: left;
1111
- color: #424242;
1112
- padding-left: 2.7em;
1113
1103
  }
1114
1104
  .example p {
1115
1105
  margin: 0;
1116
1106
  }
1107
+ .example {
1108
+ color: #424242;
1109
+ padding-left: 2.7em;
1110
+ }
1117
1111
  .example .example-title {
1118
1112
  font-weight: 700;
1119
1113
  text-transform: uppercase;