Skip to content

Commit 6ad65cb

Browse files
bert-githubbert-github
committed
[CSS22] Regenerated
1 parent 5c9731c commit 6ad65cb

27 files changed

+191
-182
lines changed

‎css2/about.html‎

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -5,22 +5,22 @@
55
<HEAD>
66
<TITLE>About the CSS&nbsp;2.2 Specification</TITLE>
77
<link rel="stylesheet" href="style/default.css" type="text/css">
8-
<link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/2016/W3C-ED.css" type="text/css">
9-
<link rel="prev" href="cover.html">
8+
<link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/2016/W3C-WD.css" type="text/css">
9+
<link rel="prev" href="Overview.html">
1010
<link rel="next" href="intro.html">
11-
<link rel="contents" href="cover.html#minitoc">
11+
<link rel="contents" href="Overview.html#minitoc">
1212
<link rel="CSS-properties" href="propidx.html" title="properties">
1313
<link rel="index" href="indexlist.html" title="index">
14-
<link rel="first" href="cover.html">
15-
<script type="text/javascript" src="//www.w3.org/scripts/TR/2016/fixup.js"></script>
14+
<link rel="first" href="Overview.html">
15+
<script type="text/javascript" src="https://www.w3.org/scripts/TR/2016/fixup.js"></script>
1616
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
1717

1818
</HEAD>
1919
<BODY>
2020
<div class="navbar">
21-
<p><a href="cover.html">previous</a> &nbsp;
21+
<p><a href="Overview.html">previous</a> &nbsp;
2222
<a href="intro.html">next</a> &nbsp;
23-
<a href="cover.html#minitoc">contents</a> &nbsp;
23+
<a href="Overview.html#minitoc">contents</a> &nbsp;
2424
<a href="propidx.html">properties</a> &nbsp;
2525
<a href="indexlist.html">index</a> &nbsp;
2626
</div>
@@ -454,9 +454,9 @@ <H2>1.5 <a name="acknowledgements">Acknowledgments</a></H2>
454454
<hr class="navbar">
455455

456456
<div class="navbar">
457-
<p><a href="cover.html">previous</a> &nbsp;
457+
<p><a href="Overview.html">previous</a> &nbsp;
458458
<a href="intro.html">next</a> &nbsp;
459-
<a href="cover.html#minitoc">contents</a> &nbsp;
459+
<a href="Overview.html#minitoc">contents</a> &nbsp;
460460
<a href="propidx.html">properties</a> &nbsp;
461461
<a href="indexlist.html">index</a> &nbsp;
462462
</div>

‎css2/aural.html‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -5,22 +5,22 @@
55
<HEAD>
66
<TITLE>Aural style sheets</TITLE>
77
<link rel="stylesheet" href="style/default.css" type="text/css">
8-
<link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/2016/W3C-ED.css" type="text/css">
8+
<link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/2016/W3C-WD.css" type="text/css">
99
<link rel="prev" href="ui.html">
1010
<link rel="next" href="refs.html">
11-
<link rel="contents" href="cover.html#minitoc">
11+
<link rel="contents" href="Overview.html#minitoc">
1212
<link rel="CSS-properties" href="propidx.html" title="properties">
1313
<link rel="index" href="indexlist.html" title="index">
14-
<link rel="first" href="cover.html">
15-
<script type="text/javascript" src="//www.w3.org/scripts/TR/2016/fixup.js"></script>
14+
<link rel="first" href="Overview.html">
15+
<script type="text/javascript" src="https://www.w3.org/scripts/TR/2016/fixup.js"></script>
1616
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
1717

1818
</HEAD>
1919
<BODY>
2020
<div class="navbar">
2121
<p><a href="ui.html">previous</a> &nbsp;
2222
<a href="refs.html">next</a> &nbsp;
23-
<a href="cover.html#minitoc">contents</a> &nbsp;
23+
<a href="Overview.html#minitoc">contents</a> &nbsp;
2424
<a href="propidx.html">properties</a> &nbsp;
2525
<a href="indexlist.html">index</a> &nbsp;
2626
</div>
@@ -1221,7 +1221,7 @@ <h2>A.13 <a name="Emacspeak">Emacspeak</a></h2>
12211221
<div class="navbar">
12221222
<p><a href="ui.html">previous</a> &nbsp;
12231223
<a href="refs.html">next</a> &nbsp;
1224-
<a href="cover.html#minitoc">contents</a> &nbsp;
1224+
<a href="Overview.html#minitoc">contents</a> &nbsp;
12251225
<a href="propidx.html">properties</a> &nbsp;
12261226
<a href="indexlist.html">index</a> &nbsp;
12271227
</div>

