metanorma-iec 1.0.0 → 1.0.1

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: bc93e8e07d5be4e94b78dbb0fbca3ce2d1950154566e5fa4726ebfdbdcdee9c9
4
- data.tar.gz: 4b25cebefe0d6a9890b5e3bee62f0bc2493fef0d874a08b8b22fee5bac5318bd
3
+ metadata.gz: '0478aec1aa1acf4dbf00c1992325723e57ebe14121769810ef6a230b2dfbf7a9'
4
+ data.tar.gz: 3d63928086246375072c6039e814e6b3c2344fbbdf84fc5ba0725b9ee3389548
5
5
  SHA512:
6
- metadata.gz: 2e3cfceb34bd1079babd73f1ee5748c3efa5eb7bf8ea41cbcb58532c447b30424284ec7c70750c3d3837b3452f8d2330f6c53742c3cea39222fabc3bedcfbd87
7
- data.tar.gz: 38d31f9043008880da563b634031dcac86a045ba6247863eebf2cc934a780703d12b84a74bcf64d8b57862c6e7bdf9179b9cea07bedffcb262b28cb24872e3fc
6
+ metadata.gz: 6374795004440b778feaf50fc4f0ddb6fe515e673428ce4c743d81aed019ad311b97cc038a7038318e9d92a881454e058df17c19c54cc9f01131fe44ff188b3b
7
+ data.tar.gz: '098debb725126f728718996db03b5adad76e2a13badd47808f9f51f602a2f2724fe7acad96f2b45c00820c00a4656b2ee2b0daedf22d0758b74578e5fe132f8b'
@@ -46,16 +46,23 @@ module Asciidoctor
46
46
  part, subpart = node&.attr("partnumber")&.split(/-/)
47
47
  dn = add_id_parts(node.attr("docnumber"), part, subpart)
48
48
  dn = id_stage_prefix(dn, node)
49
+ dn = id_edition_suffix(dn, node)
49
50
  xml.docidentifier dn, **attr_code(type: "iso")
50
51
  end
51
52
 
53
+ def id_edition_suffix(dn, node)
54
+ ed = node.attr("edition") || 1
55
+ dn += " ED #{ed}"
56
+ dn
57
+ end
58
+
52
59
  def boilerplate_file(x_orig)
53
60
  lang = case x_orig&.at("//bibdata/language")&.text
54
61
  when "fr" then "fr"
55
62
  else
56
63
  "en"
57
64
  end
58
- File.join(@libdir, "iec_intro_#{lang}.xml")
65
+ File.join(@libdir, "iec_intro_#{lang}.xml")
59
66
  end
60
67
 
61
68
  def doctype_validate(xmldoc)
@@ -7,123 +7,10 @@
7
7
  License: none (public domain)
8
8
  */
9
9
 
