Skip to content

Commit a8682fb

Browse files
committed
use better arrows for jump buttons
1 parent 0d7e8b5 commit a8682fb

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

44 files changed

+105
-88
lines changed

content.opf

+2-1
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@
88
<dc:identifier id="bookid">urn:uuid:a412368e-e0ac-42ce-8c01-0f0da52f5731</dc:identifier>
99
<dc:language>en-US</dc:language>
1010
<meta name="cover" content="cover-image"/>
11-
<meta property="dcterms:modified">2014-08-03T00:39:58Z</meta>
11+
<meta property="dcterms:modified">2014-08-03T18:09:27Z</meta>
1212
</metadata>
1313
<manifest>
1414
<item id="css-style" href="html/css/style.css" media-type="text/css"/>
@@ -153,6 +153,7 @@
153153
<item id="xsa" href="html/fig/icons/sa.std.svg" media-type="image/svg+xml"/>
154154
<item id="xwhite_chess_queen" href="html/fig/icons/white_chess_queen.svg" media-type="image/svg+xml"/>
155155
<item id="xdejamono-r-subset" href="html/css/fonts/dejamono-r-subset.woff" media-type="application/font-woff"/>
156+
<item id="xdejasans-b-arrows" href="html/css/fonts/dejasans-b-arrows.woff" media-type="application/font-woff"/>
156157
<item id="xincons-rb-subset" href="html/css/fonts/incons-rb-subset.woff" media-type="application/font-woff"/>
157158
<item id="xincons-ri-subset" href="html/css/fonts/incons-ri-subset.woff" media-type="application/font-woff"/>
158159
<item id="xincons-r-subset" href="html/css/fonts/incons-r-subset.woff" media-type="application/font-woff"/>

html/1_002e1.xhtml

+2-2
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@
2626
</head>
2727

2828
<body>
29-
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t1_002e1"></a>
29+
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t1_002e1"></a>
3030
<nav class="header">
3131
<p>
3232
Next: <a href="1_002e2.xhtml#g_t1_002e2" accesskey="n" rel="next">1.2</a>, Prev: <a href="Chapter-1.xhtml#Chapter-1" accesskey="p" rel="prev">Chapter 1</a>, Up: <a href="Chapter-1.xhtml#Chapter-1" accesskey="u" rel="prev">Chapter 1</a>   [<a href="index.xhtml#SEC_Contents" title="Table of contents" accesskey="c" rel="contents">Contents</a>]</p>
@@ -1744,6 +1744,6 @@ Next: <a href="1_002e2.xhtml#g_t1_002e2" accesskey="n" rel="next">1.2</a>, Prev:
17441744
</nav>
17451745

17461746

1747-
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
1747+
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
17481748
</body>
17491749
</html>

html/1_002e2.xhtml

+2-2
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@
2626
</head>
2727

2828
<body>
29-
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t1_002e2"></a>
29+
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t1_002e2"></a>
3030
<nav class="header">
3131
<p>
3232
Next: <a href="1_002e3.xhtml#g_t1_002e3" accesskey="n" rel="next">1.3</a>, Prev: <a href="1_002e1.xhtml#g_t1_002e1" accesskey="p" rel="prev">1.1</a>, Up: <a href="Chapter-1.xhtml#Chapter-1" accesskey="u" rel="prev">Chapter 1</a>   [<a href="index.xhtml#SEC_Contents" title="Table of contents" accesskey="c" rel="contents">Contents</a>]</p>
@@ -3703,6 +3703,6 @@ Next: <a href="1_002e3.xhtml#g_t1_002e3" accesskey="n" rel="next">1.3</a>, Prev:
37033703
</nav>
37043704

37053705

3706-
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
3706+
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
37073707
</body>
37083708
</html>

html/1_002e3.xhtml

+2-2
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@
2626
</head>
2727

2828
<body>
29-
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t1_002e3"></a>
29+
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t1_002e3"></a>
3030
<nav class="header">
3131
<p>
3232
Next: <a href="Chapter-2.xhtml#Chapter-2" accesskey="n" rel="next">Chapter 2</a>, Prev: <a href="1_002e2.xhtml#g_t1_002e2" accesskey="p" rel="prev">1.2</a>, Up: <a href="Chapter-1.xhtml#Chapter-1" accesskey="u" rel="prev">Chapter 1</a>   [<a href="index.xhtml#SEC_Contents" title="Table of contents" accesskey="c" rel="contents">Contents</a>]</p>
@@ -3098,6 +3098,6 @@ Next: <a href="Chapter-2.xhtml#Chapter-2" accesskey="n" rel="next">Chapter 2</a>
30983098
</nav>
30993099

31003100

3101-
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
3101+
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
31023102
</body>
31033103
</html>

html/2_002e1.xhtml