‎css2/box.html‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -5,22 +5,22 @@
55
<HEAD>
66
<TITLE>Box model</TITLE>
77
<link rel="stylesheet" href="style/default.css" type="text/css">
8-
<link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/2016/W3C-ED.css" type="text/css">
8+
<link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/2016/W3C-WD.css" type="text/css">
99
<link rel="prev" href="media.html">
1010
<link rel="next" href="visuren.html">
11-
<link rel="contents" href="cover.html#minitoc">
11+
<link rel="contents" href="Overview.html#minitoc">
1212
<link rel="CSS-properties" href="propidx.html" title="properties">
1313
<link rel="index" href="indexlist.html" title="index">
14-
<link rel="first" href="cover.html">
15-
<script type="text/javascript" src="//www.w3.org/scripts/TR/2016/fixup.js"></script>
14+
<link rel="first" href="Overview.html">
15+
<script type="text/javascript" src="https://www.w3.org/scripts/TR/2016/fixup.js"></script>
1616
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
1717

1818
</HEAD>
1919
<BODY>
2020
<div class="navbar">
2121
<p><a href="media.html">previous</a> &nbsp;
2222
<a href="visuren.html">next</a> &nbsp;
23-
<a href="cover.html#minitoc">contents</a> &nbsp;
23+
<a href="Overview.html#minitoc">contents</a> &nbsp;
2424
<a href="propidx.html">properties</a> &nbsp;
2525
<a href="indexlist.html">index</a> &nbsp;
2626
</div>
@@ -1012,7 +1012,7 @@ <h2>8.6 <a name="bidi-box-model">The box model for inline elements in bidirectio
10121012
<div class="navbar">
10131013
<p><a href="media.html">previous</a> &nbsp;
10141014
<a href="visuren.html">next</a> &nbsp;
1015-
<a href="cover.html#minitoc">contents</a> &nbsp;
1015+
<a href="Overview.html#minitoc">contents</a> &nbsp;
10161016
<a href="propidx.html">properties</a> &nbsp;
10171017
<a href="indexlist.html">index</a> &nbsp;
10181018
</div>

‎css2/cascade.html‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -4,22 +4,22 @@
44
<HEAD>
55
<TITLE>Assigning property values, Cascading, and Inheritance</TITLE>
66
<link rel="stylesheet" href="style/default.css" type="text/css">
7-
<link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/2016/W3C-ED.css" type="text/css">
7+
<link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/2016/W3C-WD.css" type="text/css">
88
<link rel="prev" href="selector.html">
99
<link rel="next" href="media.html">
10-
<link rel="contents" href="cover.html#minitoc">
10+
<link rel="contents" href="Overview.html#minitoc">
1111
<link rel="CSS-properties" href="propidx.html" title="properties">
1212
<link rel="index" href="indexlist.html" title="index">
13-
<link rel="first" href="cover.html">
14-
<script type="text/javascript" src="//www.w3.org/scripts/TR/2016/fixup.js"></script>
13+
<link rel="first" href="Overview.html">
14+
<script type="text/javascript" src="https://www.w3.org/scripts/TR/2016/fixup.js"></script>
1515
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
1616

1717
</HEAD>
1818
<BODY>
1919
<div class="navbar">
2020
<p><a href="selector.html">previous</a> &nbsp;
2121
<a href="media.html">next</a> &nbsp;
22-
<a href="cover.html#minitoc">contents</a> &nbsp;
22+
<a href="Overview.html#minitoc">contents</a> &nbsp;
2323
<a href="propidx.html">properties</a> &nbsp;
2424
<a href="indexlist.html">index</a> &nbsp;
2525
</div>
@@ -542,7 +542,7 @@ <H3>6.4.4 <a name="preshint">Precedence of non-CSS presentational hints</a></H3>
542542
<div class="navbar">
543543
<p><a href="selector.html">previous</a> &nbsp;
544544
<a href="media.html">next</a> &nbsp;
545-
<a href="cover.html#minitoc">contents</a> &nbsp;
545+
<a href="Overview.html#minitoc">contents</a> &nbsp;
546546
<a href="propidx.html">properties</a> &nbsp;
547547
<a href="indexlist.html">index</a> &nbsp;
548548
</div>

