metanorma-rsd 1.4.0 → 1.4.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: 7a09eca0d2e987fc30077408e32647ec19a660285c6e00eeb0d8c5e218cd56a5
4
- data.tar.gz: 84102bb82fa88c5e721e15fe5cb78f6184161483bfcb6313325e20839d4c1c45
3
+ metadata.gz: d55e2a02e68e8b10a1d6c024ab47eb995e12ec513afb06a5df980d19114aa796
4
+ data.tar.gz: 8b9735545ba41f31bfec4a31bfad0c829aefd5d7fb05725609cb04a7547b0e5a
5
5
  SHA512:
6
- metadata.gz: c63154090df0b256658929536b65153241d26fa01b2649d9eb0483ebdbe23f4d10d2269fabdb1e0a8fd17faf71a836f300d6104a14bb0d0c754c4a345f31a361
7
- data.tar.gz: ab6f1c38cf3d4168ef8461de0bc3739419eba3e213ae3fe846584411d91c24b29b5dfb8b2194d58c1dc23462236acf375c88e1722e1a2314c09cab6198b9ed12
6
+ metadata.gz: c121858402e13b0c58700b47eeaaa4a8fb83d6fac73167ffbb8f354dd5e962ebed3119409f59135791fe1d62c0a4745898d8fca2d0bdc606eee18852fc65b8cd
7
+ data.tar.gz: e39561ce00056e79fa66ac229ea25eacd2440bf15bd2184f960acc6dc5a730cc887ab312e7dec1d2aaf7cb33c6b98ec9f84526323ea082611c98703475e1a4fb
@@ -7,269 +7,79 @@
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
- }
10
+ @import 'base_style/all';
75
11
 
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;
12
+ body {
13
+ @include bodyStyle1(15px, 1.4em, #1d1d1d, #ffffff, 300);
14
+ // @include sidebarNavContainer(323px);
84
15
  }
85
16
 
86
- h1, h2, h3, h4, h5, h6, .h2Annex {
87
- font-family: $headerfont;
17
+ main {
18
+ margin: 0 3em 0 6em;
88
19
  }
89
20
 
90
- dl {
91
- display: grid;
92
- grid-template-columns: max-content auto;
93
- }
21
+ #toc {
22
+ @include toc(#485094, #1661AD, #485094);
23
+ @include sidebarToc();
94
24
 
95
- dt {
96
- grid-column-start: 1;
97
- }
25
+ .toc-active a {
26
+ color: white;
27
+ }
98
28
 
99
- dd {
100
- grid-column-start: 2;
101
- }
29
+ li a {
30
+ text-transform: uppercase;
31
+ }
102
32
 
103
- dd p, dt p {
104
- margin-top: 0px;
33
+ ul {
34
+ a:hover {
35
+ box-shadow: none;
36
+ color: white;
37
+ }
38
+ }
105
39
  }
106
40
 
107
- /* HTML5 display-role reset for older browsers */
108
- article, aside, details, figcaption, figure,
109
- footer, header, hgroup, menu, nav, section {
110
- display: block;
111
- }
112
- body {
113
- line-height: 1;
41
+ nav {
42
+ @include sidebarNav(#f7f7f7, 323px, 45px);
114
43
  }
115
44
 
116
- blockquote, q {
117
- quotes: none;
118
- }
119
- blockquote:before, blockquote:after,
120
- q:before, q:after {
121
- content: '';
122
- content: none;
45
+ #toggle {
46
+ @include sidebarNavToggle(white, #1661AD)
123
47
  }
124
- table {
125
- border-collapse: collapse;
126
- border-spacing: 0;
127
- }
128
-
129
-
130
- /*
131
- 1. HTML & Body
132
- */
133
48
 
134
- body {
135
- margin: 0;
136
- margin-left: auto;
137
- margin-right: auto;
138
- max-width: 100%;
139
- color: #1d1d1d;
140
- font-weight: 300;
141
- font-size: 15px;
142
- line-height: 1.4em;
143
- background-color: #ffffff;
144
- }
145
-
146
- main {margin: 0 3em 0 6em;}
49
+ #myBtn {
50
+ @include toTopBtn(white, #1f8ca0);
51
+ text-transform: uppercase;
147
52
 
148
- #toc{
149
- font-family: $bodyfont;
150
- font-weight: 400;
53
+ a.anchorjs-link {
54
+ @include anchorLink(#485094)
151
55
  }
56
+ }
152
57
 
153
58
  /*
154
59
  2. Responsive navigation layout
155
60
  */
156
61
 
157
-
158
62
  @media screen and (min-width: 768px) {
159
- nav {
160
- position: fixed;
161
- top: 0;
162
- bottom: 0;
163
- left: 0;
164
- width: 323px;
165
- font-size: 0.9em;
166
- overflow: auto;
167
- padding: 0 0 0 45px;
168
- margin-right: 30px;
169
- background-color:#f7f7f7;
170
- }
171
-
172
- #toggle {
173
- position: fixed;
174
- height: 100%;
175
- width: 30px;
176
- background-color:#1661AD;
177
- color: white!important;
178
- cursor: pointer;
179
- z-index: 100;
180
- }
181
-
182
- #toggle span {
183
- text-align: center;
184
- width: 100%;
185
- position: absolute;
186
- top: 50%;
187
- transform: translate(0, -50%);
188
-
189
- }
190
-
191
- .container {
192
- padding-left: 360px;
193
- }
194
-
195
- .rule.toc {
196
- display: none;
197
- }
198
-
199
- h1.toc-contents {
200
- margin-top: 1em;
201
- }
202
-
203
- ul#toc-list {
204
- padding:0;
205
- margin:0;
206
- }
207
- }
208
-
209
- @media screen and (max-width: 768px) {
210
- #toc {
211
- padding: 0 1.5em 0 1.5em;
212
- overflow: visible;
213
- }
214
- }
63
+ .container {
64
+ padding-left: 360px;
65
+ }
215
66
 
216
- div.figure > img {
217
- margin-left: auto;
218
- margin-right: auto;
219
- display: block;
220
- max-width: 100%;
221
- height: auto;
67
+ .rule.toc {
68
+ display: none;
222
69
  }
223
-
224
70
 
71
+ h1.toc-contents {
72
+ margin-top: 1em;
73
+ }
225
74
 
226
- #toc ul {
227
- margin: 0;
75
+ ul#toc-list {
228
76
  padding: 0;
229
- list-style: none;
230
- }
231
-
232
- #toc li a {
233
- padding: 5px 10px;
234
- }
235
-
236
- #toc a {
237
- color: #485094;
238
- text-decoration: none;
239
- display: block;
240
- }
241
-
242
- #toc a:hover {
243
- box-shadow: none;
244
- color: white;
245
- }
246
-
247
- #toc .h2 {
248
- padding-left: 30px;
249
- }
250
-
251
- #toc .h3 {
252
- padding-left: 50px;
253
- }
254
-
255
- #toc .toc-active a {
256
- color: white;
257
- }
258
-
259
- #toc .toc-active, #toc li:hover {
260
- background: #1661AD;
261
- box-shadow: inset -5px 0px 10px -5px #1661AD!important;
262
-
263
- }
264
-
265
- #toc li:hover a {
266
- color: white;
267
- background: none;
268
- box-shadow: none;
77
+ margin: 0;
78
+ }
269
79
  }
