metanorma-nist 1.2.7 → 1.2.8

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: cb6a46ab09b565bb49b1d6071a774b367e453438176f5bffb29a094df0535256
4
- data.tar.gz: 65711ba670c7b3874dc25e9aae6d9bae9617611a066d096dcdc5d91260cd435f
3
+ metadata.gz: 76b612ddae877500cbbc398c12a44867549fa1c987772eb781fc7aa33ac63e2b
4
+ data.tar.gz: d6def5426449912f9890f09834da5ed430c1fc04958b8c2850d59c5730b7cae7
5
5
  SHA512:
6
- metadata.gz: cebd778e6f74ca1f1a07cef424c467b509b6ef9ff206e2f9c0125e99ec4990d350c5327ed9f21b74edcd8702455801f7e9a5467968514fff4ff7e404341c5088
7
- data.tar.gz: 8b3a2f422fe2e0dbe75ac806d8095cd99d38c72ac8e95d852e0e188f2cdfa500b8218eb45cf5046ee2eb8cf1bcd02ac427829350d862afe5a1d615e4c057c8cb
6
+ metadata.gz: 5ce949e7353a14d240b75037b5a68736490a3fd2efe227af16d34ec0b7b1ecb82c689117bc743cc99f33f68a22824d40ed8126516d929de75e14767de2e78bd4
7
+ data.tar.gz: e077d67bfb18798c77dbd0573e0988771b0a6d273149950c7ba5f11a12f50c17a728c5d978eaee82f716696fcdbe9fd50b29015485f918913cda27059ec71fd9
@@ -36,7 +36,7 @@ jobs:
36
36
  with:
37
37
  ruby-version: ${{ matrix.ruby }}
38
38
 
39
- - uses: actions/cache@v1
39
+ - uses: actions/cache@v2
40
40
  with:
41
41
  path: vendor/bundle
42
42
  key: bundle-${{ matrix.os }}-${{ matrix.ruby }}-${{ hashFiles('**/*.gemspec') }}
@@ -48,15 +48,14 @@ jobs:
48
48
 
49
49
  - run: bundle exec rake
50
50
 
51
- notify:
52
- name: Trigger notify workflow
51
+ tests-passed:
53
52
  needs: rake
54
53
  runs-on: ubuntu-latest
55
54
  steps:
56
- - name: Trigger notify workflow
55
+ - name: Trigger tests passed event
57
56
  uses: Sibz/github-status-action@v1
58
57
  with:
59
- authToken: ${{ secrets.GITHUB_TOKEN }}
58
+ authToken: ${{ secrets.METANORMA_CI_PAT_TOKEN || secrets.GITHUB_TOKEN }}
60
59
  context: 'tests-passed-successfully'
61
60
  description: 'Tests passed successfully'
62
61
  state: 'success'
@@ -44,6 +44,7 @@ module Asciidoctor
44
44
  end
45
45
 
46
46
  def move_clauses_into_preface1(x, preface)
47
+ x.xpath("//acknowledgements[@preface]").each { |c| c.delete("preface") }
47
48
  x.xpath("//clause[@preface]").each do |c|
48
49
  c.delete("preface")
49
50
  title = c&.at("./title")&.text.downcase
@@ -151,6 +151,8 @@ module Asciidoctor
151
151
  "terms and definitions"
152
152
  when "introduction"
153
153
  "donotrecognise_introduction"
154
+ when "normative references"
155
+ "bibliography"
154
156
  else
155
157
  super
156
158
  end
@@ -43,6 +43,7 @@
43
43
  <choice>
44
44
  <ref name="clause"/>
45
45
  <ref name="errata_clause"/>
46
+ <ref name="acknowledgements"/>
46
47
  </choice>
47
48
  </zeroOrMore>
48
49
  <optional>