‎css2/changes.html‎

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -4,22 +4,22 @@
44
<HEAD>
55
<TITLE>Changes</TITLE>
66
<link rel="stylesheet" href="style/default.css" type="text/css">
7-
<link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/2016/W3C-ED.css" type="text/css">
7+
<link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/2016/W3C-WD.css" type="text/css">
88
<link rel="prev" href="refs.html">
99
<link rel="next" href="sample.html">
10-
<link rel="contents" href="cover.html#minitoc">
10+
<link rel="contents" href="Overview.html#minitoc">
1111
<link rel="CSS-properties" href="propidx.html" title="properties">
1212
<link rel="index" href="indexlist.html" title="index">
13-
<link rel="first" href="cover.html">
14-
<script type="text/javascript" src="//www.w3.org/scripts/TR/2016/fixup.js"></script>
13+
<link rel="first" href="Overview.html">
14+
<script type="text/javascript" src="https://www.w3.org/scripts/TR/2016/fixup.js"></script>
1515
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
1616

1717
</HEAD>
1818
<BODY>
1919
<div class="navbar">
2020
<p><a href="refs.html">previous</a> &nbsp;
2121
<a href="sample.html">next</a> &nbsp;
22-
<a href="cover.html#minitoc">contents</a> &nbsp;
22+
<a href="Overview.html#minitoc">contents</a> &nbsp;
2323
<a href="propidx.html">properties</a> &nbsp;
2424
<a href="indexlist.html">index</a> &nbsp;
2525
</div>
@@ -293,10 +293,10 @@ <H2 id=since-20110607><a name="q1">C.1 Changes since the Recommendation of 7 Jun
293293
<ins>in CSS&nbsp;2</ins> may be <ins>table,</ins> block or
294294
inline<del>, but not both simultaneously</del>. <ins>In future
295295
levels of CSS, other types of formatting context will be
296-
introduced.</ins> <a href="#block-level">Block-level</a> boxes
297-
participate in a <a href="#block-formatting">block formatting</a>
298-
context. <a href="#inline-level">Inline-level boxes</a>
299-
participate in an <a href="#inline-formatting">inline
296+
introduced.</ins> <a href="visuren.html#block-level">Block-level</a> boxes
297+
participate in a <a href="visuren.html#block-formatting">block formatting</a>
298+
context. <a href="visuren.html#inline-level">Inline-level boxes</a>
299+
participate in an <a href="visuren.html#inline-formatting">inline
300300
formatting</a> context. <ins>Table formatting contexts are
301301
described in the <a href="tables.html" >chapter on
302302
tables.</a></ins>
@@ -447,7 +447,7 @@ <H2 id=since-20110607><a name="q1">C.1 Changes since the Recommendation of 7 Jun
447447
<li id=s.G.2d class=clarification>
448448
<p><span class=updated>[2013-04-29]</span> The letters u, r and l
449449
of the URI token may be written as escapes (see the <a
450-
href="#s.4.1.1">previous errata</a>). In <a
450+
href="#s.4.1.1a">previous errata</a>). In <a
451451
href="grammar.html#scanner" >G.2 &ldquo;Lexical scanner,&rdquo;</a> change:
452452

453453
<blockquote>
@@ -1062,7 +1062,7 @@ <H2 id=since-20110607><a name="q1">C.1 Changes since the Recommendation of 7 Jun
10621062
<div class="navbar">
10631063
<p><a href="refs.html">previous</a> &nbsp;
10641064
<a href="sample.html">next</a> &nbsp;
1065-
<a href="cover.html#minitoc">contents</a> &nbsp;
1065+
<a href="Overview.html#minitoc">contents</a> &nbsp;
10661066
<a href="propidx.html">properties</a> &nbsp;
10671067
<a href="indexlist.html">index</a> &nbsp;
10681068
</div>

‎css2/colors.html‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -4,14 +4,14 @@
44
<head>
55
<title>Colors and backgrounds</title>
66
<link rel="stylesheet" href="style/default.css" type="text/css">
7-
<link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/2016/W3C-ED.css" type="text/css">
7+
<link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/2016/W3C-WD.css" type="text/css">
88
<link rel="prev" href="page.html">
99
<link rel="next" href="fonts.html">
10-
<link rel="contents" href="cover.html#minitoc">
10+
<link rel="contents" href="Overview.html#minitoc">
1111
<link rel="CSS-properties" href="propidx.html" title="properties">
1212
<link rel="index" href="indexlist.html" title="index">
13-
<link rel="first" href="cover.html">
14-
<script type="text/javascript" src="//www.w3.org/scripts/TR/2016/fixup.js"></script>
13+
<link rel="first" href="Overview.html">
14+
<script type="text/javascript" src="https://www.w3.org/scripts/TR/2016/fixup.js"></script>
1515
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
1616