270
80
 
271
- #toc li a {
272
- text-transform: uppercase;
81
+ div.figure {
82
+ @include figureBlock();
273
83
  }
274
84
 
275
85
  /*
@@ -277,69 +87,28 @@ height: auto;
277
87
  */
278
88
 
279
89
  .document-type-band {
280
- left:0;
281
- top:180px;
282
- height: 100%;
283
- position: fixed;
284
- display: block;
285
- z-index: 99;
286
- /*box-shadow: -5px 0px 10px #1d1d1d*/
287
-
90
+ @include docBand(2, 100%, 180px);
288
91
  }
289
92
 
290
93
  .document-stage-band {
291
- left:0;
292
- top:0;
293
- height: 100%;
294
- position: fixed;
295
- display: block;
296
- z-index: 98;
297
- box-shadow: -5px 0px 10px #1d1d1d
298
- }
299
-
300
- .document-type {
301
- position: relative;
302
- width: 25px;
303
- }
304
-
305
- .document-stage {
306
- position: relative;
307
- width: 25px;
94
+ @include docBand(1, 150);
308
95
  }
309
96
 
310
- p.document-type, p.document-stage {
311
- color: white;
312
- text-transform: uppercase;
313
- font-size: 0.9em;
314
- font-weight: 400;
315
- letter-spacing: 0.05em;
316
- margin:0;
317
- margin-left: 6px;
318
- writing-mode:tb-rl;
319
- -webkit-transform:rotate(180deg);
320
- -moz-transform:rotate(180deg);
321
- -o-transform: rotate(180deg);
322
- white-space:nowrap;
323
- display:block;
324
- bottom:0;
325
- }
326
-
327
- p.document-type {
328
- font-weight: 400;
329
- height: 150;
97
+ p.document-type,
98
+ p.document-stage {
99
+ @include docBandTitle(150);
330
100
  }
331
101
 
332
102
  #governance-band p.document-type {
333
- font-weight: 400;
334
- height: 230px!important;
103
+ height: 230px !important;
335
104
  }