+2-2
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@
2626
</head>
2727

2828
<body>
29-
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t2_002e1"></a>
29+
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t2_002e1"></a>
3030
<nav class="header">
3131
<p>
3232
Next: <a href="2_002e2.xhtml#g_t2_002e2" accesskey="n" rel="next">2.2</a>, Prev: <a href="Chapter-2.xhtml#Chapter-2" accesskey="p" rel="prev">Chapter 2</a>, Up: <a href="Chapter-2.xhtml#Chapter-2" accesskey="u" rel="prev">Chapter 2</a>   [<a href="index.xhtml#SEC_Contents" title="Table of contents" accesskey="c" rel="contents">Contents</a>]</p>
@@ -1320,6 +1320,6 @@ Next: <a href="2_002e2.xhtml#g_t2_002e2" accesskey="n" rel="next">2.2</a>, Prev:
13201320
</nav>
13211321

13221322

1323-
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
1323+
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
13241324
</body>
13251325
</html>

html/2_002e2.xhtml

+2-2
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@
2626
</head>
2727

2828
<body>
29-
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t2_002e2"></a>
29+
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t2_002e2"></a>
3030
<nav class="header">
3131
<p>
3232
Next: <a href="2_002e3.xhtml#g_t2_002e3" accesskey="n" rel="next">2.3</a>, Prev: <a href="2_002e1.xhtml#g_t2_002e1" accesskey="p" rel="prev">2.1</a>, Up: <a href="Chapter-2.xhtml#Chapter-2" accesskey="u" rel="prev">Chapter 2</a>   [<a href="index.xhtml#SEC_Contents" title="Table of contents" accesskey="c" rel="contents">Contents</a>]</p>
@@ -3652,6 +3652,6 @@ Next: <a href="2_002e3.xhtml#g_t2_002e3" accesskey="n" rel="next">2.3</a>, Prev:
36523652
</nav>
36533653

36543654

3655-
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
3655+
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
36563656
</body>
36573657
</html>

html/2_002e3.xhtml

+2-2
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@
2626
</head>
2727

2828
<body>
29-
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t2_002e3"></a>
29+
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t2_002e3"></a>
3030
<nav class="header">
3131
<p>
3232
Next: <a href="2_002e4.xhtml#g_t2_002e4" accesskey="n" rel="next">2.4</a>, Prev: <a href="2_002e2.xhtml#g_t2_002e2" accesskey="p" rel="prev">2.2</a>, Up: <a href="Chapter-2.xhtml#Chapter-2" accesskey="u" rel="prev">Chapter 2</a>   [<a href="index.xhtml#SEC_Contents" title="Table of contents" accesskey="c" rel="contents">Contents</a>]</p>
@@ -2061,6 +2061,6 @@ Next: <a href="2_002e4.xhtml#g_t2_002e4" accesskey="n" rel="next">2.4</a>, Prev:
20612061
</nav>
20622062

20632063

2064-
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
2064+
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
20652065
</body>
20662066
</html>

html/2_002e4.xhtml

+2-2
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@
2626
</head>
2727

2828
<body>
29-
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t2_002e4"></a>
29+
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t2_002e4"></a>
3030
<nav class="header">
3131
<p>
3232
Next: <a href="2_002e5.xhtml#g_t2_002e5" accesskey="n" rel="next">2.5</a>, Prev: <a href="2_002e3.xhtml#g_t2_002e3" accesskey="p" rel="prev">2.3</a>, Up: <a href="Chapter-2.xhtml#Chapter-2" accesskey="u" rel="prev">Chapter 2</a>   [<a href="index.xhtml#SEC_Contents" title="Table of contents" accesskey="c" rel="contents">Contents</a>]</p>
@@ -1255,6 +1255,6 @@ Next: <a href="2_002e5.xhtml#g_t2_002e5" accesskey="n" rel="next">2.5</a>, Prev:
12551255
</nav>
12561256

12571257

1258-
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
1258+
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
12591259
</body>
12601260
</html>

html/2_002e5.xhtml

+2-2
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@
2626
</head>
2727

2828
<body>
29-
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t2_002e5"></a>
29+
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t2_002e5"></a>
3030
<nav class="header">
3131
<p>
3232
Next: <a href="Chapter-3.xhtml#Chapter-3" accesskey="n" rel="next">Chapter 3</a>, Prev: <a href="2_002e4.xhtml#g_t2_002e4" accesskey="p" rel="prev">2.4</a>, Up: <a href="Chapter-2.xhtml#Chapter-2" accesskey="u" rel="prev">Chapter 2</a>   [<a href="index.xhtml#SEC_Contents" title="Table of contents" accesskey="c" rel="contents">Contents</a>]</p>
@@ -2299,6 +2299,6 @@ Next: <a href="Chapter-3.xhtml#Chapter-3" accesskey="n" rel="next">Chapter 3</a>
22992299
</nav>
23002300