1717
<style type="text/css">
@@ -27,7 +27,7 @@
2727
<div class="navbar">
2828
<p><a href="page.html">previous</a> &nbsp;
2929
<a href="fonts.html">next</a> &nbsp;
30-
<a href="cover.html#minitoc">contents</a> &nbsp;
30+
<a href="Overview.html#minitoc">contents</a> &nbsp;
3131
<a href="propidx.html">properties</a> &nbsp;
3232
<a href="indexlist.html">index</a> &nbsp;
3333
</div>
@@ -528,7 +528,7 @@ <h3>14.2.1 <a name="background-properties">Background properties</a>: <a href="c
528528
<div class="navbar">
529529
<p><a href="page.html">previous</a> &nbsp;
530530
<a href="fonts.html">next</a> &nbsp;
531-
<a href="cover.html#minitoc">contents</a> &nbsp;
531+
<a href="Overview.html#minitoc">contents</a> &nbsp;
532532
<a href="propidx.html">properties</a> &nbsp;
533533
<a href="indexlist.html">index</a> &nbsp;
534534
</div>

‎css2/conform.html‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -4,14 +4,14 @@
44
<HEAD>
55
<TITLE>Conformance: requirements and recommendations</TITLE>
66
<link rel="stylesheet" href="style/default.css" type="text/css">
7-
<link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/2016/W3C-ED.css" type="text/css">
7+
<link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/2016/W3C-WD.css" type="text/css">
88
<link rel="prev" href="intro.html">
99
<link rel="next" href="syndata.html">
10-
<link rel="contents" href="cover.html#minitoc">
10+
<link rel="contents" href="Overview.html#minitoc">
1111
<link rel="CSS-properties" href="propidx.html" title="properties">
1212
<link rel="index" href="indexlist.html" title="index">
13-
<link rel="first" href="cover.html">
14-
<script type="text/javascript" src="//www.w3.org/scripts/TR/2016/fixup.js"></script>
13+
<link rel="first" href="Overview.html">
14+
<script type="text/javascript" src="https://www.w3.org/scripts/TR/2016/fixup.js"></script>
1515
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
1616

1717

@@ -20,7 +20,7 @@
2020
<div class="navbar">
2121
<p><a href="intro.html">previous</a> &nbsp;
2222
<a href="syndata.html">next</a> &nbsp;
23-
<a href="cover.html#minitoc">contents</a> &nbsp;
23+
<a href="Overview.html#minitoc">contents</a> &nbsp;
2424
<a href="propidx.html">properties</a> &nbsp;
2525
<a href="indexlist.html">index</a> &nbsp;
2626
</div>
@@ -480,7 +480,7 @@ <h2>3.4 <span class="index-def" title="text/css"><a
480480
<div class="navbar">
481481
<p><a href="intro.html">previous</a> &nbsp;
482482
<a href="syndata.html">next</a> &nbsp;
483-
<a href="cover.html#minitoc">contents</a> &nbsp;
483+
<a href="Overview.html#minitoc">contents</a> &nbsp;
484484
<a href="propidx.html">properties</a> &nbsp;
485485
<a href="indexlist.html">index</a> &nbsp;
486486
</div>

‎css2/fonts.html‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -4,14 +4,14 @@
44
<head>
55
<title>Fonts</title>
66
<link rel="stylesheet" href="style/default.css" type="text/css">
7-
<link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/2016/W3C-ED.css" type="text/css">
7+
<link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/2016/W3C-WD.css" type="text/css">
88
<link rel="prev" href="colors.html">
99
<link rel="next" href="text.html">
10-
<link rel="contents" href="cover.html#minitoc">
10+
<link rel="contents" href="Overview.html#minitoc">
1111
<link rel="CSS-properties" href="propidx.html" title="properties">
1212
<link rel="index" href="indexlist.html" title="index">
13-
<link rel="first" href="cover.html">
14-
<script type="text/javascript" src="//www.w3.org/scripts/TR/2016/fixup.js"></script>
13+
<link rel="first" href="Overview.html">
14+
<script type="text/javascript" src="https://www.w3.org/scripts/TR/2016/fixup.js"></script>
1515
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
1616

1717
<style type="text/css">
@@ -30,7 +30,7 @@
3030
<div class="navbar">
3131
<p><a href="colors.html">previous</a> &nbsp;
3232
<a href="text.html">next</a> &nbsp;
33-
<a href="cover.html#minitoc">contents</a> &nbsp;
33+
<a href="Overview.html#minitoc">contents</a> &nbsp;
3434
<a href="propidx.html">properties</a> &nbsp;
3535
<a href="indexlist.html">index</a> &nbsp;
3636
</div>
@@ -918,7 +918,7 @@ <h2>15.8 <a name="font-shorthand">Shorthand font property</a>: the <a href="font
918918
<div class="navbar">
919919
<p><a href="colors.html">previous</a> &nbsp;
920920
<a href="text.html">next</a> &nbsp;
921-
<a href="cover.html#minitoc">contents</a> &nbsp;
921+
<a href="Overview.html#minitoc">contents</a> &nbsp;
922922
<a href="propidx.html">properties</a> &nbsp;
923923
<a href="indexlist.html">index</a> &nbsp;
924924
</div>

