metanorma-m3aawg 2.2.0 → 2.2.2

Sign up to get free protection for your applications and to get access to all the features.
checksums.yaml CHANGED
@@ -1,7 +1,7 @@
1
1
  ---
2
2
  SHA256:
3
- metadata.gz: 9bbe3ba796d0f3cb67f184ab340e52e327f57454c8d8ef0a8e3c2fb5623fc7c7
4
- data.tar.gz: f2e9ea52c5b11df61566ffef5b7f471f2242b2d62cf41d4e320f88622c418a4b
3
+ metadata.gz: 9518c9b0243d2af6756c53c9e8c7ca134f47a27e8c1a7f3853e64afe5356c683
4
+ data.tar.gz: 2ed5fda8227b7437f18bf8e2c3d3e79a78d1d1991e011498fdd3f5c79ced59c7
5
5
  SHA512:
6
- metadata.gz: 357c70892ae3ab54feeb368a82d37ce01502c90c8f4e08a105393b7efeced050d3a7f8f5aeddea3f3aa86e6f4c4e0e4275b1e858c1d2e72dd13c21804fa1ebe6
7
- data.tar.gz: 51bcdfaea499366a0add9dd057b9dc71106db7128a3f8a879e01691bc3624830881dab925f5e627f4d1e2f7635f3036d2fd7f6b8660a677c4c7f2208de558578
6
+ metadata.gz: 6918e142b7feb406bb74ce70ecb8c1b44ebc4cba50db0294e996f60abc75d671044acc10242ca73b455fba4fc3a2bbc5f71a67c19814094d014a26c35f820aa6
7
+ data.tar.gz: 93b117b5c02bed144d6cbf4a014525c3dfa946f4e6aef6288d251554d85fe534dbef17c75083dfde1d3d8d960a3aa558625166623737efb08a2d37a2314822f9
@@ -138,6 +138,35 @@ a.FootnoteRef + a.FootnoteRef:before {
138
138
  color: red;
139
139
  text-decoration: line-through; }
140
140
 
141
+ /* code highlighting with line numbers */
142
+ table.rouge-line-table td.rouge-gutter {
143
+ -moz-user-select: none;
144
+ -ms-user-select: none;
145
+ -webkit-user-select: none;
146
+ user-select: none;
147
+ padding-right: 1em; }
148
+
149
+ table.rouge-line-table td.rouge-code {
150
+ -moz-user-select: all;
151
+ -ms-user-select: all;
152
+ -webkit-user-select: all;
153
+ user-select: all; }
154
+
155
+ table.rouge-line-table,
156
+ table.rouge-line-table th,
157
+ table.rouge-line-table td {
158
+ width: auto;
159
+ border: none;
160
+ margin: 0;
161
+ padding: 0;
162
+ font-size: 100%; }
163
+
164
+ table.rouge-line-table pre {
165
+ margin: 0;
166
+ padding: 0;
167
+ overflow-x: visible;
168
+ font-size: 100%; }
169
+
141
170
  #standard-band {
142
171
  background-color: #0AC442; }
143
172
 
@@ -655,8 +684,11 @@ a:hover {
655
684
  background: #69C5DC;
656
685
  box-shadow: 3px 0 0 #69C5DC, -3px 0 0 #69C5DC; }
657
686
 
658
- ::selection,
659
- ::-moz-selection {
687
+ *::selection {
688
+ background: #69C5DC;
689
+ color: white; }
690
+
691
+ *::-moz-selection {
660
692
  background: #69C5DC;
661
693
  color: white; }
662
694
 
@@ -797,7 +829,7 @@ table {
797
829
  table th, table td {
798
830
  padding: 1em; }
799
831
  table td.header {
800
- font-weigth: 400; }
832
+ font-weight: 400; }
801
833
  table th,
802
834
  table td {
803
835
  border: none !important;