336
105
 
337
106
  p.document-stage {
338
- font-weight: 300;
339
- height:160px;
107
+ font-weight: 300;
108
+ height: 160px;
340
109
  }
341
110
 
342
- #standard-band p{
111
+ #standard-band p {
343
112
  height: 270px;
344
113
  }
345
114
 
@@ -347,77 +116,78 @@ p.document-stage {
347
116
  height: 150px;
348
117
  }
349
118
 
350
-
351
- #standard-band, #published-band {
352
- background-color: #9ABD48;
119
+ #standard-band,
120
+ #published-band {
121
+ background-color: #9ABD48;
353
122
  }
354
123
 
355
- #standard, #published {
356
- border-bottom: solid 3px #9ABD48;
124
+ #standard,
125
+ #published {
126
+ border-bottom: solid 3px #9ABD48;
357
127
  }
358
128
 
359
- #governance, #policy-and-procedures {
360
- border-bottom: solid 3px #750697;
129
+ #governance,
130
+ #policy-and-procedures {
131
+ border-bottom: solid 3px #750697;
361
132
  }
362
133
 
363
- #governance-band, #policy-and-procedures-band {
364
- background-color: #750697;
134
+ #governance-band,
135
+ #policy-and-procedures-band {
136
+ background-color: #750697;
365
137
  }
366
138
 
367
139
  #guide {
368
- border-bottom: solid 3px #48a0e7;
140
+ border-bottom: solid 3px #48a0e7;
369
141
  }
370
142
 
371
143
  #guide-band {
372
- background-color: #48a0e7;
144
+ background-color: #48a0e7;
373
145
  }
374
146
 
375
147
  .coverpage-maturity {
376
- font-family: $bodyfont;
377
- font-weight: 400;
378
- font-size: 1em;
379
- margin: 0 0 2em 0;
380
- text-transform: uppercase;
381
- }
148
+ @include coverpageStageBlock();
149
+ }
382
150
 
383
- #working-draft, #proposal {
384
- border-bottom: solid 3px #F7803C;
151
+ #working-draft,
152
+ #proposal {
153
+ border-bottom: solid 3px #F7803C;
385
154
  }
386
155
 
387
- #working-draft-band, #proposal-band {
388
- background-color: #F7803C;
156
+ #working-draft-band,
157
+ #proposal-band {
158
+ background-color: #F7803C;
389
159
  }
390
160
 
391
161
  #committee-draft {
392
- border-bottom: solid 3px #fd06fd;
162
+ border-bottom: solid 3px #fd06fd;
393
163
  }
394
164
 
395
165
  #committee-draft-band {
396
- background-color: #fd06fd;
166
+ background-color: #fd06fd;
397
167
  }
398
168
 
399
169
  #draft-standard {
400
- border-bottom: solid 3px #fdf906;
170
+ border-bottom: solid 3px #fdf906;
401
171
  }
402
172
 
403
173
  #draft-standard-band {
404
- background-color: #fdf906;
174
+ background-color: #fdf906;
405
175
  }
406
176
 
407
177
  #standard {
408
- border-bottom: solid 3px #9ABD48;
178
+ border-bottom: solid 3px #9ABD48;
409
179
  }
410
180
 
411
181
  #standard-band {
412
- background-color: #9ABD48;
182
+ background-color: #9ABD48;
413
183
  }
414
184
 
415
185
  #obsolete {
416
- border-bottom: solid 3px #7e0d13;
186
+ border-bottom: solid 3px #7e0d13;
417
187
  }
418
188
 
419
189
  #obsolete-band {
420
- background-color: #7e0d13;
190
+ background-color: #7e0d13;
421
191
  }
422
192
 
423
193
  /*
@@ -428,169 +198,157 @@ p.document-stage {
428
198
  3.1 Titles
429
199
  */
430
200
 
431
- h1,h2,h3,h4,h5,h6 {
432
- font-family: $headerfont;
433
- color: #1661AD;
434
- font-weight: 300;
435
- margin-top: 1.6em;
436
- margin-bottom: 0.3em;
437
- }
201
+ h1,
202
+ h2,
203
+ h3,
204
+ h4,
205
+ h5,
206
+ h6 {
207
+ font-family: $headerfont;
208
+ color: #1661AD;
209
+ font-weight: 300;
210
+ margin-top: 1.6em;
211
+ margin-bottom: 0.3em;
212
+ }
438
213
 