23012301

2302-
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
2302+
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
23032303
</body>
23042304
</html>

html/3_002e1.xhtml

+2-2
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@
2626
</head>
2727

2828
<body>
29-
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t3_002e1"></a>
29+
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t3_002e1"></a>
3030
<nav class="header">
3131
<p>
3232
Next: <a href="3_002e2.xhtml#g_t3_002e2" accesskey="n" rel="next">3.2</a>, Prev: <a href="Chapter-3.xhtml#Chapter-3" accesskey="p" rel="prev">Chapter 3</a>, Up: <a href="Chapter-3.xhtml#Chapter-3" accesskey="u" rel="prev">Chapter 3</a>   [<a href="index.xhtml#SEC_Contents" title="Table of contents" accesskey="c" rel="contents">Contents</a>]</p>
@@ -1175,6 +1175,6 @@ Next: <a href="3_002e2.xhtml#g_t3_002e2" accesskey="n" rel="next">3.2</a>, Prev:
11751175
</nav>
11761176

11771177

1178-
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
1178+
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
11791179
</body>
11801180
</html>

html/3_002e2.xhtml

+2-2
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@
2626
</head>
2727

2828
<body>
29-
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t3_002e2"></a>
29+
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t3_002e2"></a>
3030
<nav class="header">
3131
<p>
3232
Next: <a href="3_002e3.xhtml#g_t3_002e3" accesskey="n" rel="next">3.3</a>, Prev: <a href="3_002e1.xhtml#g_t3_002e1" accesskey="p" rel="prev">3.1</a>, Up: <a href="Chapter-3.xhtml#Chapter-3" accesskey="u" rel="prev">Chapter 3</a>   [<a href="index.xhtml#SEC_Contents" title="Table of contents" accesskey="c" rel="contents">Contents</a>]</p>
@@ -720,6 +720,6 @@ Next: <a href="3_002e3.xhtml#g_t3_002e3" accesskey="n" rel="next">3.3</a>, Prev:
720720
</nav>
721721

722722

723-
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
723+
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
724724
</body>
725725
</html>

html/3_002e3.xhtml

+2-2
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@
2626
</head>
2727

2828
<body>
29-
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t3_002e3"></a>
29+
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t3_002e3"></a>
3030
<nav class="header">
3131
<p>
3232
Next: <a href="3_002e4.xhtml#g_t3_002e4" accesskey="n" rel="next">3.4</a>, Prev: <a href="3_002e2.xhtml#g_t3_002e2" accesskey="p" rel="prev">3.2</a>, Up: <a href="Chapter-3.xhtml#Chapter-3" accesskey="u" rel="prev">Chapter 3</a>   [<a href="index.xhtml#SEC_Contents" title="Table of contents" accesskey="c" rel="contents">Contents</a>]</p>
@@ -2688,6 +2688,6 @@ Next: <a href="3_002e4.xhtml#g_t3_002e4" accesskey="n" rel="next">3.4</a>, Prev:
26882688
</nav>
26892689

26902690

2691-
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
2691+
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
26922692
</body>
26932693
</html>

html/3_002e4.xhtml

+2-2
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@
2626
</head>
2727

2828
<body>
29-
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t3_002e4"></a>
29+
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t3_002e4"></a>
3030
<nav class="header">
3131
<p>
3232
Next: <a href="3_002e5.xhtml#g_t3_002e5" accesskey="n" rel="next">3.5</a>, Prev: <a href="3_002e3.xhtml#g_t3_002e3" accesskey="p" rel="prev">3.3</a>, Up: <a href="Chapter-3.xhtml#Chapter-3" accesskey="u" rel="prev">Chapter 3</a>   [<a href="index.xhtml#SEC_Contents" title="Table of contents" accesskey="c" rel="contents">Contents</a>]</p>
@@ -1256,6 +1256,6 @@ Next: <a href="3_002e5.xhtml#g_t3_002e5" accesskey="n" rel="next">3.5</a>, Prev:
12561256
</nav>
12571257

12581258

1259-
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
1259+
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
12601260
</body>
12611261
</html>

html/3_002e5.xhtml

+2-2
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@
2626
</head>
2727

2828
<body>
29-
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t3_002e5"></a>
29+
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t3_002e5"></a>
3030
<nav class="header">
3131
<p>
3232
Next: <a href="Chapter-4.xhtml#Chapter-4" accesskey="n" rel="next">Chapter 4</a>, Prev: <a href="3_002e4.xhtml#g_t3_002e4" accesskey="p" rel="prev">3.4</a>, Up: <a href="Chapter-3.xhtml#Chapter-3" accesskey="u" rel="prev">Chapter 3</a>   [<a href="index.xhtml#SEC_Contents" title="Table of contents" accesskey="c" rel="contents">Contents</a>]</p>
@@ -4575,6 +4575,6 @@ Next: <a href="Chapter-4.xhtml#Chapter-4" accesskey="n" rel="next">Chapter 4</a>
45754575
</nav>
45764576