10
- html, body, div, span, applet, object, iframe,
11
- h1, h2, h3, h4, h5, h6, p, blockquote, pre,
12
- a, abbr, acronym, address, big, cite, code,
13
- del, dfn, em, img, ins, kbd, q, s, samp,
14
- small, strike, strong, sub, sup, tt, var,
15
- b, u, i, center,
16
- ol, ul, li,
17
- fieldset, form, label, legend,
18
- table, caption, tbody, tfoot, thead, tr, th, td,
19
- article, aside, canvas, details, embed,
20
- figure, figcaption, footer, header, hgroup,
21
- menu, nav, output, ruby, section, summary,
22
- time, mark, audio, video {
23
- margin: 0;
24
- padding: 0;
25
- }
26
-
27
- html, body, div, span, applet, object, iframe,
28
- h1, h2, h3, h4, h5, h6, p, blockquote, pre,
29
- a, abbr, acronym, address, big, cite, code,
30
- del, dfn, em, img, ins, kbd, q, s, samp,
31
- small, strike, strong, sub, sup, tt, var,
32
- b, u, i, center,
33
- dl, dt, dd, ol, ul, li,
34
- fieldset, form, label, legend,
35
- table, caption, tbody, tfoot, thead, tr, th, td,
36
- article, aside, canvas, details, embed,
37
- figure, figcaption, footer, header, hgroup,
38
- menu, nav, output, ruby, section, summary,
39
- time, mark, audio, video {
40
- border: 0;
41
- font-size: 100%;
42
- }
43
-
44
- html, body, div, span, applet, object, iframe,
45
- h1, h2, h3, h4, h5, h6, p, blockquote, pre,
46
- a, abbr, acronym, address, big, cite, code,
47
- del, dfn, em, img, ins, kbd, q, s, samp,
48
- small, strike, strong, tt, var,
49
- b, u, i, center,
50
- dl, dd, ol, ul, li,
51
- fieldset, form, label, legend,
52
- table, caption, tbody, tfoot, thead, tr, th, td,
53
- article, aside, canvas, details, embed,
54
- figure, figcaption, footer, header, hgroup,
55
- menu, nav, output, ruby, section, summary,
56
- time, mark, audio, video {
57
- vertical-align: baseline;
58
- }
59
-
60
- html, body, div, span, applet, object, iframe,
61
- p, blockquote,
62
- a, abbr, acronym, address, big, cite,
63
- del, dfn, em, img, ins, q, s,
64
- small, strike, strong, sub, sup, var,
65
- b, u, i, center,
66
- dl, dt, dd, ol, ul, li,
67
- fieldset, form, label, legend,
68
- table, caption, tbody, tfoot, thead, tr, th, td,
69
- article, aside, canvas, details, embed,
70
- figure, figcaption, footer, header, hgroup,
71
- menu, nav, output, ruby, section, summary,
72
- time, mark, audio, video {
73
- font-family: $bodyfont;
74
- }
75
-
76
- code, pre, tt, kbd, samp {
77
- font-family: $monospacefont;
78
- font-variant-ligatures: none;
79
- }
80
-
81
- code *, pre *, tt *, kbd *, samp * {
82
- font-family: $monospacefont !important;
83
- font-variant-ligatures: none;
84
- }
85
-
86
- dl {
87
- display: grid;
88
- grid-template-columns: max-content auto;
89
- }
90
-
91
- dt {
92
- grid-column-start: 1;
93
- }
94
-
95
- dd {
96
- grid-column-start: 2;
97
- }
98
-
99
- dd p, dt p {
100
- margin-top: 0px;
101
- }
10
+ @import 'base_style/all';
102
11
 
103
- h1, h2, h3, h4, h5, h6, .h2Annex {
104
- font-family: $headerfont;
105
- }
106
-
107
-
108
- /* HTML5 display-role reset for older browsers */
109
- article, aside, details, figcaption, figure,
110
- footer, header, hgroup, menu, nav, section {
111
- display: block;
112
- }
113
12
  body {
114
- line-height: 1.3;
115
- }
116
- blockquote, q {
117
- quotes: none;
118
- }
119
- blockquote:before, blockquote:after,
120
- q:before, q:after {
121
- content: '';
122
- content: none;
123
- }
124
- table {
125
- border-collapse: collapse;
126
- border-spacing: 0;
13
+ line-height: 1.3;
127
14
  }
128
15
 
129
16
  /* New CSS */
@@ -159,7 +46,7 @@ main {
159
46
  margin-left: -3em;
160
47
  /*padding-top: 2em;*/
161
48
  padding-bottom: 2em;
162
-
49
+
163
50
  }
164
51
 
165
52
  .doctitle-en span {
@@ -210,7 +97,7 @@ span.partlabel {
210
97
  display: block;
211
98
  }
212
99
 
213
- #boilerplate-message, #boilerplate-name,
100
+ #boilerplate-message, #boilerplate-name,
214
101
  #boilerplate-address {
215
102
  font-size: 0.9em;
216
103
  }
@@ -269,11 +156,11 @@ h2 p {
269
156
  display: inline;
270
157
  }
271
158
 
272
-
159
+
273
160
  ul > li {
274
161
  list-style: none;
275
162
  }