@@ -0,0 +1,4 @@
1
+ ---
2
+ Times New Roman:
3
+ Arial:
4
+ Courier New:
@@ -180,223 +180,6 @@ a.FootnoteRef + a.FootnoteRef:before {
180
180
  #withdrawn {
181
181
  border-bottom: solid 3px #7e0d13; }
182
182
 
183
- dl {
184
- grid-template-columns: 25% 75%; }
185
- dl.glossary dt {
186
- font-weight: bold; }
187
-
188
- body {
189
- margin-left: auto;
190
- margin-right: auto;
191
- max-width: 100%;
192
- font-size: 14px;
193
- font-weight: 400;
194
- line-height: 1.6em;
195
- color: #141115;
196
- background-color: #fff; }
197
- body main {
198
- margin: 0 3em 0 6em; }
199
-
200
- .rule {
201
- width: 100%;
202
- height: 1px;
203
- background-color: #2677ea;
204
- margin: 2em 0; }
205
-
206
- .rule-2 {
207
- width: 100%;
208
- height: 1px;
209
- background-color: #2677ea; }
210
-
211
- .rule-thick {
212
- width: 100%;
213
- height: 3px;
214
- background-color: #2677ea;
215
- margin: 3em 0 0 0; }
216
-
217
- #toc {
218
- font-family: 'Source Sans Pro', sans-serif; }
219
- #toc ul {
220
- margin: 0;
221
- padding: 0;
222
- list-style: none; }
223
- #toc ul li a {
224
- padding: 5px 10px; }
225
- #toc ul a {
226
- color: #141115;
227
- text-decoration: none;
228
- display: block; }
229
- #toc ul a:hover {
230
- box-shadow: none;
231
- color: white; }
232
- #toc .h2 {
233
- padding-left: 30px; }
234
- #toc .h3 {
235
- padding-left: 50px; }
236
- #toc .toc-active, #toc li:hover {
237
- background: #006494;
238
- box-shadow: inset -5px 0px 10px -5px #006494 !important; }
239
- #toc .toc-active a, #toc li:hover a {
240
- color: white; }
241
- @media print {
242
- #toc .toc-active, #toc li:hover {
243
- background: white;
244
- box-shadow: none !important; }
245
- #toc .toc-active a {
246
- color: #141115; }
247
- #toc li:hover a {
248
- color: black; } }
249
- #toc li a {
250
- font-size: 14px; }
251
- #toc li:before {
252
- content: " ";
253
- display: none; }
254
-
255
- @media screen and (min-width: 768px) {
256
- nav {
257
- position: fixed;
258
- top: 0;
259
- bottom: 0;
260
- left: 0;
261
- width: 323px;
262
- font-size: 0.9em;
263
- overflow: auto;
264
- padding: 0 0 0 45px;
265
- background-color: white; } }
266
-
267
- @media print {
268
- nav {
269
- position: relative;
270
- width: auto;
271
- font-size: 0.9em;
272
- overflow: auto;
273
- padding: 0;
274
- margin-right: 0;
275
- background-color: white; } }
276
-
277
- nav #toc {
278
- font-family: {{bodyfont}};
279
- font-weight: 400; }
280
- @media screen and (max-width: 768px) {
281
- nav #toc {
282
- padding: 0 1.5em;
283
- overflow: visible; } }
284
- @media screen and (min-width: 768px) {
285
- #toggle {
286
- position: fixed;
287
- height: 100%;
288
- width: 30px;
289
- background-color: #006494;
290
- color: white !important;
291
- cursor: pointer;
292
- z-index: 100; }
293
- #toggle span {
294
- text-align: center;
295
- width: 100%;
296
- position: absolute;
297
- top: 50%;
298
- transform: translate(0, -50%); } }
299
-
300
- @media screen and (max-width: 768px) {
301
- #toggle {
302
- display: none; } }
303
-
304
- @media print {
305
- #toggle {
306
- display: none; } }
307
-
308
- @media screen and (min-width: 768px) {
309
- .container {
310
- padding-left: 360px; } }
311
-
312
- @media print {
313
- .container {
314
- padding-left: 0; } }
315
-
316
- @media screen and (min-width: 768px) {
317
- .rule.toc {
318
- display: none; } }
319
-
320
- span.nistvariable {
321
- font-family: {{bodyfont}};
322
- font-style: italic; }
323
-
324
- /* Document bands */
325
- .document-stage-band {
326
- left: 0;
327
- top: 0;
328
- height: 100%;
329
- position: fixed;
330
- display: block;
331
- z-index: 101;
332
- box-shadow: -5px 0px 10px #1d1d1d; }
333
- .document-stage-band > :first-child {
334
- position: relative;
335
- width: 25px;
336
- font-family: 'Source Sans Pro', sans-serif;
337
- font-weight: 300;
338
- height: 160px;
339
- color: #7ba812;
340
- text-transform: uppercase;
341
- font-size: 0.9em;
342
- font-weight: 400;
343
- letter-spacing: 0.05em;
344
- margin: 0;
345
- margin-left: 6px;
346
- writing-mode: tb-rl;
347
- -webkit-transform: rotate(180deg);
348
- -moz-transform: rotate(180deg);
349
- -o-transform: rotate(180deg);
350
- white-space: nowrap;
351
- display: block;
352
- bottom: 0; }
353
- @media print {
354
- .document-stage-band {
355
- display: none; } }
356
- .document-type-band {
357
- left: 0;
358
- top: 180px;
359
- height: 100%;
360
- position: fixed;
361
- display: block;
362
- z-index: 102; }
363
- .document-type-band > :first-child {
364
- position: relative;
365
- width: 25px;
366
- font-family: 'Source Sans Pro', sans-serif;
367
- font-weight: 400;
368
- color: #7ba812;
369
- text-transform: uppercase;
370
- font-size: 0.9em;
371
- font-weight: 400;
372
- letter-spacing: 0.05em;
373
- margin: 0;
374
- margin-left: 6px;
375
- writing-mode: tb-rl;
376
- -webkit-transform: rotate(180deg);
377
- -moz-transform: rotate(180deg);
378
- -o-transform: rotate(180deg);
379
- white-space: nowrap;
380
- display: block;
381
- bottom: 0; }
382
- @media print {
383
- .document-type-band {
384
- display: none; } }
385
- .document-type-band .document-type {
386
- top: 20px; }
387
-
388
- #governance-band p.document-type {
389
- height: 230px !important; }
390
-
391
- #standard-band p {
392
- height: 270px !important; }
393
-
394
- #proposal-band p {
395
- height: 150px !important; }
396
-
397
- #standard, #final {
398
- color: #9ABD48; }
399
-
400
183
  .coverpage-maturity, .coverpage-stage {
401
184
  font-family: 'Source Sans Pro', sans-serif;
402
185
  font-weight: 400;
@@ -641,6 +424,223 @@ table.coverpage-table {
641
424
  .coverpage {
642
425
  height: 23cm; } }
643
426
 
427
+ dl {
428
+ grid-template-columns: 25% 75%; }
429
+ dl.glossary dt {
430
+ font-weight: bold; }
431
+
432
+ body {
433
+ margin-left: auto;
434
+ margin-right: auto;
435
+ max-width: 100%;
436
+ font-size: {{normalfontsize}};
437
+ font-weight: 400;
438
+ line-height: 1.6em;
439
+ color: #141115;
440
+ background-color: #fff; }
441
+ body main {
442
+ margin: 0 3em 0 6em; }
443
+
444
+ .rule {
445
+ width: 100%;
446
+ height: 1px;
447
+ background-color: #2677ea;
448
+ margin: 2em 0; }
449
+
450
+ .rule-2 {
451
+ width: 100%;
452
+ height: 1px;
453
+ background-color: #2677ea; }
454
+
455
+ .rule-thick {
456
+ width: 100%;
457
+ height: 3px;
458
+ background-color: #2677ea;
459
+ margin: 3em 0 0 0; }
460
+
461
+ #toc {
462
+ font-family: 'Source Sans Pro', sans-serif; }
463
+ #toc ul {
464
+ margin: 0;
465
+ padding: 0;
466
+ list-style: none; }
467
+ #toc ul li a {
468
+ padding: 5px 10px; }
469
+ #toc ul a {
470
+ color: #141115;
471
+ text-decoration: none;
472
+ display: block; }
473
+ #toc ul a:hover {
474
+ box-shadow: none;
475
+ color: white; }
476
+ #toc .h2 {
477
+ padding-left: 30px; }
478
+ #toc .h3 {
479
+ padding-left: 50px; }
480
+ #toc .toc-active, #toc li:hover {
481
+ background: #006494;
482
+ box-shadow: inset -5px 0px 10px -5px #006494 !important; }
483
+ #toc .toc-active a, #toc li:hover a {
484
+ color: white; }
485
+ @media print {
486
+ #toc .toc-active, #toc li:hover {
487
+ background: white;
488
+ box-shadow: none !important; }
489
+ #toc .toc-active a {
490
+ color: #141115; }
491
+ #toc li:hover a {
492
+ color: black; } }
493
+ #toc li a {
494
+ font-size: {{normalfontsize}}; }
495
+ #toc li:before {
496
+ content: " ";
497
+ display: none; }
498
+
499
+ @media screen and (min-width: 768px) {
500
+ nav {
501
+ position: fixed;
502
+ top: 0;
503
+ bottom: 0;
504
+ left: 0;
505
+ width: 323px;
506
+ font-size: 0.9em;
507
+ overflow: auto;
508
+ padding: 0 0 0 45px;
509
+ background-color: white; } }
510
+
511
+ @media print {
512
+ nav {
513
+ position: relative;
514
+ width: auto;
515
+ font-size: 0.9em;
516
+ overflow: auto;
517
+ padding: 0;
518
+ margin-right: 0;
519
+ background-color: white; } }
520
+
521
+ nav #toc {
522
+ font-family: {{bodyfont}};
523
+ font-weight: 400; }
524
+ @media screen and (max-width: 768px) {
525
+ nav #toc {
526
+ padding: 0 1.5em;
527
+ overflow: visible; } }
528
+ @media screen and (min-width: 768px) {
529
+ #toggle {
530
+ position: fixed;
531
+ height: 100%;
532
+ width: 30px;
533
+ background-color: #006494;
534
+ color: white !important;
535
+ cursor: pointer;
536
+ z-index: 100; }
537
+ #toggle span {
538
+ text-align: center;
539
+ width: 100%;
540
+ position: absolute;
541
+ top: 50%;
542
+ transform: translate(0, -50%); } }
543
+
544
+ @media screen and (max-width: 768px) {
545
+ #toggle {
546
+ display: none; } }
547
+
548
+ @media print {
549
+ #toggle {
550
+ display: none; } }
551
+
552
+ @media screen and (min-width: 768px) {
553
+ .container {
554
+ padding-left: 360px; } }
555
+
556
+ @media print {
557
+ .container {
558
+ padding-left: 0; } }
559
+
560
+ @media screen and (min-width: 768px) {
561
+ .rule.toc {
562
+ display: none; } }
563
+
564
+ span.nistvariable {
565
+ font-family: {{bodyfont}};
566
+ font-style: italic; }
567
+
568
+ /* Document bands */
569
+ .document-stage-band {
570
+ left: 0;
571
+ top: 0;
572
+ height: 100%;
573
+ position: fixed;
574
+ display: block;
575
+ z-index: 101;
576
+ box-shadow: -5px 0px 10px #1d1d1d; }
577
+ .document-stage-band > :first-child {
578
+ position: relative;
579
+ width: 25px;
580
+ font-family: 'Source Sans Pro', sans-serif;
581
+ font-weight: 300;
582
+ height: 160px;
583
+ color: #7ba812;
584
+ text-transform: uppercase;
585
+ font-size: 0.9em;
586
+ font-weight: 400;
587
+ letter-spacing: 0.05em;
588
+ margin: 0;
589
+ margin-left: 6px;
590
+ writing-mode: tb-rl;
591
+ -webkit-transform: rotate(180deg);
592
+ -moz-transform: rotate(180deg);
593
+ -o-transform: rotate(180deg);
594
+ white-space: nowrap;
595
+ display: block;
596
+ bottom: 0; }
597
+ @media print {
598
+ .document-stage-band {
599
+ display: none; } }
600
+ .document-type-band {
601
+ left: 0;
602
+ top: 180px;
603
+ height: 100%;
604
+ position: fixed;
605
+ display: block;
606
+ z-index: 102; }
607
+ .document-type-band > :first-child {
608
+ position: relative;
609
+ width: 25px;
610
+ font-family: 'Source Sans Pro', sans-serif;
611
+ font-weight: 400;
612
+ color: #7ba812;
613
+ text-transform: uppercase;
614
+ font-size: 0.9em;
615
+ font-weight: 400;
616
+ letter-spacing: 0.05em;
617
+ margin: 0;
618
+ margin-left: 6px;
619
+ writing-mode: tb-rl;
620
+ -webkit-transform: rotate(180deg);
621
+ -moz-transform: rotate(180deg);
622
+ -o-transform: rotate(180deg);
623
+ white-space: nowrap;
624
+ display: block;
625
+ bottom: 0; }
626
+ @media print {
627
+ .document-type-band {
628
+ display: none; } }
629
+ .document-type-band .document-type {
630
+ top: 20px; }
631
+
632
+ #governance-band p.document-type {
633
+ height: 230px !important; }
634
+
635
+ #standard-band p {
636
+ height: 270px !important; }
637
+
638
+ #proposal-band p {
639
+ height: 150px !important; }
640
+
641
+ #standard, #final {
642
+ color: #9ABD48; }
643
+
644
644
  .recommend {
645
645
  background-color: #ccffcc;
646
646
  padding: 1.2em;
@@ -739,7 +739,7 @@ p.Biblio, p.NormRef {
739
739
  overflow: auto;
740
740
  font-family: {{monospacefont}};
741
741
  font-variant-ligatures: none;
742
- font-size: 0.8em;
742
+ font-size: {{monospacefontsize}};
743
743
  background-color: #f6f6f6; }
744
744
  .figure .FigureTitle, .figure .figure-title {
745
745
  font-weight: 700;
@@ -761,7 +761,7 @@ pre {
761
761
  font-family: {{monospacefont}};
762
762
  font-variant-ligatures: none;
763
763
  background-color: #f6f6f6;
764
- font-size: 0.8em;
764
+ font-size: {{monospacefontsize}};
765
765
  line-height: 1.6em;
766
766
  padding: 1.5em;
767
767
  margin: 2em 0 1em 0;
@@ -770,7 +770,7 @@ pre {
770
770
 
771
771
  .pseudocode {
772
772
  background-color: #f6f6f6;
773
- font-size: 0.8em;
773
+ font-size: {{monospacefontsize}};
774
774
  line-height: 1.6em;
775
775
  padding: 1.5em;
776
776
  margin: 2em 0 1em 0;
@@ -879,7 +879,7 @@ a.footnote-number {
879
879
  font-size: 0.8em; }
880
880
 
881
881
  .footnote {
882
- font-size: 0.9em; }
882
+ font-size: {{footnotefontsize}}; }
883
883
 
884
884
  /* Keywords */
885
885
  span.keyword {