metanorma-csd 1.3.2 → 1.3.3

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: cf3792492d913d0f25d59406c97b34455ecd5740e9d351bb59722183934a58fe
4
- data.tar.gz: 2a32f5f4c9131f3fa8a542983964685cc27fac80df193a257d178319cd699584
3
+ metadata.gz: 45f34c23586c6eecb6337386a86ed6d30277f6d080a963c6329d74f5d474f3cb
4
+ data.tar.gz: c6f24202a6053d4acb1692f1fe44bd51e95cc0e46019cc5a6854b127fecf18f0
5
5
  SHA512:
6
- metadata.gz: c33058fbc74935ac62c3f1aae14704722e941c5f93244890fb6f7b77b424367d2b6769efffc323f738f1665412d568edfc18a19c41aea1018b38dfb173e971e3
7
- data.tar.gz: 3f3eaba19695456957f3e47cd952021497ea5aed12c82034a9d14ce097bb2f174e36134a7a2177c5e14a7c71f1d47613f72d4dfa4dddfd79aa2bfa14a7f0bdab
6
+ metadata.gz: 69f5ba74b5cf360cf36ea346f75b5d0baf1463d043a47cfa1d2a12e08ccee74544eaeac402aeda6e5064697df93750d8508d2e90652825c4104fe19f525e86c6
7
+ data.tar.gz: dbf2cbcad52edf0a0238352a3a774bea786061c9559d3444b3db0ea4878ff31d8cadc3da8fc34867da325e8d36cac3a23d89e8a1032f30a68814b2cffda9bc49
@@ -0,0 +1,34 @@
1
+ # Auto-generated !!! Do not edit it manually
2
+ # use ci-master https://github.com/metanorma/metanorma-build-scripts
3
+ name: macos
4
+
5
+ on: [push, pull_request]
6
+
7
+ jobs:
8
+ test-macos:
9
+ name: Test on Ruby ${{ matrix.ruby }} macOS
10
+ runs-on: macos-latest
11
+ strategy:
12
+ matrix:
13
+ ruby: [ '2.6', '2.5', '2.4' ]
14
+ steps:
15
+ - uses: actions/checkout@master
16
+ - name: Use Ruby
17
+ uses: actions/setup-ruby@v1
18
+ with:
19
+ ruby-version: ${{ matrix.ruby }}
20
+ architecture: 'x64'
21
+ - name: Update gems
22
+ run: |
23
+ sudo gem install bundler -v "~> 2" --force
24
+ bundle install --jobs 4 --retry 3
25
+ - name: Use Node
26
+ uses: actions/setup-node@v1
27
+ with:
28
+ node-version: '8'
29
+ - name: Install Puppeteer
30
+ run: |
31
+ npm install -g puppeteer
32
+ - name: Run specs
33
+ run: |
34
+ bundle exec rake
@@ -0,0 +1,34 @@
1
+ # Auto-generated !!! Do not edit it manually
2
+ # use ci-master https://github.com/metanorma/metanorma-build-scripts
3
+ name: ubuntu
4
+
5
+ on: [push, pull_request]
6
+
7
+ jobs:
8
+ test-linux:
9
+ name: Test on Ruby ${{ matrix.ruby }} Ubuntu
10
+ runs-on: ubuntu-latest
11
+ strategy:
12
+ matrix:
13
+ ruby: [ '2.6', '2.5', '2.4' ]
14
+ steps:
15
+ - uses: actions/checkout@master
16
+ - name: Use Ruby
17
+ uses: actions/setup-ruby@v1
18
+ with:
19
+ ruby-version: ${{ matrix.ruby }}
20
+ architecture: 'x64'
21
+ - name: Update gems
22
+ run: |
23
+ gem install bundler -v "~> 2"
24
+ bundle install --jobs 4 --retry 3
25
+ - name: Use Node
26
+ uses: actions/setup-node@v1
27
+ with:
28
+ node-version: '8'
29
+ - name: Install Puppeteer
30
+ run: |
31
+ npm install -g puppeteer
32
+ - name: Run specs
33
+ run: |
34
+ bundle exec rake
@@ -0,0 +1,37 @@
1
+ # Auto-generated !!! Do not edit it manually
2
+ # use ci-master https://github.com/metanorma/metanorma-build-scripts
3
+ name: windows
4
+
5
+ on: [push, pull_request]
6
+
7
+ jobs:
8
+ test-windows:
9
+ name: Test on Ruby ${{ matrix.ruby }} Windows
10
+ runs-on: windows-latest
11
+ strategy:
12
+ matrix:
13
+ ruby: [ '2.6', '2.5', '2.4' ]
14
+ steps:
15
+ - uses: actions/checkout@master
16
+ - name: Use Ruby
17
+ uses: actions/setup-ruby@v1
18
+ with:
19
+ ruby-version: ${{ matrix.ruby }}
20
+ architecture: 'x64'
21
+ - name: Update gems
22
+ shell: pwsh
23
+ run: |
24
+ gem install bundler -v "~> 2"
25
+ bundle config --local path vendor/bundle
26
+ bundle update
27
+ bundle install --jobs 4 --retry 3
28
+ - name: Use Node
29
+ uses: actions/setup-node@v1
30
+ with:
31
+ node-version: '8'
32
+ - name: Install Puppeteer
33
+ run: |
34
+ npm install -g puppeteer
35
+ - name: Run specs
36
+ run: |
37
+ bundle exec rake
@@ -443,6 +443,9 @@
443
443
  <optional>
444
444
  <attribute name="subsequence"/>
445
445
  </optional>
446
+ <optional>
447
+ <ref name="tname"/>
448
+ </optional>
446
449
  <oneOrMore>
447
450
  <choice>