439
- h1 {
440
- font-size: 1.6em;
441
- text-transform: uppercase;
442
- margin-top: 2em;
443
- }
214
+ h1 {
215
+ font-size: 1.6em;
216
+ text-transform: uppercase;
217
+ margin-top: 2em;
218
+ }
444
219
 
445
- h1#content {
446
- margin-top: 2em;
447
- }
220
+ h1#content {
221
+ margin-top: 2em;
222
+ }
448
223
 
449
- h2 {
450
- margin-top: 1.3em;
451
- font-size: 1.3em;
452
- font-weight: 400;
453
- }
224
+ h2 {
225
+ margin-top: 1.3em;
226
+ font-size: 1.3em;
227
+ font-weight: 400;
228
+ }
454
229
 
455
- h3 {
456
- margin-top: 1.1em;
457
- font-size: 1.1em;
458
- font-weight: 100;
459
- }
230
+ h3 {
231
+ margin-top: 1.1em;
232
+ font-size: 1.1em;
233
+ font-weight: 100;
234
+ }
460
235
 
461
- .TermNum, .Terms, .AltTerms {
462
- color: #1661AD;
463
- font-weight: 100;
464
- }
236
+ .TermNum,
237
+ .Terms,
238
+ .AltTerms {
239
+ color: #1661AD;
240
+ font-weight: 100;
241
+ }
465
242
 
466
- h2.TermNum {
467
- margin-bottom: 0;
468
- }
243
+ h2.TermNum {
244
+ margin-bottom: 0;
245
+ }
469
246
 
470
- p.Terms {
471
- font-size: 1.1em;
472
- line-height: 1.5em;
473
- margin: 0;
474
- }
247
+ p.Terms {
248
+ font-size: 1.1em;
249
+ line-height: 1.5em;
250
+ margin: 0;
251
+ }
475
252
 
476
- p.AltTerms {
477
- /*
478
- font-style: italic;
479
- */
480
- font-size: 1.1em;
481
- margin: 0;
482
- }
253
+ p.AltTerms {
254
+ /*
255
+ font-style: italic;
256
+ */
257
+ font-size: 1.1em;
258
+ margin: 0;
259
+ }
260
+
261
+ .contact-info a:hover {
262
+ color: #485094;
263
+ text-decoration: underline;
264
+ background: none;
265
+ box-shadow: 0 0 0 0;
266
+ }
483
267
 
484
268
  /*
485
- 3.2 Links
269
+ 3.2 Links
486
270
  */
487
-
488
- a, a:visited{
489
- text-decoration: none;
490
- color: #485094;
491
- }
492
-
493
- a:hover {
494
- color: white;
495
- background: #1661AD;
496
- box-shadow: 3px 0 0 #1661AD, -3px 0 0 #1661AD;
497
- /* padding: 2px 0 2px 0; */
498
- }
499
-
500
- ::selection {
501
- background: #1661AD; /* WebKit/Blink Browsers */
502
- color: white;
503
- }
504
- ::-moz-selection {
505
- background: #1661AD; /* Gecko Browsers */
506
- color: white;
507
- }
508
-
509
- .contact-info a:hover {
510
- color: #485094;
511
- text-decoration: underline;
512
- background: none;
513
- box-shadow: 0 0 0 0;
514
- }
515
-
516
-
271
+ @include elementStyles(#485094, #1661AD, white);
517
272
 
518
273
  /*
519
274
  3.3 Lists
520
275
  */
521
276
 
522
- ul, ol {margin-left: 1.2em;}
277
+ ul,
278
+ ol {
279
+ margin-left: 1.2em;
280
+ }
523
281
 
524
- ul > li {
282
+ ul li {
525
283
  list-style: none;
526
- }
284
+ }
527
285
 
528
- ul > li:before {
529
- content: "\2014";
530
- display: inline-block; width: 1em;
531
- margin-left: -1.2em;
532
- }
286
+ ul>li:before {
287
+ content: "\2014";
288
+ display: inline-block;
289
+ width: 1em;
290
+ margin-left: -1.2em;
291
+ }
533
292
 
534
- ul > li p:first-child {
535
- display: inline;
536
- }
293
+ ul>li p:first-child {
294
+ display: inline;
295
+ }
537
296
 
538
- ul > li:first-child {
297
+ ul>li:first-child {
539
298
  margin-top: 1em;
540
299
  }
541
300
 
542
- #toc-list ul {margin-bottom: 0.25em;}
301
+ #toc-list ul {
302
+ margin-bottom: 0.25em;
303
+ }
543
304
 
544
- #toc-list li {list-style-type: none;}
305
+ #toc-list li {
306
+ list-style-type: none;
307
+ }
545
308
 
546
- #toc li:before {
309
+ #toc li:before {
547
310
  content: " ";