276
-
163
+
277
164
  ul > li > p:first-child:before {
278
165
  content: "\2014";
279
166
  display: inline-block;
@@ -287,7 +174,7 @@ ul > li > p:first-child:before {
287
174
  margin-bottom: 0.6em;
288
175
  line-height: 1.2;
289
176
  }
290
-
177
+
291
178
 
292
179
  #toc li:before {
293
180
  content: " ";
@@ -307,42 +194,44 @@ p.Terms {
307
194
 
308
195
  /* Navigation*/
309
196
 
197
+ nav {
198
+ @include sidebarNav(#f7f7f7, 278px, 20px);
199
+ }
200
+
201
+ #toggle {
202
+ @include sidebarNavToggle(black, #f7f7f7)
203
+ }
204
+
205
+ #toc {
206
+ @include toc(black, black, black);
207
+ @include sidebarToc();
208
+
209
+ .toc-active,
210
+ li:hover {
211
+ box-shadow: 0px 1px 0px 0px black !important;
212
+ color: black;
213
+ background: none;
214
+ }
215
+
216
+ ul {
217
+ a:hover {
218
+ box-shadow: none;
219
+ color: black;
220
+ }
221
+ }
222
+ }
223
+
310
224
  @media screen and (min-width: 768px) {
311
225
  nav {
312
- position: fixed;
313
- top: 0;
314
- bottom: 0;
315
- left: 0;
316
- width: 278px;
317
- font-size: 0.9em;
318
- overflow: auto;
319
- padding: 0 0 0 20px;
320
- background-color:#f7f7f7;
321
226
  line-height: 1.2em;
322
227
  }
323
228
 
324
229
  #toggle {
325
- position: fixed;
326
- height: 100%;
327
- width: 30px;
328
230
  border-right: solid black 1px;
329
- background-color: #f7f7f7;
330
- color: black!important;
331
- cursor: pointer;
332
231
  margin-left: -4em;
333
232
  margin-top: -2em;
334
233
  }
335
234
 
336
- #toggle span {
337
- text-align: center;
338
- width: 100%;
339
- position: absolute;
340
- top: 50%;
341
- transform: translate(0, -50%);
342
-
343
- }
344
-
345
-
346
235
  .container {
347
236
  padding-left: 360px;
348
237
  }
@@ -362,11 +251,6 @@ p.Terms {
362
251
  }
363
252
 
364
253
  @media screen and (max-width: 768px) {
365
- #toc {
366
- padding: 0 1.5em 0 1.5em;
367
- overflow: visible;
368
- }
369
-
370
254
  #toggle {
371
255
  display: none;
372
256
  margin-left: -4em;
@@ -387,61 +271,13 @@ p.Terms {
387
271
  width: 100%;
388
272
  }
389
273
  }
390
-
391
- div.figure > img {
392
- margin-left: auto;
393
- margin-right: auto;
394
- display: block;
395
- max-width: 100%;
396
- height: auto;
397
- }
398
-
399
-
400
-
401
- #toc ul {
402
- margin: 0;
403
- padding: 0;
404
- list-style: none;
405
- }
406
-
407
- #toc li a {
408
- padding: 5px 10px;
409
- }
410
274
 
411
- #toc a {
412
- text-decoration: none;
275
+ div.figure > img {
276
+ margin-left: auto;
277
+ margin-right: auto;
413
278
  display: block;
414
- }
415
-
416
- #toc a:hover {
417
- box-shadow: none;
418
- color: black;
419
- }
420
-
421
- #toc .h2 {
422
- padding-left: 30px;
423
- }
424
-
425
- #toc .h3 {
426
- padding-left: 50px;
427
- }
428
-
429
- #toc .toc-active a {
430
- color: black;
431
- }
432
-
433
- /*#toc .toc-active, #toc li:hover {
434
- background: #1d1d1d;
435
- box-shadow: inset -5px 0px 10px -5px #1d1d1d!important;
436
- }*/
437
-
438
- #toc .toc-active, #toc li:hover {
439
- box-shadow: 0px 1px 0px 0px black!important;
440
- color: black;
441
- }
442
-
443
- #toc li:hover a {
444
- color: black;
279
+ max-width: 100%;
280
+ height: auto;
445
281
  }
446
282
 
447
283
  /*
@@ -449,56 +285,16 @@ height: auto;
449
285
  */
450
286
 
451
287
  .document-type-band {
452
- left:0;
453
- top:180px;
454
- height: 100%;
455
- position: fixed;
456
- display: block;
457
- z-index: 99;
458
- /*box-shadow: -5px 0px 10px #1d1d1d*/
459
-
288
+ @include docBand(2, 100%, 180px);
460
289
  }
461
290
 
462
291
  .document-stage-band {
463
- left:0;
464
- top:0;
465
- height: 100%;
466
- position: fixed;
467
- display: block;
468
- z-index: 98;
469
- box-shadow: -5px 0px 10px #1d1d1d
470
- }
471
-
472
- .document-type {
473
- position: relative;
474
- width: 25px;
475
- }
476
-
477
- .document-stage {
478
- position: relative;
479
- width: 25px;
292
+ @include docBand(1, 210px);
480
293
  }