45774577

4578-
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
4578+
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
45794579
</body>
45804580
</html>

html/4_002e1.xhtml

+2-2
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@
2626
</head>
2727

2828
<body>
29-
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t4_002e1"></a>
29+
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t4_002e1"></a>
3030
<nav class="header">
3131
<p>
3232
Next: <a href="4_002e2.xhtml#g_t4_002e2" accesskey="n" rel="next">4.2</a>, Prev: <a href="Chapter-4.xhtml#Chapter-4" accesskey="p" rel="prev">Chapter 4</a>, Up: <a href="Chapter-4.xhtml#Chapter-4" accesskey="u" rel="prev">Chapter 4</a>   [<a href="index.xhtml#SEC_Contents" title="Table of contents" accesskey="c" rel="contents">Contents</a>]</p>
@@ -2125,6 +2125,6 @@ Next: <a href="4_002e2.xhtml#g_t4_002e2" accesskey="n" rel="next">4.2</a>, Prev:
21252125
</nav>
21262126

21272127

2128-
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
2128+
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
21292129
</body>
21302130
</html>

html/4_002e2.xhtml

+2-2
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@
2626
</head>
2727

2828
<body>
29-
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t4_002e2"></a>
29+
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t4_002e2"></a>
3030
<nav class="header">
3131
<p>
3232
Next: <a href="4_002e3.xhtml#g_t4_002e3" accesskey="n" rel="next">4.3</a>, Prev: <a href="4_002e1.xhtml#g_t4_002e1" accesskey="p" rel="prev">4.1</a>, Up: <a href="Chapter-4.xhtml#Chapter-4" accesskey="u" rel="prev">Chapter 4</a>   [<a href="index.xhtml#SEC_Contents" title="Table of contents" accesskey="c" rel="contents">Contents</a>]</p>
@@ -794,6 +794,6 @@ Next: <a href="4_002e3.xhtml#g_t4_002e3" accesskey="n" rel="next">4.3</a>, Prev:
794794
</nav>
795795

796796

797-
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
797+
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
798798
</body>
799799
</html>

html/4_002e3.xhtml

+2-2
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@
2626
</head>
2727

2828
<body>
29-
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t4_002e3"></a>
29+
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t4_002e3"></a>
3030
<nav class="header">
3131
<p>
3232
Next: <a href="4_002e4.xhtml#g_t4_002e4" accesskey="n" rel="next">4.4</a>, Prev: <a href="4_002e2.xhtml#g_t4_002e2" accesskey="p" rel="prev">4.2</a>, Up: <a href="Chapter-4.xhtml#Chapter-4" accesskey="u" rel="prev">Chapter 4</a>   [<a href="index.xhtml#SEC_Contents" title="Table of contents" accesskey="c" rel="contents">Contents</a>]</p>
@@ -1551,6 +1551,6 @@ Next: <a href="4_002e4.xhtml#g_t4_002e4" accesskey="n" rel="next">4.4</a>, Prev:
15511551
</nav>
15521552

15531553

1554-
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
1554+
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
15551555
</body>
15561556
</html>

html/4_002e4.xhtml

+2-2
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@
2626
</head>
2727

2828
<body>
29-
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t4_002e4"></a>
29+
<section><span class="top jump" title="Jump to top"><a href="#pagetop" accesskey="t"></a></span><a id="pagetop"></a><a id="g_t4_002e4"></a>
3030
<nav class="header">
3131
<p>
3232
Next: <a href="Chapter-5.xhtml#Chapter-5" accesskey="n" rel="next">Chapter 5</a>, Prev: <a href="4_002e3.xhtml#g_t4_002e3" accesskey="p" rel="prev">4.3</a>, Up: <a href="Chapter-4.xhtml#Chapter-4" accesskey="u" rel="prev">Chapter 4</a>   [<a href="index.xhtml#SEC_Contents" title="Table of contents" accesskey="c" rel="contents">Contents</a>]</p>
@@ -3343,6 +3343,6 @@ Next: <a href="Chapter-5.xhtml#Chapter-5" accesskey="n" rel="next">Chapter 5</a>
33433343
</nav>
33443344

33453345

3346-
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
3346+
</section><span class="bottom jump" title="Jump to bottom"><a href="#pagebottom" accesskey="b"></a></span><a id="pagebottom"></a>
33473347
</body>
33483348
</html>

0 commit comments

Comments
 (0)