548
311
  display: none;
549
312
  }
550
313
 
551
-
552
314
  /*
553
315
  3.4 Rules
554
316
  */
555
317
 
556
- .rule {
557
- width: 100%;
558
- height: 1px;
559
- background-color: #0e1a85;
560
- margin: 2em 0;
561
- }
318
+ .rule {
319
+ @include rule(1px, #0e1a85)
320
+ }
562
321
 
563
322
  /*
564
323
  3.5 Bibliograhy
565
324
  */
566
325
 
567
- p.Biblio, p.NormRef {
568
- margin-top: 1em;
569
- margin-left: 2em;
326
+ p.Biblio,
327
+ p.NormRef {
328
+ margin-top: 1em;
329
+ margin-left: 2em;
570
330
  }
571
331
 
572
332
  /*
573
333
  3.6 Source Code + figures
574
334
  */
575
335
 
576
- .Sourcecode {
577
- font-family: $monospacefont;
578
- font-variant-ligatures: none;
579
- }
336
+ .figure,
337
+ .Sourcecode,
338
+ .pseudocode {
339
+ @include pseudocodeBlock(#f7f7f7);
340
+ }
580
341
 
581
- .figure, .Sourcecode, .pseudocode {
582
- background-color: #f7f7f7;
583
- font-size: 0.8em;
584
- line-height: 1.6em;
585
- padding: 1.5em;
586
- margin: 2em 0 1em 0;
587
- overflow: auto;
342
+ .Sourcecode {
343
+ @include monospaceBlockStyle()
588
344
  }
589
345
 
590
- .FigureTitle, .SourceTitle, .AdmonitionTitle, p.RecommendationTitle {
591
- font-weight: 700;
592
- font-size: 1em;
593
- text-align: center;
346
+ @include admonitionBlock();
347
+ @include recommendationBlock();
348
+
349
+ .FigureTitle,
350
+ .SourceTitle {
351
+ @include blockTitle()
594
352
  }
595
353
 
596
354
  /*
@@ -598,48 +356,42 @@ p.Biblio, p.NormRef {
598
356
  */
599
357
 
600
358
  .Note {
601
- background-color: #fff495;
602
- color: #47430c;
603
- padding: 1.2em;
604
- margin: 1em 0 1em 0;
359
+ background-color: #fff495;
360
+ color: #47430c;
361
+ padding: 1.2em;
362
+ margin: 1em 0 1em 0;
605
363
 
606
- p {
607
- margin: 0;
608
- }
364
+ p {
365
+ margin: 0;
366
+ }
609
367
  }
610
368
 
611
369
  .Admonition {
612
- background-color: #ffcccc;
613
- color: #47430c;
614
- padding: 1.2em;
615
- margin: 1em 0 1em 0;
370
+ background-color: #ffcccc;
371
+ color: #47430c;
372
+ padding: 1.2em;
373
+ margin: 1em 0 1em 0;
616
374
 
617
- p {
618
- margin: 0;
619
- }
375
+ p {
376
+ margin: 0;
377
+ }
620
378
  }
621
379
 
622
-
623
380
  /*
624
381
  3.8 Examples
625
382
  */
626
383
 
627
384
  .example {
628
- background-color: #e1eef1;
629
- padding: 1.2em;
630
- margin: 2em 0 1em 0;
631
- padding-left: 2em;
632
- }
385
+ @include exampleBlock(#e1eef1, #424242, 1.2em);
633
386
 
634
- .example .example-title {
635
- font-weight: 700;
636
- text-transform: uppercase;
637
- margin-top:0;
638
- margin-left:-1.5em;
639
- }
387
+ .example-title {
388
+ margin-top: 0;
389
+ }
640
390
 
641
- .example .Sourcecode, .example .pseudocode {
642
- background: none;
391
+ .Sourcecode,
392
+ .pseudocode {
393
+ background: none;
394
+ }
643
395
  }
644
396
 
645
397
  /*
@@ -647,26 +399,7 @@ p.Biblio, p.NormRef {
647
399
  */
648
400
 
649
401
  table {
650
- border-collapse: collapse;
651
- width: 100%;
652
- font-weight: 300;
653
- margin: 1em 0 2em 0;
654
- margin-left: auto;
655
- margin-right: auto;
656
- padding-right: 2em;
657
- }
658
-
659
- table, th, td {
660
- border: 1px solid black;
661
- font-size: 0.95em;
662
- }
663
-
664
- td, th {
665
- padding: 1em;
666
- }
667
-
668
- td.header {
669
- font-weight: 400;
402
+ @include table(1px solid black);
670
403
  }
671
404
 
672
405
  p.TableTitle {
@@ -680,39 +413,28 @@ p.TableTitle {
680
413
  */
681
414
 
682
415
  a.footnote-number {
683
- vertical-align: super;
684
- font-size: 0.8em;
416
+ vertical-align: super;
417
+ font-size: 0.8em;
685
418
  }
686
419
 
687
420
  .footnote {
688
- font-size: 0.9em;
421
+ font-size: 0.9em;
689
422
  }
690
423
 
691
-
692
424
  /*
693
425
  3.11 Blockquotes
694
426
  */
695
427
 
696
428
  .Quote {
697
- background-color: #f7f7f7;
698
- font-style: italic;
699
- width: 80%;
700
- padding: 1.5em;
701
- margin-top: 2em;
702
- margin-left: auto;
703
- margin-right: auto;
429
+ @include blockquoteBlock(#f7f7f7);
704
430
  }
705
431
 
706
-
707
432
  /*
708
433
  3.12 Formulas
709
434
  */
710
435
 
711
436
  .formula {
712
- background-color: #f7f7f7;
713
- padding: 1.5em;
714
- margin-top: 2em;
715
- text-align: center;
437
+ @include formulaBlock(#f7f7f7)
716
438
  }
717
439
 
718
440
  /*
@@ -720,13 +442,13 @@ a.footnote-number {
720
442
  */
721
443
 
722
444
  .contact-info {
723
- padding: 2em;
724
- margin-top: 5em;
725
- width: 250px;
445
+ padding: 2em;
446
+ margin-top: 5em;
447
+ width: 250px;
726
448
 
727
449
  text-align: left;
728
450
  border: #1661AD solid 2px;
729
- color: #1661AD!important;
451
+ color: #1661AD !important;
730
452
  border-radius: 25px;
731
453
 
732
454
  }
@@ -736,22 +458,22 @@ a.footnote-number {
736
458
  color: #1661AD;
737
459
  }
738
460
 
739
- .contact-info p, .contact-info a {
740
- font-family: $monospacefont;
741
- font-variant-ligatures: none;
742
- font-weight: 400;
461
+ .contact-info p,
462
+ .contact-info a {
463
+ @include monospaceBlockStyle();
464
+ font-weight: 400;
743
465
  }
744
466
 
745
467
  .contact-info .name {
746
- font-weight: 700;
747
- font-size: 1.2em;
748
- margin-bottom:0;
468
+ font-weight: 700;
469
+ font-size: 1.2em;
470
+ margin-bottom: 0;
749
471
  }
750
472
 
751
473
  .contact-info .address {
752
- font-size: 1em;
753
- line-height: 1.3em;
754
- margin-top:0;
474
+ font-size: 1em;
475
+ line-height: 1.3em;
476
+ margin-top: 0;
755
477
  }
756
478
 
757
479
  /*
@@ -759,7 +481,7 @@ a.footnote-number {
759
481
  */
760
482
 
761
483
  span.keyword {
762
- font-weight: 600;
484
+ font-weight: 600;
763
485
  }
764
486
 
765
487
  /*
@@ -767,8 +489,8 @@ span.keyword {
767
489
  */
768
490
 
769
491
  p {
770
- margin-top: 1em;
771
- margin-bottom: 1em;
492
+ margin-top: 1em;
493
+ margin-bottom: 1em;
772
494
  }
773
495
 
774
496
  h2 p {
@@ -804,107 +526,110 @@ h2 p {
804
526
  position: absolute;
805
527
  }
806
528
 
807
- .doc-number {
808
- font-size: 0.5em;
809
- font-family: $bodyfont;
810
- }
529
+ .doc-number {
530
+ font-size: 0.5em;
531
+ font-family: $bodyfont;
532
+ }
811
533
 
812
- .coverpage-title {
813
- padding-bottom: 0.5em;
814
- font-family: $headerfont;
815
- font-size: 1.2em;
816
- line-height: 1.5em;
534
+ .coverpage-title {
535
+ padding-bottom: 0.5em;
536
+ font-family: $headerfont;
537
+ font-size: 1.2em;
538
+ line-height: 1.5em;
817
539
  font-weight: 100;
818
540
  padding-left: 1em;
819
541
  padding-right: 1em;
820
542
  text-transform: uppercase;
821
- }
543
+ }
822
544
 
823
- .WordSection11 {
824
- padding: 0 2em 0 3em;
825
- }
545
+ .WordSection11 {
546
+ padding: 0 2em 0 3em;
547
+ }
826
548
 
827
- .info-section {
828
- padding: 0 2em 0 5em; }
549
+ .info-section {
550
+ padding: 0 2em 0 5em;
551
+ }
829
552
 
830
- .prefatory-section {
831
- padding: 0 3em 0 6em;
832
- }
553
+ .prefatory-section {
554
+ padding: 0 3em 0 6em;
555
+ }
833
556
 
834
557
 
835
- .zzSTDTitle1, .MsoCommentText {
836
- display: none;
837
- }
558
+ .zzSTDTitle1,
559
+ .MsoCommentText {
560
+ display: none;
561
+ }
838
562
 
839
563
 
840
- .coverpage {
841
- text-align: center;
842
- padding-left: 1.5em;
843
- }
564
+ .coverpage {
565
+ text-align: center;
566
+ padding-left: 1.5em;
567
+ }
844
568
 
845
- .coverpage-logo span, .coverpage-tc-name span {
846
- font-family: $bodyfont;
847
- text-transform: none;
848
- font-weight: 300;
849
- }
569
+ .coverpage-logo span,
570
+ .coverpage-tc-name span {
571
+ font-family: $bodyfont;
572
+ text-transform: none;
573
+ font-weight: 300;
574
+ }
850
575
 
851
- .coverpage-tc-name {
852
- font-size: 1.2em;
853
- line-height: 1.2em;
854
- margin: 0.25em 0;
855
- }
576
+ .coverpage-tc-name {
577
+ font-size: 1.2em;
578
+ line-height: 1.2em;
579
+ margin: 0.25em 0;
580
+ }
856
581
 
857
582
  /*
858
583
  4.2 Document Identity
859
584
  */
860
585
 
861
- .coverpage-doc-identity {
862
- font-size: 2em;
863
- line-height: 2em;
864
- }
586
+ .coverpage-doc-identity {
587
+ font-size: 2em;
588
+ line-height: 2em;
589
+ }
865
590
 
866
- .coverpage-title .title-second {
867
- display: none;
868
- }
591
+ .coverpage-title .title-second {
592
+ display: none;
593
+ }
869
594
 
870
- .coverpage-stage-block {
871
- font-family: $bodyfont;
872
- font-weight: 600;
873
- font-size: 1.25em;
874
- margin: 2em 0em 2em 0em;
875
- text-transform: uppercase;
876
- }
595
+ .coverpage-stage-block {
596
+ font-family: $bodyfont;
597
+ font-weight: 600;
598
+ font-size: 1.25em;
599
+ margin: 2em 0em 2em 0em;
600
+ text-transform: uppercase;
601
+ }
877
602
 
878
603
  /*
879
604
  4.3 Draft Warning
880
605
  */
881
606
 
882
- .coverpage-warning {
883
- border: #f36f36 solid 2px;
884
- color: #f36f36!important;
607
+ .coverpage-warning {
608
+ border: #f36f36 solid 2px;
609
+ color: #f36f36 !important;
885
610
  margin: 1em 2em;
886
611
  color: #485094;
887
612
  padding: 2em 1em 1em 1em;
888
613
  border-radius: 25px;
889
- }
614
+ }
890
615
 
891
- .coverpage-warning .title {
892
- font-family: $headerfont;
893
- font-weight: 300;
894
- text-transform: uppercase;
895
- font-size: 1.2em;
896
- }
616
+ .coverpage-warning .title {
617
+ font-family: $headerfont;
618
+ font-weight: 300;
619
+ text-transform: uppercase;
620
+ font-size: 1.2em;
621
+ }
897
622
 
898
623
 
899
624
  /*
900
625
  4.4 Copyright
901
626
  */
902
627
 
903
- .boilerplate-copyright {
904
- padding: 1em;
905
- font-size: 0.9em;
906
- text-align: left;
907
- }
628
+ .boilerplate-copyright {
629
+ padding: 1em;
630
+ font-size: 0.9em;
631
+ text-align: left;
632
+ }
908
633
 
909
634
 
910
635
  /* .copyright .name, .copyright .address {color: #485094;} */
@@ -921,36 +646,6 @@ h2 p {
921
646
  To top button
922
647
  */
923
648
 
924
- #myBtn {
925
- font-family: $monospacefont;
926
- font-variant-ligatures: none;
927
- display: none;
928
- position: fixed;
929
- bottom: 20px;
930
- right: 30px;
931
- z-index: 99;
932
- font-size: 12px;
933
- border: none;
934
- outline: none;
935
- background-color: #1f8ca0;
936
- opacity: 0.15;
937
- color: white;
938
- cursor: pointer;
939
- padding: 10px 15px 10px 15px;
940
- border-radius: 4px;
941
- text-transform: uppercase;
942
- }
943
-
944
- #myBtn:hover {
945
- opacity: 1;
946
- }
947
-
948
- a.anchorjs-link:hover {
949
- background: none;
950
- color: #485094;
951
- box-shadow: none;
952
- }
953
-
954
649
  @page {
955
650
  margin: 2cm 1cm;
956
651
  }
@@ -958,20 +653,29 @@ To top button
958
653
  @media print {
959
654
 
960
655
 
961
- .document-info, nav, .copyright {
962
- page-break-before: always;
656
+ .document-info,
657
+ nav,
658
+ .copyright {
659
+ page-break-before: always;
963
660
  }
964
661
 
965
662
  nav {
966
663
  page-break-after: always;
967
664
  }
968
665
 
969
- h1, h2, h3, h4 {
666
+ h1,
667
+ h2,
668
+ h3,
669
+ h4 {
970
670
  page-break-after: avoid;
971
671
  margin-top: 1.2em;
972
672
  }
973
673
 
974
- .note, .figure, .Sourcecode, .pseudocode, table {
674
+ .note,
675
+ .figure,
676
+ .Sourcecode,
677
+ .pseudocode,
678
+ table {
975
679
  page-break-inside: avoid;
976
680
  }
977
681
 
@@ -980,7 +684,7 @@ To top button
980
684
  }
981
685
 
982
686
  .coverpage {
983
- height: 23cm;
687
+ height: 23cm;
984
688
  }
985
689
 
986
690
  .wrapper-top {
@@ -993,87 +697,56 @@ To top button
993
697
  margin-top: -5px;
994
698
  }
995
699
 
996
-
997
- #toggle, .document-stage-band,
998
- .document-type-band, button#myBtn {
999
- display: none;
1000
- }
1001
-
1002
700
  button#myBtn {
1003
701
  background-color: white;
1004
702
  }
1005
703
 
1006
704
  .container {
1007
- padding-left: 0;
705
+ padding-left: 0;
1008
706
  }
1009
707
 
1010
- nav {
1011
- position: relative;
1012
- width: auto;
1013
- font-size: 0.9em;
1014
- overflow: auto;
1015
- padding: 0;
1016
- margin-right: 0;
1017
- background-color: white;
708
+ h1.content {
709
+ margin-top: 2em;
710
+ line-height: 2.5em;
1018
711
  }
1019
712
 
1020
- #toc .toc-active a {
1021
- color: #4D7EA5;
713
+ h1 {
714
+ font-size: 1.5em;
715
+ line-height: 1.5;
1022
716
  }
1023
717
 
1024
- #toc .toc-active, #toc li:hover {
1025
- background: white;
1026
- box-shadow: none !important; }
1027
-
1028
- #toc li:hover a {
1029
- color: black; }
1030
-
1031
-
1032
- h1.content {
1033
- margin-top: 2em;
1034
- line-height: 2.5em;
1035
- }
1036
-
1037
- h1 {
1038
- font-size: 1.5em;
1039
- line-height: 1.5;
1040
- }
1041
-
1042
- h2 {
1043
- font-size: 1.2em
1044
- }
1045
-
1046
- h3 {
1047
- font-size: 1em;
1048
- }
718
+ h2 {
719
+ font-size: 1.2em
720
+ }
1049
721
 
1050
- .Note {
1051
- background-color: #fff495;
1052
- color: #47430c;
1053
- padding: 5px;
1054
- margin: 2em 0 1em 0; }
722
+ h3 {
723
+ font-size: 1em;
724
+ }
1055
725
 
1056
- .Note p {
1057
- padding: 0 5px 0 5px;
1058
- }
726
+ .Note {
727
+ background-color: #fff495;
728
+ color: #47430c;
729
+ padding: 5px;
730
+ margin: 2em 0 1em 0;
731
+ }
1059
732
 
1060
- .Admonition {
1061
- background-color: #ffcccc;
1062
- color: #47430c;
1063
- padding: 5px;
1064
- margin: 2em 0 1em 0; }
733
+ .Note p {
734
+ padding: 0 5px 0 5px;
735
+ }
1065
736
 
1066
- .Admonition p {
1067
- padding: 0 5px 0 5px;
1068
- }
737
+ .Admonition {
738
+ background-color: #ffcccc;
739
+ color: #47430c;
740
+ padding: 5px;
741
+ margin: 2em 0 1em 0;
742
+ }
1069
743
 
1070
- nav {
1071
- line-height: 1;
1072
- }
744
+ .Admonition p {
745
+ padding: 0 5px 0 5px;
746
+ }
1073
747
 
1074
- .wrapper-top-bottom {
1075
- display: none;
1076
- }
748
+ .wrapper-top-bottom {
749
+ display: none;
750
+ }
1077
751
 
1078
752
  }
1079
-