448
451
  <ref name="formula"/>
@@ -44,6 +44,27 @@
44
44
  </oneOrMore>
45
45
  </element>
46
46
  </define>
47
+ <define name="references">
48
+ <element name="references">
49
+ <optional>
50
+ <attribute name="id">
51
+ <data type="ID"/>
52
+ </attribute>
53
+ </optional>
54
+ <optional>
55
+ <ref name="section-title"/>
56
+ </optional>
57
+ <zeroOrMore>
58
+ <ref name="BasicBlock"/>
59
+ </zeroOrMore>
60
+ <zeroOrMore>
61
+ <ref name="bibitem"/>
62
+ <zeroOrMore>
63
+ <ref name="note"/>
64
+ </zeroOrMore>
65
+ </zeroOrMore>
66
+ </element>
67
+ </define>
47
68
  </include>
48
69
  <define name="standard-document">
49
70
  <element name="standard-document">
@@ -0,0 +1,128 @@
1
+ .coverpage {
2
+ text-align: center;
3
+ padding-left: 1.5em;
4
+ }
5
+
6
+ .wrapper-top {
7
+ background-color: #0e1a85;
8
+ background-image: url('data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAQAAAAEACAYAAABccqhmAAAACXBIWXMAABYlAAAWJQFJUiTwAAADwUlEQVR4nO3YgQ2AMAwDwcAiWZ1NizrH30lIeIEq9nPOGSDqPgC7+93v/suy3Mmvhx+6VAAIcwFAmc4nyzYAIMgGAGEuACirdyBZtgEASTYACHMBQFm9A8myDQBIsgFAmAsAyuodSJZtAECSDQDCXABQVu9AsmwDAJJsABDmAoCyegeSZRsAkGQDgDAXAJTVO5As2wCAJBsAhLkAoKzegWTZBgAk2QAgzAUAZfUOJMs2ACDJBgBhLgAoq3cgWbYBAEk2AAhzAUBZvQPJsg0ASLIBQJgLAMrqHUiWbQBAkg0AwlwAUFbvQLJsAwCSbAAQ5gKAsnoHkmUbAJBkA4AwFwCU1TuQLNsAgCQbAIS5AKCs3oFk2QYAJNkAIMwFAGX1DiTLNgAgyQYAYS4AKKt3IFm2AQBJNgAIcwFAWb0DybINAEiyAUCYCwDK6h1Ilm0AQJINAMJcAFBW70CybAMAkmwAEOYCgLJ6B5JlGwCQZAOAMBcAlNU7kCzbAIAkGwCEuQCgrN6BZNkGACTZACDMBQBl9Q4kyzYAIMkGAGEuACirdyBZtgEASTYACHMBQFm9A8myDQBIsgFAmAsAyuodSJZtAECSDQDCXABQVu9AsmwDAJJsABDmAoCyegeSZRsAkGQDgDAXAJTVO5As2wCAJBsAhLkAoKzegWTZBgAk2QAgzAUAZfUOJMs2ACDJBgBhLgAoq3cgWbYBAEk2AAhzAUBZvQPJsg0ASLIBQJgLAMrqHUiWbQBAkg0AwlwAUFbvQLJsAwCSbAAQ5gKAsnoHkmUbAJBkA4AwFwCU1TuQLNsAgCQbAIS5AKCs3oFk2QYAJNkAIMwFAGX1DiTLNgAgyQYAYS4AKKt3IFm2AQBJNgAIcwFAWb0DybINAEiyAUCYCwDK6h1Ilm0AQJINAMJcAFBW70CybAMAkmwAEOYCgLJ6B5JlGwCQZAOAMBcAlNU7kCzbAIAkGwCEuQCgrN6BZNkGACTZACDMBQBl9Q4kyzYAIMkGAGEuACirdyBZtgEASTYACHMBQFm9A8myDQBIsgFAmAsAyuodSJZtAECSDQDCXABQVu9AsmwDAJJsABDmAoCyegeSZRsAkGQDgDAXAJTVO5As2wCAJBsAhLkAoKzegWTZBgAk2QAgzAUAZfUOJMs2ACDJBgBhLgAoq3cgWbYBAEk2AAhzAUBZvQPJsg0ASLIBQJgLAMrqHUiWbQBAkg0AwlwAUFbvQLJsAwCSbAAQ5gKAsnoHkmUbAJBkA4AwFwCU1TuQLNsAgCQbAFTNzA9ggAr9aahO8QAAAABJRU5ErkJggg==');
9
+ color: #ffffff;
10
+ padding: 2em 0;
11
+ }
12
+
13
+ .doc-number {
14
+ font-size: 0.5em;
15
+ font-family: $bodyfont;
16
+ }
17
+
18
+ .coverpage-maturity {
19
+ @include coverpageStageBlock();
20
+ }
21
+
22
+ .coverpage-title {
23
+ padding-bottom: 0.5em;
24
+ font-family: $headerfont;
25
+ font-size: 1.2em;
26
+ line-height: 1.2em;
27
+ font-weight: 600;
28
+ padding-left: 1em;
29
+ padding-right: 1em;
30
+ }
31
+
32
+ .title-section1 {
33
+ padding: 0 2em 0 3em;
34
+ }
35
+
36
+ .prefatory-section {
37
+ padding: 0 3em 0 6em;
38
+ }
39
+
40
+ .zzSTDTitle1, .MsoCommentText {
41
+ display: none;
42
+ }
43
+
44
+ .coverpage-logo span, .coverpage-tc-name span {
45
+ font-family: $bodyfont;
46
+ text-transform: uppercase;
47
+ font-weight: 600;
48
+ }
49
+
50
+ .coverpage-tc-name {
51
+ font-size: 1.2em;
52
+ line-height: 1.2em;
53
+ margin: 0.25em 0;
54
+ }
55
+
56
+ .coverpage-contributors {
57
+ margin-top: 1em;
58
+ line-height: 1.5em;
59
+ font-weight: 300;
60
+
61
+ .role {
62
+ font-variant-caps: all-small-caps;
63
+ background: #f7f7f7;
64
+ border-radius: 5px;
65
+ padding: 0.1em 0.5em;
66
+ margin-left: 1em;
67
+ color: #485094;
68
+ font-size: 0.9em;
69
+ font-weight: 900;
70
+ }
71
+
72
+ .person {
73
+ display: block;
74
+ font-weight: 300;
75
+ }
76
+ }
77
+
78
+
79
+ // Document Identity
80
+
81
+ .coverpage-doc-identity {
82
+ font-size: 2em;
83
+ line-height: 2em;
84
+ }
85
+
86
+ .coverpage-title .title-second {
87
+ display: none;
88
+ }
89
+
90
+ .coverpage-stage-block {
91
+ font-family: $bodyfont;
92
+ font-weight: 700;
93
+ font-size: 1.25em;
94
+ margin: 2em 0em 2em 0em;
95
+ text-transform: uppercase;
96
+ }
97
+
98
+
99
+ // Draft warning
100
+
101
+ .coverpage-warning {
102
+ border-top: solid 1px #f36f36;
103
+ border-bottom: solid 1px #f36f36;
104
+ margin: 1em 2em;
105
+ color: #485094;
106
+ padding: 1em;
107
+
108
+ .title {
109
+ color: #f36f36;
110
+ font-family: $headerfont;
111
+ font-weight: 700;
112
+ text-transform: uppercase;
113
+ font-size: 1.2em;
114
+ }
115
+ }
116
+
117
+
118
+ // Copyright
119
+
120
+ .copyright {
121
+ padding: 1em;
122
+ font-size: 0.9em;
123
+ text-align: left;
124
+
125
+ .name, .address {
126
+ color: #485094;
127
+ }
128
+ }
@@ -1,339 +1,4 @@
1
- /*
2
- 0 CSS RESET
3
- */
4
-
5
- /* http://meyerweb.com/eric/tools/css/reset/
6
- v2.0 | 20110126
7
- License: none (public domain)
8
- */
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
-
61
- html, body, div, span, applet, object, iframe,
62
- p, blockquote,
63
- a, abbr, acronym, address, big, cite,
64
- del, dfn, em, img, ins, q, s,
65
- small, strike, strong, sub, sup, var,
66
- b, u, i, center,
67
- dl, dt, dd, ol, ul, li,
68
- fieldset, form, label, legend,
69
- table, caption, tbody, tfoot, thead, tr, th, td,
70
- article, aside, canvas, details, embed,
71
- figure, figcaption, footer, header, hgroup,
72
- menu, nav, output, ruby, section, summary,
73
- time, mark, audio, video {
74
- font-family: $bodyfont;
75
- }
76
-
77
- code, pre, tt, kbd, samp {
78
- font-family: $monospacefont;
79
- font-variant-ligatures: none;
80
- }
81
-
82
- code *, pre *, tt *, kbd *, samp * {
83
- font-family: $monospacefont !important;
84
- font-variant-ligatures: none;
85
- }
86
-
87
- h1, h2, h3, h4, h5, h6, .h2Annex {
88
- font-family: $headerfont;
89
- }
90
-
91
- dl {
92
- display: grid;
93
- grid-template-columns: max-content auto;
94
- }
95
-
96
- dt {
97
- grid-column-start: 1;
98
- }
99
-
100
- dd {
101
- grid-column-start: 2;
102
- }
103
-
104
- dd p, dt p {
105
- margin-top: 0px;
106
- }
107
-
108
-
109
- /* HTML5 display-role reset for older browsers */
110
- article, aside, details, figcaption, figure,
111
- footer, header, hgroup, menu, nav, section {
112
- display: block;
113
- }
114
- body {
115
- line-height: 1;
116
- }
117
- blockquote, q {
118
- quotes: none;
119
- }
120
- blockquote:before, blockquote:after,
121
- q:before, q:after {
122
- content: '';
123
- content: none;
124
- }
125
- table {
126
- border-collapse: collapse;
127
- border-spacing: 0;
128
- }
129
-
130
-
131
- /*
132
- 1. HTML & Body
133
- */
134
-
135
- body {
136
- margin: 0;
137
- margin-left: auto;
138
- margin-right: auto;
139
- max-width: 100%;
140
- color: #1d1d1d;
141
- font-weight: 300;
142
- font-size: 15px;
143
- line-height: 1.4em;
144
- background-color: #ffffff;
145
- }
146
-
147
- main {margin: 0 3em 0 6em;}
148
-
149
- #toc{
150
- font-family: $bodyfont;
151
- font-weight: 400;
152
- }
153
-
154
- /*
155
- 2. Responsive navigation layout
156
- */
157
-
158
-
159
- @media screen and (min-width: 768px) {
160
- nav {
161
- position: fixed;
162
- top: 0;
163
- bottom: 0;
164
- left: 0;
165
- width: 323px;
166
- font-size: 0.9em;
167
- overflow: auto;
168
- padding: 0 0 0 45px;
169
- margin-right: 30px;
170
- background-color:#f7f7f7;
171
- }
172
-
173
- #toggle {
174
- position: fixed;
175
- height: 100%;
176
- width: 30px;
177
- background-color:#1d1d1d;
178
- color: white!important;
179
- cursor: pointer;
180
- z-index: 100;
181
- }
182
-
183
- #toggle span {
184
- text-align: center;
185
- width: 100%;
186
- position: absolute;
187
- top: 50%;
188
- transform: translate(0, -50%);
189
-
190
- }
191
-
192
-
193
- .container {
194
- padding-left: 360px;
195
- }
196
-
197
- .rule.toc {
198
- display: none;
199
- }
200
-
201
- h1.toc-contents {
202
- margin-top: 1em;
203
- }
204
-
205
- ul#toc-list {
206
- padding:0;
207
- margin:0;
208
- }
209
- }
210
-
211
- @media screen and (max-width: 768px) {
212
- #toc {
213
- padding: 0 1.5em 0 1.5em;
214
- overflow: visible;
215
- }
216
- }
217
-
218
- div.figure > img {
219
- margin-left: auto;
220
- margin-right: auto;
221
- display: block;
222
- max-width: 100%;
223
- height: auto;
224
- }
225
-
226
-
227
- #toc ul {
228
- margin: 0;
229
- padding: 0;
230
- list-style: none;
231
- }
232
-
233
- #toc li a {
234
- padding: 5px 10px;
235
- }
236
-
237
- #toc a {
238
- color: #485094;
239
- text-decoration: none;
240
- display: block;
241
- }
242
-
243
- #toc a:hover {
244
- box-shadow: none;
245
- color: white;
246
- }
247
-
248
- #toc .h2 {
249
- padding-left: 30px;
250
- }
251
-
252
- #toc .h3 {
253
- padding-left: 50px;
254
- }
255
-
256
- #toc .toc-active a {
257
- color: white;
258
- }
259
-
260
- #toc .toc-active, #toc li:hover {
261
- background: #1d1d1d;
262
- box-shadow: inset -5px 0px 10px -5px #1d1d1d!important;
263
-
264
- }
265
-
266
- #toc li:hover a {
267
- color: white;
268
- }
269
-
270
- /*
271
- Document types + stages
272
- */
273
-
274
- .document-type-band {
275
- left:0;
276
- top:180px;
277
- height: 100%;
278
- position: fixed;
279
- display: block;
280
- z-index: 99;
281
- /*box-shadow: -5px 0px 10px #1d1d1d*/
282
-
283
- }
284
-
285
- .document-stage-band {
286
- left:0;
287
- top:0;
288
- height: 100%;
289
- position: fixed;
290
- display: block;
291
- z-index: 98;
292
- box-shadow: -5px 0px 10px #1d1d1d
293
- }
294
-
295
- .document-type {
296
- position: relative;
297
- width: 25px;
298
- }
299
-
300
- .document-stage {
301
- position: relative;
302
- width: 25px;
303
- }
304
-
305
- p.document-type, p.document-stage {
306
- color: white;
307
- text-transform: uppercase;
308
- font-size: 0.9em;
309
- font-weight: 400;
310
- letter-spacing: 0.05em;
311
- margin:0;
312
- margin-left: 6px;
313
- writing-mode:tb-rl;
314
- transform:rotate(180deg);
315
- white-space:nowrap;
316
- display:block;
317
- bottom:0;
318
- }
319
-
320
- p.document-type {
321
- font-weight: 400;
322
- height: 210px;
323
- }
324
-
325
- #governance-band p.document-type {
326
- font-weight: 400;
327
- height: 230px!important;
328
- }
329
-
330
- p.document-stage {
331
- font-weight: 300;
332
- height:160px;
333
- }
334
-
335
-
336
- $doctype-colors-list:(
1
+ $doctype-colors-list: (
337
2
  standard: #0AC442,
338
3
  directive: #540D6E,
339
4
  guide: #D183C9,
@@ -345,16 +10,8 @@ $doctype-colors-list:(
345
10
  advisory: #BD9391
346
11
  );
347
12
 
348
- @each $key,$val in $doctype-colors-list{
349
- ##{$key}-band {
350
- background-color: #{$val};
351
- }
352
- ##{$key} {
353
- border-bottom: solid 3px #{$val};
354
- }
355
- }
356
13
 