‎css2/generate.html‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -3,22 +3,22 @@
33
<head>
44
<title>Generated content, automatic numbering, and lists</title>
55
<link rel="stylesheet" href="style/default.css" type="text/css">
6-
<link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/2016/W3C-ED.css" type="text/css">
6+
<link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/2016/W3C-WD.css" type="text/css">
77
<link rel="prev" href="visufx.html">
88
<link rel="next" href="page.html">
9-
<link rel="contents" href="cover.html#minitoc">
9+
<link rel="contents" href="Overview.html#minitoc">
1010
<link rel="CSS-properties" href="propidx.html" title="properties">
1111
<link rel="index" href="indexlist.html" title="index">
12-
<link rel="first" href="cover.html">
13-
<script type="text/javascript" src="//www.w3.org/scripts/TR/2016/fixup.js"></script>
12+
<link rel="first" href="Overview.html">
13+
<script type="text/javascript" src="https://www.w3.org/scripts/TR/2016/fixup.js"></script>
1414
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
1515

1616
</head>
1717
<body>
1818
<div class="navbar">
1919
<p><a href="visufx.html">previous</a> &nbsp;
2020
<a href="page.html">next</a> &nbsp;
21-
<a href="cover.html#minitoc">contents</a> &nbsp;
21+
<a href="Overview.html#minitoc">contents</a> &nbsp;
2222
<a href="propidx.html">properties</a> &nbsp;
2323
<a href="indexlist.html">index</a> &nbsp;
2424
</div>
@@ -1224,7 +1224,7 @@ <h3>12.5.1 <a name="list-style">Lists:</a> the <a href="generate.html#propdef-li
12241224
<div class="navbar">
12251225
<p><a href="visufx.html">previous</a> &nbsp;
12261226
<a href="page.html">next</a> &nbsp;
1227-
<a href="cover.html#minitoc">contents</a> &nbsp;
1227+
<a href="Overview.html#minitoc">contents</a> &nbsp;
12281228
<a href="propidx.html">properties</a> &nbsp;
12291229
<a href="indexlist.html">index</a> &nbsp;
12301230
</div>

‎css2/grammar.html‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -4,22 +4,22 @@
44
<HEAD>
55
<TITLE>Grammar of CSS&nbsp;2.2</TITLE>
66
<link rel="stylesheet" href="style/default.css" type="text/css">
7-
<link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/2016/W3C-ED.css" type="text/css">
7+
<link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/2016/W3C-WD.css" type="text/css">
88
<link rel="prev" href="propidx.html">
99
<link rel="next" href="leftblank.html">
10-
<link rel="contents" href="cover.html#minitoc">
10+
<link rel="contents" href="Overview.html#minitoc">
1111
<link rel="CSS-properties" href="propidx.html" title="properties">
1212
<link rel="index" href="indexlist.html" title="index">
13-
<link rel="first" href="cover.html">
14-
<script type="text/javascript" src="//www.w3.org/scripts/TR/2016/fixup.js"></script>
13+
<link rel="first" href="Overview.html">
14+
<script type="text/javascript" src="https://www.w3.org/scripts/TR/2016/fixup.js"></script>
1515
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
1616

1717
</HEAD>
1818
<BODY>
1919
<div class="navbar">
2020
<p><a href="propidx.html">previous</a> &nbsp;
2121
<a href="leftblank.html">next</a> &nbsp;
22-
<a href="cover.html#minitoc">contents</a> &nbsp;
22+
<a href="Overview.html#minitoc">contents</a> &nbsp;
2323
<a href="propidx.html">properties</a> &nbsp;
2424
<a href="indexlist.html">index</a> &nbsp;
2525
</div>
@@ -355,7 +355,7 @@ <h2><a name="q4">G.4 Implementation note</a></h2>
355355
<div class="navbar">
356356
<p><a href="propidx.html">previous</a> &nbsp;
357357
<a href="leftblank.html">next</a> &nbsp;
358-
<a href="cover.html#minitoc">contents</a> &nbsp;
358+
<a href="Overview.html#minitoc">contents</a> &nbsp;
359359
<a href="propidx.html">properties</a> &nbsp;
360360
<a href="indexlist.html">index</a> &nbsp;
361361
</div>

0 commit comments

Comments
 (0)