metanorma-ieee 1.2.8 → 1.2.9

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: 8652a600f137bcba7e10c492a92b7e6ab04371d339cf9a16894b1c77c59cc8e3
4
- data.tar.gz: fe288e7f0403164869aeba0c2fdf99381a6f9a6b7c53c58bf5fa81d87df1ef0c
3
+ metadata.gz: da0b63456a3133578ac23979a31bc0df0b36ec0091125884276328599b235bc9
4
+ data.tar.gz: aecaa47b5c24f97bc93cc28f6fc814502ecc4df7d071c9f9abc540883c9ece03
5
5
  SHA512:
6
- metadata.gz: e931643f63f511b2f8f8cfbb3bc92a29d7529ded0d16178e25e4502676a047f0a556c9ea954836db2a82365a12639855e81ceab5b311962a0dbebe16955c7ed0
7
- data.tar.gz: 014ba75f62d4f7ffb0010bba6dcbab2d3ece5888ff5e5146ecd19cda17744ad61a8f9d0303eb910955ce46466d18a57db9c05f987a9f383263ec0a68d8a5eb8a
6
+ metadata.gz: d0f89ae0fd2f6c28c1a43afc6d638ea3bff252086db99a971e339dae1900514d542be5e1a3030684d7f15c52d0c4e8a6a386bf345db823e7bc6e8949f7659c6a
7
+ data.tar.gz: 1f2795dda6e9d52c45d3a830abfba9fd8c1cf450c39d3f6e491de95a4feb691083e808419590b3a29a16b1e9939d428ec0d6a3d5a7279e5e805b820948702354
@@ -1,3 +1,4 @@
1
+ @charset "UTF-8";
1
2
  /*
2
3
  0 CSS RESET
3
4
  */
@@ -176,6 +177,58 @@ table.rouge-line-table pre {
176
177
  overflow-x: visible;
177
178
  font-size: 100%; }
178
179
 
180
+ /* header § links */
181
+ a.header {
182
+ color: inherit;
183
+ text-decoration: none; }
184
+
185
+ a.header:hover {
186
+ color: #a53221 !important;
187
+ background: inherit;
188
+ box-shadow: none; }
189
+
190
+ a.header:visited {
191
+ color: inherit;
192
+ text-decoration: none; }
193
+
194
+ a.anchor {
195
+ position: absolute;
196
+ z-index: 1001;
197
+ width: 1.5ex;
198
+ margin-left: -1.5ex;
199
+ display: block;
200
+ text-decoration: none !important;
201
+ visibility: hidden;
202
+ text-align: center;
203
+ font-weight: 400; }
204
+
205
+ a.anchor::before {
206
+ content: "\00A7";
207
+ font-size: .85em;
208
+ display: block;
209
+ padding-top: .1em; }
210
+
211
+ a.anchor:hover {
212
+ color: #a53221;
213
+ background: inherit;
214
+ box-shadow: none; }
215
+
216
+ h1 > a.anchor:hover,
217
+ h2 > a.anchor:hover,
218
+ h3 > a.anchor:hover,
219
+ h4 > a.anchor:hover,
220
+ h5 > a.anchor:hover,
221
+ h6 > a.anchor:hover,
222
+ .inline-header > a.anchor:hover,
223
+ h1:hover > a.anchor,
224
+ h2:hover > a.anchor,
225
+ h3:hover > a.anchor,
226
+ h4:hover > a.anchor,
227
+ h5:hover > a.anchor,
228
+ h6:hover > a.anchor,
229
+ .inline-header:hover > a.anchor {
230
+ visibility: visible; }
231
+
179
232
  #standard-band {
180
233
  background-color: #0AC442; }
181
234