metanorma-csd 1.3.2 → 1.3.3

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
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
-