metanorma-cc 2.4.7 → 2.4.8

Sign up to get free protection for your applications and to get access to all the features.
@@ -1,3 +1,4 @@
1
+ @charset "UTF-8";
1
2
  html, body, div, span, applet, object, iframe,
2
3
  h1, h2, h3, h4, h5, h6, p, blockquote, pre,
3
4
  a, abbr, acronym, address, big, cite, code,
@@ -169,6 +170,58 @@ table.rouge-line-table pre {
169
170
  overflow-x: visible;
170
171
  font-size: 100%; }
171
172
 
173
+ /* header § links */
174
+ a.header {
175
+ color: inherit;
176
+ text-decoration: none; }
177
+
178
+ a.header:hover {
179
+ color: #a53221 !important;
180
+ background: inherit;
181
+ box-shadow: none; }
182
+
183
+ a.header:visited {
184
+ color: inherit;
185
+ text-decoration: none; }
186
+
187
+ a.anchor {
188
+ position: absolute;
189
+ z-index: 1001;
190
+ width: 1.5ex;
191
+ margin-left: -1.5ex;
192
+ display: block;
193
+ text-decoration: none !important;
194
+ visibility: hidden;
195
+ text-align: center;
196
+ font-weight: 400; }
197
+
198
+ a.anchor::before {
199
+ content: "\00A7";
200
+ font-size: .85em;
201
+ display: block;
202
+ padding-top: .1em; }
203
+
204
+ a.anchor:hover {
205
+ color: #a53221;
206
+ background: inherit;
207
+ box-shadow: none; }
208
+
209
+ h1 > a.anchor:hover,
210
+ h2 > a.anchor:hover,
211
+ h3 > a.anchor:hover,
212
+ h4 > a.anchor:hover,
213
+ h5 > a.anchor:hover,
214
+ h6 > a.anchor:hover,
215
+ .inline-header > a.anchor:hover,
216
+ h1:hover > a.anchor,
217
+ h2:hover > a.anchor,
218
+ h3:hover > a.anchor,
219
+ h4:hover > a.anchor,
220
+ h5:hover > a.anchor,
221
+ h6:hover > a.anchor,
222
+ .inline-header:hover > a.anchor {
223
+ visibility: visible; }
224
+
172
225
  #standard-band {
173
226
  background-color: #0AC442; }
174
227
 
@@ -1,3 +1,4 @@
1
+ @charset "UTF-8";
1
2
  html, body, div, span, applet, object, iframe,
2
3
  h1, h2, h3, h4, h5, h6, p, blockquote, pre,
3
4
  a, abbr, acronym, address, big, cite, code,
@@ -169,6 +170,58 @@ table.rouge-line-table pre {
169
170
  overflow-x: visible;
170
171
  font-size: 100%; }
171
172
 
173
+ /* header § links */
174
+ a.header {
175
+ color: inherit;
176
+ text-decoration: none; }
177
+
178
+ a.header:hover {
179
+ color: #a53221 !important;
180
+ background: inherit;
181
+ box-shadow: none; }
182
+
183
+ a.header:visited {
184
+ color: inherit;
185
+ text-decoration: none; }
186
+
187
+ a.anchor {
188
+ position: absolute;
189
+ z-index: 1001;
190
+ width: 1.5ex;
191
+ margin-left: -1.5ex;
192
+ display: block;
193
+ text-decoration: none !important;
194
+ visibility: hidden;
195
+ text-align: center;
196
+ font-weight: 400; }
197
+
198
+ a.anchor::before {
199
+ content: "\00A7";
200
+ font-size: .85em;
201
+ display: block;
202
+ padding-top: .1em; }
203
+
204
+ a.anchor:hover {
205
+ color: #a53221;
206
+ background: inherit;
207
+ box-shadow: none; }
208
+
209
+ h1 > a.anchor:hover,
210
+ h2 > a.anchor:hover,
211
+ h3 > a.anchor:hover,
212
+ h4 > a.anchor:hover,
213
+ h5 > a.anchor:hover,
214
+ h6 > a.anchor:hover,
215
+ .inline-header > a.anchor:hover,
216
+ h1:hover > a.anchor,
217
+ h2:hover > a.anchor,
218
+ h3:hover > a.anchor,
219
+ h4:hover > a.anchor,
220
+ h5:hover > a.anchor,
221
+ h6:hover > a.anchor,
222
+ .inline-header:hover > a.anchor {
223
+ visibility: visible; }
224
+
172
225
  #standard-band {
173
226
  background-color: #0AC442; }
174
227
 
@@ -442,6 +495,58 @@ table.rouge-line-table pre {
442
495
  overflow-x: visible;
443
496
  font-size: 100%; }
444
497
 
498
+ /* header § links */
499
+ a.header {
500
+ color: inherit;
501
+ text-decoration: none; }
502
+
503
+ a.header:hover {
504
+ color: #a53221 !important;
505
+ background: inherit;
506
+ box-shadow: none; }
507
+
508
+ a.header:visited {
509
+ color: inherit;
510
+ text-decoration: none; }
511
+
512
+ a.anchor {
513
+ position: absolute;
514
+ z-index: 1001;
515
+ width: 1.5ex;
516
+ margin-left: -1.5ex;
517
+ display: block;
518
+ text-decoration: none !important;
519
+ visibility: hidden;
520
+ text-align: center;
521
+ font-weight: 400; }
522
+
523
+ a.anchor::before {
524
+ content: "\00A7";
525
+ font-size: .85em;
526
+ display: block;
527
+ padding-top: .1em; }
528
+
529
+ a.anchor:hover {
530
+ color: #a53221;
531
+ background: inherit;
532
+ box-shadow: none; }
533
+
534
+ h1 > a.anchor:hover,
535
+ h2 > a.anchor:hover,
536
+ h3 > a.anchor:hover,
537
+ h4 > a.anchor:hover,
538
+ h5 > a.anchor:hover,
539
+ h6 > a.anchor:hover,
540
+ .inline-header > a.anchor:hover,
541
+ h1:hover > a.anchor,
542
+ h2:hover > a.anchor,
543
+ h3:hover > a.anchor,
544
+ h4:hover > a.anchor,
545
+ h5:hover > a.anchor,
546
+ h6:hover > a.anchor,
547
+ .inline-header:hover > a.anchor {
548
+ visibility: visible; }
549
+
445
550
  #standard-band {
446
551
  background-color: #0AC442; }
447
552