357
- $docstage-colors-list:(
14
+ $docstage-colors-list: (
358
15
  proposal: #39A0ED,
359
16
  working-draft: #2D7393,
360
17
  committee-draft: #2A6B7C,
@@ -365,141 +22,130 @@ $docstage-colors-list:(
365
22
  cancelled: #2E382E,
366
23
  );
367
24
 
368
- @each $key,$val in $docstage-colors-list{
369
- ##{$key}-band {
370
- background-color: #{$val};
371
- }
372
- ##{$key} {
373
- border-bottom: solid 3px #{$val};
374
- }
25
+
26
+ @import 'base_style/all';
27
+
28
+
29
+ body {
30
+ // line-height: 1;
31
+
32
+ @include bodyStyle1(
33
+ $fontSize: 15px, $fontWeight: 300, $lineHeight: 1.4em,
34
+ $colorText: #1d1d1d, $colorBackground: #fff);
375
35
  }
376
36
 
377
- .coverpage-maturity {
378
- font-family: $bodyfont;
379
- font-weight: 400;
380
- font-size: 1em;
381
- margin: 0 0 2em 0;
382
- text-transform: uppercase;
37
+ .container {
38
+ @include sidebarNavContainer(360px);
383
39
  }
384
40
 
41
+ nav {
42
+ @include sidebarNav(
43
+ $offsetLeft: 45px,
44
+ $colorBg: #f7f7f7,
45
+ $width: 323px);
385
46
 
386
- /*
387
- 3. TYPOGRAPHY
388
- */
47
+ #toc {
48
+ @include sidebarToc();
49
+ }
50
+ }
389
51
 
390
- /*
391
- 3.1 Titles
392
- */
52
+ #toggle {
53
+ @include sidebarNavToggle(
54
+ $colorBg: #1d1d1d,
55
+ $colorFg: white);
56
+ }
393
57
 
394
- h1,h2,h3,h4,h5,h6 {
395
- font-family: $headerfont;
396
- color: #0e1a85;
397
- font-weight: 600;
398
- margin-top: 2em;
399
- margin-bottom: 0.3em;
400
- }
58
+ #toc {
59
+ @include toc($colorLink: #485094, $colorLinkActiveBg: #1d1d1d, $colorLinkActiveFg: white);
60
+ }
401
61
 
402
- h1 {
403
- font-size: 1.4em;
404
- text-transform: uppercase;
405
- margin-top: 2em;
406
- }
62
+ .rule {
63
+ @include rule(1px, #0e1a85, 2em 0);
407
64
 
408
- h1#content {
409
- margin-top: 2em;
65
+ &.toc {
66
+ @include tocSeparator();
410
67
  }
68
+ }
411
69
 
412
- h2 {
413
- font-size: 1.3em;
414
- font-weight: 400;
415
- }
70
+ .document-stage-band {
71
+ @include docBand($order: 1, $textLength: 160px, $fontWeight: 300);
72
+ }
416
73
 
417
- h3 {
418
- font-size: 1.1em;
419
- font-weight: 400;
420
- }
74
+ .document-type-band {
75
+ @include docBand($order: 2, $textLength: 210px, $offset: 180px);
76
+ }
421
77
 
422
- /*
423
- span[id^="toc"]:after {
424
- float: left;
425
- padding-right: 4px;
426
- margin-left: -20px;
427
- font-family: "Font Awesome 5 Free";
428
- font-weight: 900;
429
- font-size: 0.8em;
430
- color: #cfcfcf;
431
- content: "\f0c1";
432
- }
433
- */
434
78
 
435
- .TermNum, .Terms, .AltTerms {
436
- color: #485094;
437
- font-weight: 400;
438
- }
439
79
 
440
- p.TermNum {
441
- font-size: 0.9em;
442
- line-height: 1em;
443
- margin: 0;
80
+ /* Typograpy */
81
+
82
+ h1, h2, h3, h4, h5, h6 {
83
+ color: #0e1a85;
84
+ font-weight: 600;
85
+ margin-top: 2em;
86
+ margin-bottom: 0.3em;
87
+ }
88
+
89
+ h1 {
90
+ font-size: 1.4em;
91
+ text-transform: uppercase;
92
+ margin-top: 2em;
93
+
94
+ &#content {
444
95
  margin-top: 2em;
445
96
  }
97
+ }
446
98
 
447
- p.Terms {
448
- font-size: 1.1em;
449
- line-height: 1.7em;
450
- margin: 0;
451
- }
99
+ h2 {
100
+ font-size: 1.3em;
101
+ font-weight: 400;
452
102
 
453
- /*
454
- p.AltTerms {
455
- font-style: italic;
456
- margin: 0;
103
+ p {
104
+ display: inline;
457
105
  }
458
- */
106
+ }
459
107
 
460
- span.obligation {
461
- font-weight: 400;
108
+ h3 {
109
+ font-size: 1.1em;
110
+ font-weight: 400;
462
111
  }
463
112
 
113
+ p {
114
+ margin-top: 1em;
115
+ margin-bottom: 1em;
116
+ }
464
117
 
465
- /*
466
- 3.2 Links
467
- */
468
118
 
469
- a, a:visited{
470
- text-decoration: none;
471
- color: #485094;
472
- }
119
+ /* Terms */
473
120
 
474
- a:hover {
475
- color: white;
476
- background: #1d1d1d;
477
- box-shadow: 3px 0 0 #1d1d1d, -3px 0 0 #1d1d1d;
478
- /* padding: 2px 0 2px 0; */
479
- }
121
+ .TermNum, .Terms, .AltTerms {
122
+ color: #485094;
123
+ font-weight: 400;
124
+ }
480
125
 
481
- ::selection {
482
- background: #1d1d1d; /* WebKit/Blink Browsers */
483
- color: white;
484
- }
485
- ::-moz-selection {
486
- background: #1d1d1d; /* Gecko Browsers */
487
- color: white;
488
- }
126
+ p.TermNum {
127
+ font-size: 0.9em;
128
+ line-height: 1em;
129
+ margin: 0;
130
+ margin-top: 2em;
131
+ }
132
+
133
+ p.Terms {
134
+ font-size: 1.1em;
135
+ line-height: 1.7em;
136
+ margin: 0;
137
+ }
489
138
 
490
- .contact-info a:hover {
491
- color: #485094;
492
- text-decoration: underline;
493
- background: none;
494
- box-shadow: 0 0 0 0;
495
- }
496
139
 
140
+ /* Links, selection */
497
141
 
142
+ @include elementStyles(
143
+ $color: #485094,
144
+ $colorHighlightBg: #1d1d1d,
145
+ $colorHighlightFg: white);
498
146
 
499
- /*
500
- 3.3 Lists
501
- */
502
147
 
148
+ /* Lists */
503
149
 
504
150
  ol {
505
151
  margin-left: 1.2em;
@@ -537,25 +183,7 @@ main li {
537
183
  }
538
184
 
539
185
 
540
-
541
- /*
542
- 3.4 Rules
543
- */
544
-
545
- .rule {
546
- width: 100%;
547
- height: 1px;
548
- background-color: #0e1a85;
549
- margin: 2em 0;
550
- }
551
-
552
- h2 p {
553
- display: inline;
554
- }
555
-
556
- /*
557
- 3.5 Bibliograhy
558
- */
186
+ /* Bibliograhy */
559
187
 
560
188
  p.Biblio, p.NormRef {
561
189
  margin-top: 1em;
@@ -566,111 +194,82 @@ p.Biblio:before, p.NormRef:before {
566
194
  padding-right: 1em;
567
195
  }
568
196
 
569
- /*
570
- 3.6 Source Code + figures
571
- */
572
197
 
573
- .figure, .Sourcecode {
574
- font-family: $monospacefont;
575
- font-variant-ligatures: none;
576
- background-color: #f7f7f7;
577
- font-size: 0.8em;
578
- line-height: 1.6em;
579
- padding: 1.5em;
580
- margin: 2em 0 1em 0;
581
- overflow: auto;
582
- }
198
+ /* Blocks */
583
199
 
584
- .FigureTitle, .SourceTitle, .AdmonitionTitle {
585
- font-weight: 700;
586
- font-size: 1em;
587
- text-align: center;
200
+ .figure {
201
+ @include figureBlock();
202
+ @include monospaceBlockStyle();
588
203
  }
589
204
 
590
- /*
591
- 3.7 Notes
592
- */
205
+ .Sourcecode {
206
+ @include sourceBlock(#f7f7f7);
593
207
 
594
- .Note, .Admonition {
595
- color: #47430c;
596
- padding: 0.25em;
597
- margin: 0;
208
+ .example & {
209
+ background: none;
210
+ }
211
+ }
212
+
213
+ .Admonition {
214
+ @include admonitionBlock();
598
215
  }
599
216
 
600
- .Note p, .Admonition p {
601
- margin: 1em;
217
+ .Note, .Admonition {
218
+ color: #47430c;
219
+ padding: 0.25em;
220
+ margin: 0;
602
221
  }
603
222
 
604
223
  .Note {
605
224
  background-color: #fff495;
225
+
226
+ p {
227
+ margin: 1em;
228
+ }
606
229
  }
607
230
 
608
231
  .Admonition {
609
- background-color: #ffcccc;
610
232
  }
611
233
 
612
- /*
613
- 3.8 Examples
614
- */
234
+
235
+ /* Examples */
615
236
 
616
237
  table.example {
617
- background-color: #e1eef1;
238
+ background-color: #e1eef1;
618
239
  }
619
240
 
620
241
  td.example {
621
- padding: 0 1em 0 1em;
622
- margin: 2em 0 1em 0;
242
+ padding: 0 1em 0 1em;
243
+ margin: 2em 0 1em 0;
623
244
  }
624
245
 
625
246
  .example {
626
- background-color: #e1eef1;
627
- padding: 0.5em;
628
- margin: 2em 0 1em 0;
629
- text-align: left;
630
- padding-left: 2em;
247
+ background-color: #e1eef1;
248
+ padding: 0.5em;
249
+ margin: 2em 0 1em 0;
250
+ text-align: left;
251
+ padding-left: 2em;
631
252
  }
632
253
 
633
254
  .example p {
634
- margin: 0;
255
+ margin: 0;
635
256
  }
636
257
 
637
258
  .example .example-title {
638
- font-weight: 700;
639
- text-transform: uppercase;
640
- margin-top:0;
641
- margin-left:-1.5em;
259
+ font-weight: 700;
260
+ text-transform: uppercase;
261
+ margin-left:-1.5em;
642
262
  }
643
263
 
644
-
645
264
  .example .Sourcecode {
646
- background: none;
647
- }
648
-
649
- /*
650
- 3.9 Tables
651
- */
652
-
653
- table {
654
- border-collapse: collapse;
655
- width: 100%;
656
- font-weight: 300;
657
- margin: 1em 0 2em 0;
658
- margin-left: auto;
659
- margin-right: auto;
660
- padding-right: 2em;
265
+ background: none;
661
266
  }
662
267
 
663
- table, th, td {
664
- border: 1px solid black;
665
- font-size: 0.95em;
666
- }
667
268
 
668
- td, th {
669
- padding: 1em;
670
- }
269
+ /* Tables */
671
270
 
672
- td.header {
673
- font-weight: 400;
271
+ table {
272
+ @include table($border: 1px solid black);
674
273
  }
675
274
 
676
275
  p.TableTitle {
@@ -679,9 +278,8 @@ p.TableTitle {
679
278
  font-weight: 400;
680
279
  }
681
280
 
682
- /*
683
- 3.10 Footnotes
684
- */
281
+
282
+ /* Footnotes */
685
283
 
686
284
  a.footnote-number {
687
285
  vertical-align: super;
@@ -693,38 +291,31 @@ a.footnote-number {
693
291
  }
694
292
 
695
293
 
696
- /*
697
- 3.11 Blockquotes
698
- */
294
+ /* Blockquotes */
699
295
 
700
296
  .Quote {
701
- background-color: #f7f7f7;
702
- font-style: italic;
703
- width: 80%;
704
- padding: 1.5em;
705
- margin-top: 2em;
706
- margin-left: auto;
707
- margin-right: auto;
297
+ background-color: #f7f7f7;
298
+ font-style: italic;
299
+ width: 80%;
300
+ padding: 1.5em;
301
+ margin-top: 2em;
302
+ margin-left: auto;
303
+ margin-right: auto;
708
304
  }
709
305
 
710
- .QuoteAttribution
711
- {text-align:right;}
306
+ .QuoteAttribution {
307
+ text-align: right;
308
+ }
712
309
 
713
310
 
714
- /*
715
- 3.12 Formulas
716
- */
311
+ /* Formulas */
717
312
 
718
313
  .formula, .Formula {
719
- background-color: #f7f7f7;
720
- padding: 1.5em;
721
- margin-top: 2em;
722
- text-align: center;
314
+ @include formulaBlock(#f7f7f7);
723
315
  }
724
316
 
725
- /*
726
- 3.13 Contact Info
727
- */
317
+
318
+ /* Contact Info */
728
319
 
729
320
  .contact-info {
730
321
  background-color: #f7f7f7;
@@ -734,232 +325,59 @@ a.footnote-number {
734
325
  margin-left: auto;
735
326
  margin-right: auto;
736
327
  text-align: left;
737
- }
738
-
739
- .contact-info p, .contact-info a {
740
- font-family: $monospacefont;
741
- font-variant-ligatures: none;
742
- font-weight: 400;
743
- line-height: 1.3em;
744
- font-size: 1em;
745
- margin: 0;
746
- }
747
-
748
- .contact-info .name {
749
- font-weight: 700;
750
- }
751
-
752
- /*
753
- Keywords
754
- */
755
-
756
- span.keyword {
757
- font-weight: 600;
758
- }
759
-
760
- /*
761
- Paragraphs
762
- */
763
-
764
- p {
765
- margin-top: 1em;
766
- margin-bottom: 1em;
767
- }
768
328
 
769
- /* Admonitions */
770
-
771
- .Admonition, .admonition {
772
- background-color: #ffb3b3;
773
- /* color: #47430c;*/
774
- padding: 0.5em;
775
- margin: 1.5em 0 1.5em 0;
776
- text-align: left;
777
- }
778
-
779
- .Admonition p, .admonition p {
329
+ p, a {
330
+ font-family: $monospacefont;
331
+ font-variant-ligatures: none;
332
+ font-weight: 400;
333
+ line-height: 1.3em;
334
+ font-size: 1em;
780
335
  margin: 0;
781
- }
782
-
783
-
784
- /*
785
- 4.0 Page header
786
- */
787
-
788
- /*
789
- 4.1 Top Logo
790
- */
791
-
792
- .wrapper-top {
793
- background-color:#0e1a85;
794
- /* background-image: url("img/dots@2x.png"); */
795
- background-image: url('data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAQAAAAEACAYAAABccqhmAAAACXBIWXMAABYlAAAWJQFJUiTwAAADwUlEQVR4nO3YgQ2AMAwDwcAiWZ1NizrH30lIeIEq9nPOGSDqPgC7+93v/suy3Mmvhx+6VAAIcwFAmc4nyzYAIMgGAGEuACirdyBZtgEASTYACHMBQFm9A8myDQBIsgFAmAsAyuodSJZtAECSDQDCXABQVu9AsmwDAJJsABDmAoCyegeSZRsAkGQDgDAXAJTVO5As2wCAJBsAhLkAoKzegWTZBgAk2QAgzAUAZfUOJMs2ACDJBgBhLgAoq3cgWbYBAEk2AAhzAUBZvQPJsg0ASLIBQJgLAMrqHUiWbQBAkg0AwlwAUFbvQLJsAwCSbAAQ5gKAsnoHkmUbAJBkA4AwFwCU1TuQLNsAgCQbAIS5AKCs3oFk2QYAJNkAIMwFAGX1DiTLNgAgyQYAYS4AKKt3IFm2AQBJNgAIcwFAWb0DybINAEiyAUCYCwDK6h1Ilm0AQJINAMJcAFBW70CybAMAkmwAEOYCgLJ6B5JlGwCQZAOAMBcAlNU7kCzbAIAkGwCEuQCgrN6BZNkGACTZACDMBQBl9Q4kyzYAIMkGAGEuACirdyBZtgEASTYACHMBQFm9A8myDQBIsgFAmAsAyuodSJZtAECSDQDCXABQVu9AsmwDAJJsABDmAoCyegeSZRsAkGQDgDAXAJTVO5As2wCAJBsAhLkAoKzegWTZBgAk2QAgzAUAZfUOJMs2ACDJBgBhLgAoq3cgWbYBAEk2AAhzAUBZvQPJsg0ASLIBQJgLAMrqHUiWbQBAkg0AwlwAUFbvQLJsAwCSbAAQ5gKAsnoHkmUbAJBkA4AwFwCU1TuQLNsAgCQbAIS5AKCs3oFk2QYAJNkAIMwFAGX1DiTLNgAgyQYAYS4AKKt3IFm2AQBJNgAIcwFAWb0DybINAEiyAUCYCwDK6h1Ilm0AQJINAMJcAFBW70CybAMAkmwAEOYCgLJ6B5JlGwCQZAOAMBcAlNU7kCzbAIAkGwCEuQCgrN6BZNkGACTZACDMBQBl9Q4kyzYAIMkGAGEuACirdyBZtgEASTYACHMBQFm9A8myDQBIsgFAmAsAyuodSJZtAECSDQDCXABQVu9AsmwDAJJsABDmAoCyegeSZRsAkGQDgDAXAJTVO5As2wCAJBsAhLkAoKzegWTZBgAk2QAgzAUAZfUOJMs2ACDJBgBhLgAoq3cgWbYBAEk2AAhzAUBZvQPJsg0ASLIBQJgLAMrqHUiWbQBAkg0AwlwAUFbvQLJsAwCSbAAQ5gKAsnoHkmUbAJBkA4AwFwCU1TuQLNsAgCQbAFTNzA9ggAr9aahO8QAAAABJRU5ErkJggg==');
796
- color: #ffffff;
797
- padding: 2em 0;
798
- }
799
-
800
- .doc-number {
801
- font-size: 0.5em;
802
- font-family: $bodyfont;
803
- }
804
-
805
- .coverpage-title {
806
- padding-bottom: 0.5em;
807
- font-family: $headerfont;
808
- font-size: 1.2em;
809
- line-height: 1.2em;
810
- font-weight: 600;
811
- padding-left: 1em;
812
- padding-right: 1em;
813
- }
814
-
815
- .title-section1 {
816
- padding: 0 2em 0 3em;
817
- }
818
-
819
- .prefatory-section {
820
- padding: 0 3em 0 6em;
821
- }
822
-
823
-
824
- .zzSTDTitle1, .MsoCommentText {
825
- display: none;
826
- }
827
-
828
-
829
- .coverpage {
830
- text-align: center;
831
- padding-left: 1.5em;
832
- }
833
-
834
- .coverpage-logo span, .coverpage-tc-name span {
835
- font-family: $bodyfont;
836
- text-transform: uppercase;
837
- font-weight: 600;
838
- }
839
-
840
- .coverpage-tc-name {
841
- font-size: 1.2em;
842
- line-height: 1.2em;
843
- margin: 0.25em 0;
844
- }
845
-
846
- .coverpage-contributors {
847
- margin-top: 1em;
848
- line-height: 1.5em;
849
- font-weight: 300;
850
- }
851
-
852
- .coverpage-contributors .role {
853
- font-variant-caps: all-small-caps;
854
- background: #f7f7f7;
855
- border-radius: 5px;
856
- padding: 0.1em 0.5em;
857
- margin-left: 1em;
858
- color: #485094;
859
- font-size: 0.9em;
860
- font-weight: 900;
861
- }
862
-
863
- .coverpage-contributors .person {
864
- display: block;
865
- font-weight: 300;
866
- }
867
-
868
- /*
869
- 4.2 Document Identity
870
- */
871
-
872
- .coverpage-doc-identity {
873
- font-size: 2em;
874
- line-height: 2em;
875
- }
876
-
877
-
878
- .coverpage-title .title-second {
879
- display: none;
880
336
  }
881
337
 
882
- .coverpage-stage-block {
883
- font-family: $bodyfont;
884
- font-weight: 700;
885
- font-size: 1.25em;
886
- margin: 2em 0em 2em 0em;
887
- text-transform: uppercase;
888
- }
889
-
890
-
891
-
892
-
893
- /*
894
- 4.3 Draft Warning
895
- */
896
-
897
-
898
- .coverpage-warning {
899
- border-top: solid 1px #f36f36;
900
- border-bottom: solid 1px #f36f36;
901
- margin: 1em 2em;
338
+ a:hover {
902
339
  color: #485094;
903
- padding: 1em;
340
+ background: none;
341
+ text-decoration: underline;
342
+ box-shadow: none;
904
343
  }
905
344
 
906
- .coverpage-warning .title {
907
- color: #f36f36;
908
- font-family: $headerfont;
345
+ .name {
909
346
  font-weight: 700;
910
- text-transform: uppercase;
911
- font-size: 1.2em;
912
347
  }
348
+ }
913
349
 
914
350
 
351
+ /* Keywords */
915
352
 
916
- /*
917
- 4.4 Copyright
918
- */
353
+ span.keyword {
354
+ font-weight: 600;
355
+ }
919
356
 
920
- .copyright {
921
- padding: 1em;
922
- font-size: 0.9em;
923
- text-align: left;
924
- }
925
357
 
926
358
 
927
- .copyright .name, .copyright .address {color: #485094;}
359
+ /* Admonitions */
928
360
 
361
+ .Admonition, .admonition {
362
+ background-color: #ffb3b3;
363
+ padding: 0.5em;
364
+ margin: 1.5em 0 1.5em 0;
365
+ text-align: left;
929
366
 
367
+ p {
368
+ margin: 0;
369
+ }
370
+ }
930
371
 
931
- /*
932
- 5.0 Other styles
933
- */
934
372
 
373
+ @import '_coverpage';
935
374
 
936
375
 
937
- /*
938
- To top button
939
- */
376
+ // To top button
940
377
 
941
378
  #myBtn {
942
- font-family: $monospacefont;
943
- font-variant-ligatures: none;
944
- display: none;
945
- position: fixed;
946
- bottom: 20px;
947
- right: 30px;
948
- z-index: 99;
949
- font-size: 12px;
950
- border: none;
951
- outline: none;
952
- background-color: #1d1d1d;
953
- opacity: 0.15;
954
- color: white;
955
- cursor: pointer;
956
- padding: 10px 15px 10px 15px;
957
- border-radius: 4px;
958
- }
959
-
960
- #myBtn:hover {
961
- opacity: 1;
962
- }
379
+ @include toTopBtn($color: white, $colorBg: #1d1d1d);
380
+ }
963
381
 
964
382
  a.anchorjs-link:hover {
965
383
  background: none;
@@ -968,39 +386,15 @@ a.anchorjs-link:hover {
968
386
  }
969
387
 
970
388
  @page {
971
- margin: 2cm 1cm 2cm 1cm;
389
+ margin: 2cm 1cm 2cm 1cm;
972
390
  }
973
391
 
974
392
  @media print {
975
- h1, .title-section1 {page-break-before: always;}
976
- #toggle, .document-stage-band,
977
- .document-type-band,#myBtn {display: none;}
978
- .container {padding-left: 0;}
979
-
980
-
981
- nav {
982
- position: relative;
983
- width: auto;
984
- font-size: 0.9em;
985
- overflow: auto;
986
- padding: 0;
987
- margin-right: 0;
988
- background-color: white; }
989
-
990
- #toc .toc-active a {
991
- color: #485094; }
992
-
993
- #toc .toc-active, #toc li:hover {
994
- background: white;
995
- box-shadow: none !important; }
996
-
997
- #toc li:hover a {
998
- color: black; }
999
-
393
+ h1, .title-section1 {
394
+ page-break-before: always;
395
+ }
1000
396
 
1001
397
  h1.toc-contents {
1002
- margin-top: 2em; }
1003
-
1004
-
398
+ margin-top: 2em;
399
+ }
1005
400
  }
1006
-