metanorma-un 0.10.0 → 0.10.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: c1f88faecab823265a04683e0cb537559854d1305ff1131b1406f5485f8f84cc
4
- data.tar.gz: f3296a9d4c51493ac3fdf9272c98fabafc090c7722aa31044ef80d90d98107f1
3
+ metadata.gz: 5bf468cba8a3337fef7dde1c10540150adb9df6e0dc7b2d3a09ae8c6949cd257
4
+ data.tar.gz: aa1015d7812c6519258ce72d52a9ea39296f5f265e5aa3a522f44f6b1c44cf98
5
5
  SHA512:
6
- metadata.gz: 8acc09d4a9cec681e329578ab3262956ade90bcadd9718be93fa4dfdd3a952d2c509a9655f743419572256edee2372be511fd7eef20c096f9d6dc8aeaf8c1fec
7
- data.tar.gz: 7028049467e75c46e9aa2e3b17b625f06c440f13f5a3319596b3ba98d7a429d27e7516559c332d73f4052f98a3deede370860b2e98efab1a22069cbff661d436
6
+ metadata.gz: de873712b53505b22a4c3b5ab370ae34349debb2face1a555315dd1dbea0f10eb5ab6fe2f781b49a042251053ce374b65832cb9c9a0d06cdfcfad16269cb77b7
7
+ data.tar.gz: 445278fb7efd96b0fe58ed8cd0c5a3d4c3eb9090317416e0270cd78492610e3d260dc7d674a2ab4bbdef7aab944f6a05e3cfd9dc698469efe48b948c331b8420
@@ -131,6 +131,35 @@ a.FootnoteRef + a.FootnoteRef:before {
131
131
  color: red;
132
132
  text-decoration: line-through; }
133
133
 
134
+ /* code highlighting with line numbers */
135
+ table.rouge-line-table td.rouge-gutter {
136
+ -moz-user-select: none;
137
+ -ms-user-select: none;
138
+ -webkit-user-select: none;
139
+ user-select: none;
140
+ padding-right: 1em; }
141
+
142
+ table.rouge-line-table td.rouge-code {
143
+ -moz-user-select: all;
144
+ -ms-user-select: all;
145
+ -webkit-user-select: all;
146
+ user-select: all; }
147
+
148
+ table.rouge-line-table,
149
+ table.rouge-line-table th,
150
+ table.rouge-line-table td {
151
+ width: auto;
152
+ border: none;
153
+ margin: 0;
154
+ padding: 0;
155
+ font-size: 100%; }
156
+
157
+ table.rouge-line-table pre {
158
+ margin: 0;
159
+ padding: 0;
160
+ overflow-x: visible;
161
+ font-size: 100%; }
162
+
134
163
  #standard-band {
135
164
  background-color: #0AC442; }
136
165
 
@@ -681,8 +710,11 @@ a:hover {
681
710
  background: #00ADEF;
682
711
  box-shadow: 3px 0 0 #00ADEF, -3px 0 0 #00ADEF; }
683
712
 
684
- ::selection,
685
- ::-moz-selection {
713
+ *::selection {
714
+ background: #00ADEF;
715
+ color: white; }
716
+
717
+ *::-moz-selection {
686
718
  background: #00ADEF;
687
719
  color: white; }
688
720
 
@@ -840,7 +872,7 @@ table {
840
872
  table th, table td {
841
873
  padding: 1em; }
842
874
  table td.header {
843
- font-weigth: 400; }
875
+ font-weight: 400; }
844
876
 
845
877
  p.TableTitle {
846
878
  text-align: center;