481
294
 
482
- p.document-type, p.document-stage {
483
- color: white;
484
- text-transform: uppercase;
485
- font-size: 0.9em;
486
- font-weight: 400;
487
- letter-spacing: 0.05em;
488
- margin:0;
489
- margin-left: 6px;
490
- writing-mode:tb-rl;
491
- -webkit-transform:rotate(180deg);
492
- -moz-transform:rotate(180deg);
493
- -o-transform: rotate(180deg);
494
- white-space:nowrap;
495
- display:block;
496
- bottom:0;
497
- }
498
-
499
- p.document-type {
500
- font-weight: 400;
501
- height: 210px;
295
+ p.document-type,
296
+ p.document-stage {
297
+ @include docBandTitle(210px);
502
298
  }
503
299
 
504
300
  #governance-band p.document-type {
@@ -589,54 +385,148 @@ p.document-stage {
589
385
  /*
590
386
  3.3 Lists
591
387
  */
592
-
388
+
593
389
  ul, ol {margin-left: 2em;}
594
-
390
+
595
391
  #toc-list ul {margin-bottom: 0.25em;}
596
-
392
+
597
393
  #toc-list ol li {list-style-type: none;}
598
394
 
395
+ /* https://github.com/metanorma/metanorma-iso/issues/319 : ordered list rendering */
396
+
397
+ ol[type="alphabet"] {
398
+ counter-reset: alphabet;
399
+ }
400
+ ol[type="arabic"] {
401
+ counter-reset: arabic;
402
+ }
403
+ ol[type="roman"] {
404
+ counter-reset: roman;
405
+ }
406
+ ol[type="alphabet_upper"] {
407
+ counter-reset: alphabet_upper;
408
+ }
409
+ ol[type="roman_upper"] {
410
+ counter-reset: roman_upper;
411
+ }
412
+ ol[type="alphabet"] ol[type="alphabet"] {
413
+ counter-reset: alphabet2;
414
+ }
415
+ ol[type="arabic"] ol[type="arabic"] {
416
+ counter-reset: arabic2;
417
+ }
418
+ ol[type="roman"] ol[type="roman"] {
419
+ counter-reset: roman2;
420
+ }
421
+ ol[type="alphabet_upper"] ol[type="alphabet_upper"] {
422
+ counter-reset: alphabet_upper2;
423
+ }
424
+ ol[type="roman_upper"] ol[type="roman_upper"] {
425
+ counter-reset: roman_upper2;
426
+ }
427
+ ol {
428
+ counter-reset: alphabet;
429
+ }
430
+
431
+ ol > li {
432
+ list-style: none;
433
+ position: relative;
434
+ }
435
+ ol > li:before {
436
+ position: absolute;
437
+ left: -1.4em;
438
+ }
439
+ ol[type="roman"] > li:before {
440
+ left: -2.0em;
441
+ }
442
+ ol[type="roman_upper"] > li:before {
443
+ left: -2.3em;
444
+ }
445
+ ol[type="alphabet"] > li:before {
446
+ counter-increment: alphabet;
447
+ content: counter(alphabet, lower-alpha)") "
448
+ }
449
+ ol[type="arabic"] > li:before {
450
+ counter-increment: arabic;
451
+ content: counter(arabic, decimal)") "
452
+ }
453
+ ol[type="roman"] > li:before {
454
+ counter-increment: roman;
455
+ content: counter(roman, lower-roman)") "
456
+ }
457
+ ol[type="alphabet_upper"] > li:before {
458
+ counter-increment: alphabet_upper;
459
+ content: counter(alphabet_upper, upper-alpha)") "
460
+ }
461
+ ol[type="roman_upper"] > li:before {
462
+ counter-increment: roman_upper;
463
+ content: counter(roman_upper, upper-roman)") "
464
+ }
465
+ ol > li:before {
466
+ counter-increment: alphabet;
467
+ content: counter(alphabet, lower-alpha)") "
468
+ }
469
+ ol[type="alphabet"] ol[type="alphabet"] > li:before {
470
+ counter-increment: alphabet2;
471
+ content: counter(alphabet2, lower-alpha)") "
472
+ }
473
+ ol[type="arabic"] ol[type="arabic"] > li:before {
474
+ counter-increment: arabic2;
475
+ content: counter(arabic2, decimal)") "
476
+ }
477
+ ol[type="roman"] ol[type="roman"] > li:before {
478
+ counter-increment: roman2;
479
+ content: counter(roman2, lower-roman)") "
480
+ }
481
+ ol[type="alphabet_upper"] ol[type="alphabet_upper"] > li:before {
482
+ counter-increment: alphabet_upper2;
483
+ content: counter(alphabet_upper2, upper-alpha)") "
484
+ }
485
+ ol[type="roman_upper"] ol[type="roman_upper"] > li:before {
486
+ counter-increment: roman_upper2;
487
+ content: counter(roman_upper2, upper-roman)") "
488
+ }
489
+
490
+
599
491
  /*
600
492
  3.4 Rules
601
493
  */
602
494
 
603
495
  .rule {
604
- width: 100%;
605
- height: 1px;
606
- background-color: #0e1a85;
607
- margin: 2em 0;
608
- }
496
+ @include rule(1px, #0e1a85)
497
+ }
609
498
 
610
499
  /*
611
- 3.5 Bibliograhy
500
+ 3.5 Bibliograhy
612
501
  */
613
502
 
614
- p.Biblio, p.NormRef {
615
- margin-top: 1em;
616
- margin-left: 2em;
503
+ p.Biblio,
504
+ p.NormRef {
505
+ margin-top: 1em;
506
+ margin-left: 2em;
617
507
  }
618
508
 
619
509
  /*
620
510
  3.6 Source Code + figures
621
511
  */
622
512
 
623
- .Sourcecode {
624
- font-family: $monospacefont;
625
- font-variant-ligatures: none;
513
+ .figure,
514
+ pre,
515
+ .pseudocode {
516
+ @include pseudocodeBlock(#f7f7f7);
517
+ font-size: 1em;
626
518
  }
627
519
 
628
- .figure, .Sourcecode, .pseudocode {
629
- background-color: #f7f7f7;
630
- line-height: 1.6em;
631
- padding: 1.5em;
632
- margin: 2em 0 1em 0;
633
- overflow: auto;
520
+ pre {
521
+ @include monospaceBlockStyle()
634
522
  }
635
523
 
636
- .figure-title, .FigureTitle, .SourceTitle, .AdmonitionTitle, .RecommendationTitle {
637
- font-weight: 700;
638
- font-size: 1em;
639
- text-align: center;
524
+ @include admonitionBlock();
525
+ @include recommendationBlock();
526
+
527
+ .FigureTitle,
528
+ .SourceTitle {
529
+ @include blockTitle()
640
530
  }
641
531
 
642
532
  /*
@@ -644,11 +534,11 @@ text-align: center;
644
534
  */
645
535
 
646
536
  .Note, .note {
647
- background-color: #fff495;
648
- color: #47430c;
649
- padding: 0.5em;
650
- margin: 1.5em 0 1.5em 0;
651
- text-align: left;
537
+ background-color: #fff495;
538
+ color: #47430c;
539
+ padding: 0.5em;
540
+ margin: 1.5em 0 1.5em 0;
541
+ text-align: left;
652
542
  }
653
543
 
654
544
  .Note p, .note p {
@@ -656,11 +546,11 @@ text-align: left;
656
546
  }
657
547
 
658
548
  .Admonition {
659
- background-color: #ffcccc;
660
- color: #47430c;
661
- padding: 0.5em;
662
- margin: 1.5em 0 1.5em 0;
663
- text-align: left;
549
+ background-color: #ffcccc;
550
+ color: #47430c;
551
+ padding: 0.5em;
552
+ margin: 1.5em 0 1.5em 0;
553
+ text-align: left;
664
554
  }
665
555
 
666
556
  .Admonition p {
@@ -673,60 +563,42 @@ text-align: left;
673
563
  */
674
564
 
675
565
  .example {
676
- background-color: #e1eef1;
677
- padding: 0.5em;
678
- margin: 2em 0 1em 0;
679
- text-align: left;
680
- }
681
-
682
- .example p {
683
- margin: 0;
684
- }
685
-
686
- .example .example-title {
687
- font-weight: 700;
688
- text-transform: uppercase;
689
- margin-top:0;
690
- }
566
+ @include exampleBlock(#e1eef1, #424242, 0.5em);
567
+ text-align: left;
691
568
 
569
+ .example-title {
570
+ margin-top: 0;
571
+ }
692
572
 
693
- .example .Sourcecode, .example .pseudocode {
694
- background: none;
573
+ pre,
574
+ .pseudocode {
575
+ background: none;
576
+ }
695
577
  }
696
578
 
697
579
  /*
698
580
  3.9 Tables
699
581
  */
700
582
 
701
- table {
702
- border-collapse: collapse;
703
- width: 100%;
704
- font-weight: 300;
705
- margin: 1em 0 2em 0;
706
- margin-left: auto;
707
- margin-right: auto;
708
- padding-right: 2em;
709
- text-align: center;
710
- }
711
-
712
- table, th, td {
713
- border: 1px solid black;
714
- font-size: 0.95em;
715
- }
716
-
717
- td, th {
718
- padding: 1em!important;
719
- }
583
+ /*
584
+ 3.9 Tables
585
+ */
720
586
 
721
- td.header {
722
- font-weight: 400;
587
+ table {
588
+ @include table(1px solid black);
589
+ text-align: center;
590
+ td,
591
+ th {
592
+ font-size: 0.95em;
593
+ padding: 1em !important;
594
+ }
723
595
  }
724
596
 
725
597
  p.TableTitle {
726
- text-align: center;
727
- margin-top: 2.5em;
728
- font-weight: 800;
729
- font-size: 1.1em;
598
+ text-align: center;
599
+ margin-top: 2.5em;
600
+ font-weight: 800;
601
+ font-size: 1.1em;
730
602
  }
731
603
 
732
604
  .TableFootnote {
@@ -738,32 +610,32 @@ font-size: 1.1em;
738
610
  */
739
611
 
740
612
  a.footnote-number, a.TableFootnoteRef, span.TableFootnoteRef {
741
- vertical-align: super;
742
- font-size: 0.8em;
613
+ vertical-align: super;
614
+ font-size: 0.8em;
743
615
  }
744
616
 
745
617
  .footnote {
746
- font-size: 0.9em;
618
+ font-size: 0.9em;
747
619
  }
748
620
 
749
- sup a {
750
- vertical-align: super;
751
- font-size: 0.8em;
621
+ sup a {
622
+ vertical-align: super;
623
+ font-size: 0.8em;
752
624
  }
753
625
  #footnote_box {
754
- font-size: 14px;
755
- background: white;
756
- padding: 0 10px;
757
- margin: 10px;
758
- border: 1px solid #888;
759
- -moz-box-shadow: 0px 0px 5px #888;
760
- -webkit-box-shadow: 0px 0px 5px #888;
761
- box-shadow: 0px 0px 5px #888;
626
+ font-size: 14px;
627
+ background: white;
628
+ padding: 0 10px;
629
+ margin: 10px;
630
+ border: 1px solid #888;
631
+ -moz-box-shadow: 0px 0px 5px #888;
632
+ -webkit-box-shadow: 0px 0px 5px #888;
633
+ box-shadow: 0px 0px 5px #888;
762
634
  }
763
635
 
764
636
  ol.footnotes-list, aside.footnote {
765
637
  margin-left: 1em;
766
-
638
+
767
639
  }
768
640
 
769
641
  ol.footnotes-list li, aside.footnote {
@@ -791,28 +663,16 @@ ol > li > p:before {
791
663
  3.11 Blockquotes
792
664
  */
793
665
 
794
- .blockquote, .Quote {
795
- background-color: #f7f7f7;
796
- font-style: italic;
797
- width: 80%;
798
- padding: 1.5em;
799
- margin-top: 2em;
800
- margin-left: auto;
801
- margin-right: auto;
666
+ .Quote {
667
+ @include blockquoteBlock(#f7f7f7);
802
668
  }
803
669
 
804
-
805
670
  /*
806
671
  3.12 Formulas
807
672
  */
808
673
 
809
674
  .formula {
810
- background-color: #f7f7f7;
811
- padding: 1.5em;
812
- margin-top: 2em;
813
- text-align: center;
814
- margin-left: 20%;
815
- margin-right: 20%;
675
+ @include formulaBlock(#f7f7f7)
816
676
  }
817
677
 
818
678
  /*
@@ -820,7 +680,7 @@ Keywords
820
680
  */
821
681
 
822
682
  span.keyword {
823
- font-weight: 600;
683
+ font-weight: 600;
824
684
  }
825
685
 
826
686
  .Admonition, .admonition {