Skip to content

Commit 18928e6

Browse files
committed
deploy: 4629887
1 parent 45fa6f5 commit 18928e6

35 files changed

+511
-149
lines changed

master/404.html

Lines changed: 14 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -37,6 +37,7 @@
3737
const path_to_root = "";
3838
const default_light_theme = "light";
3939
const default_dark_theme = "navy";
40+
window.path_to_searchindex_js = "searchindex.js";
4041
</script>
4142
<!-- Start loading toc.js asap -->
4243
<script src="toc.js"></script>
@@ -93,10 +94,13 @@ <h2 class="mdbook-help-title">Keyboard shortcuts</h2>
9394
sidebar = sidebar || 'visible';
9495
} else {
9596
sidebar = 'hidden';
97+
sidebar_toggle.checked = false;
98+
}
99+
if (sidebar === 'visible') {
100+
sidebar_toggle.checked = true;
101+
} else {
102+
html.classList.remove('sidebar-visible');
96103
}
97-
sidebar_toggle.checked = sidebar === 'visible';
98-
html.classList.remove('sidebar-visible');
99-
html.classList.add("sidebar-" + sidebar);
100104
</script>
101105

102106
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
@@ -147,7 +151,12 @@ <h1 class="menu-title">Juniper Book</h1>
147151

148152
<div id="search-wrapper" class="hidden">
149153
<form id="searchbar-outer" class="searchbar-outer">
150-
<input type="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header">
154+
<div class="search-wrapper">
155+
<input type="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header">
156+
<div class="spinner-wrapper">
157+
<i class="fa fa-spinner fa-spin"></i>
158+
</div>
159+
</div>
151160
</form>
152161
<div id="searchresults-outer" class="searchresults-outer hidden">
153162
<div id="searchresults-header" class="searchresults-header"></div>
@@ -206,6 +215,7 @@ <h1 id="document-not-found-404"><a class="header" href="#document-not-found-404"
206215
<!-- Custom JS scripts -->
207216

208217

218+
209219
</div>
210220
</body>
211221
</html>

master/advanced/dataloader.html

Lines changed: 14 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -36,6 +36,7 @@
3636
const path_to_root = "../";
3737
const default_light_theme = "light";
3838
const default_dark_theme = "navy";
39+
window.path_to_searchindex_js = "../searchindex.js";
3940
</script>
4041
<!-- Start loading toc.js asap -->
4142
<script src="../toc.js"></script>
@@ -92,10 +93,13 @@ <h2 class="mdbook-help-title">Keyboard shortcuts</h2>
9293
sidebar = sidebar || 'visible';
9394
} else {
9495
sidebar = 'hidden';
96+
sidebar_toggle.checked = false;
97+
}
98+
if (sidebar === 'visible') {
99+
sidebar_toggle.checked = true;
100+
} else {
101+
html.classList.remove('sidebar-visible');
95102
}
96-
sidebar_toggle.checked = sidebar === 'visible';
97-
html.classList.remove('sidebar-visible');
98-
html.classList.add("sidebar-" + sidebar);
99103
</script>
100104

101105
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
@@ -146,7 +150,12 @@ <h1 class="menu-title">Juniper Book</h1>
146150

147151
<div id="search-wrapper" class="hidden">
148152
<form id="searchbar-outer" class="searchbar-outer">
149-
<input type="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header">
153+
<div class="search-wrapper">
154+
<input type="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header">
155+
<div class="spinner-wrapper">
156+
<i class="fa fa-spinner fa-spin"></i>
157+
</div>
158+
</div>
150159
</form>
151160
<div id="searchresults-outer" class="searchresults-outer hidden">
152161
<div id="searchresults-header" class="searchresults-header"></div>
@@ -378,6 +387,7 @@ <h2 id="full-example"><a class="header" href="#full-example">Full example</a></h
378387
<!-- Custom JS scripts -->
379388

380389

390+
381391
</div>
382392
</body>
383393
</html>

master/advanced/eager_loading.html

Lines changed: 14 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -36,6 +36,7 @@
3636
const path_to_root = "../";
3737
const default_light_theme = "light";
3838
const default_dark_theme = "navy";
39+
window.path_to_searchindex_js = "../searchindex.js";
3940
</script>
4041
<!-- Start loading toc.js asap -->
4142
<script src="../toc.js"></script>
@@ -92,10 +93,13 @@ <h2 class="mdbook-help-title">Keyboard shortcuts</h2>
9293
sidebar = sidebar || 'visible';
9394
} else {
9495
sidebar = 'hidden';
96+
sidebar_toggle.checked = false;
97+
}
98+
if (sidebar === 'visible') {
99+
sidebar_toggle.checked = true;
100+
} else {
101+
html.classList.remove('sidebar-visible');
95102
}
96-
sidebar_toggle.checked = sidebar === 'visible';
97-
html.classList.remove('sidebar-visible');
98-
html.classList.add("sidebar-" + sidebar);
99103
</script>
100104

101105
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
@@ -146,7 +150,12 @@ <h1 class="menu-title">Juniper Book</h1>
146150

147151
<div id="search-wrapper" class="hidden">
148152
<form id="searchbar-outer" class="searchbar-outer">
149-
<input type="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header">
153+
<div class="search-wrapper">
154+
<input type="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header">
155+
<div class="spinner-wrapper">
156+
<i class="fa fa-spinner fa-spin"></i>
157+
</div>
158+
</div>
150159
</form>
151160
<div id="searchresults-outer" class="searchresults-outer hidden">
152161
<div id="searchresults-header" class="searchresults-header"></div>
@@ -451,6 +460,7 @@ <h2 id="full-example"><a class="header" href="#full-example">Full example</a></h
451460
<!-- Custom JS scripts -->
452461

453462

463+
454464
</div>
455465
</body>
456466
</html>

master/advanced/implicit_and_explicit_null.html

Lines changed: 14 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -36,6 +36,7 @@
3636
const path_to_root = "../";
3737
const default_light_theme = "light";
3838
const default_dark_theme = "navy";
39+
window.path_to_searchindex_js = "../searchindex.js";
3940
</script>
4041
<!-- Start loading toc.js asap -->
4142
<script src="../toc.js"></script>
@@ -92,10 +93,13 @@ <h2 class="mdbook-help-title">Keyboard shortcuts</h2>
9293
sidebar = sidebar || 'visible';
9394
} else {
9495
sidebar = 'hidden';
96+
sidebar_toggle.checked = false;
97+
}
98+
if (sidebar === 'visible') {
99+
sidebar_toggle.checked = true;
100+
} else {
101+
html.classList.remove('sidebar-visible');
95102
}
96-
sidebar_toggle.checked = sidebar === 'visible';
97-
html.classList.remove('sidebar-visible');
98-
html.classList.add("sidebar-" + sidebar);
99103
</script>
100104

101105
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
@@ -146,7 +150,12 @@ <h1 class="menu-title">Juniper Book</h1>
146150

147151
<div id="search-wrapper" class="hidden">
148152
<form id="searchbar-outer" class="searchbar-outer">
149-
<input type="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header">
153+
<div class="search-wrapper">
154+
<input type="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header">
155+
<div class="spinner-wrapper">
156+
<i class="fa fa-spinner fa-spin"></i>
157+
</div>
158+
</div>
150159
</form>
151160
<div id="searchresults-outer" class="searchresults-outer hidden">
152161
<div id="searchresults-header" class="searchresults-header"></div>
@@ -308,6 +317,7 @@ <h1 id="implicit-and-explicit-null"><a class="header" href="#implicit-and-explic
308317
<!-- Custom JS scripts -->
309318

310319

320+
311321
</div>
312322
</body>
313323
</html>

master/advanced/index.html

Lines changed: 14 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -36,6 +36,7 @@
3636
const path_to_root = "../";
3737
const default_light_theme = "light";
3838
const default_dark_theme = "navy";
39+
window.path_to_searchindex_js = "../searchindex.js";
3940
</script>
4041
<!-- Start loading toc.js asap -->
4142
<script src="../toc.js"></script>
@@ -92,10 +93,13 @@ <h2 class="mdbook-help-title">Keyboard shortcuts</h2>
9293
sidebar = sidebar || 'visible';
9394
} else {
9495
sidebar = 'hidden';
96+
sidebar_toggle.checked = false;
97+
}
98+
if (sidebar === 'visible') {
99+
sidebar_toggle.checked = true;
100+
} else {
101+
html.classList.remove('sidebar-visible');
95102
}
96-
sidebar_toggle.checked = sidebar === 'visible';
97-
html.classList.remove('sidebar-visible');
98-
html.classList.add("sidebar-" + sidebar);
99103
</script>
100104

101105
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
@@ -146,7 +150,12 @@ <h1 class="menu-title">Juniper Book</h1>
146150

147151
<div id="search-wrapper" class="hidden">
148152
<form id="searchbar-outer" class="searchbar-outer">
149-
<input type="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header">
153+
<div class="search-wrapper">
154+
<input type="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header">
155+
<div class="spinner-wrapper">
156+
<i class="fa fa-spinner fa-spin"></i>
157+
</div>
158+
</div>
150159
</form>
151160
<div id="searchresults-outer" class="searchresults-outer hidden">
152161
<div id="searchresults-header" class="searchresults-header"></div>
@@ -230,6 +239,7 @@ <h1 id="advanced-topics"><a class="header" href="#advanced-topics">Advanced topi
230239
<!-- Custom JS scripts -->
231240

232241

242+
233243
</div>
234244
</body>
235245
</html>

master/advanced/lookahead.html

Lines changed: 14 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -36,6 +36,7 @@
3636
const path_to_root = "../";
3737
const default_light_theme = "light";
3838
const default_dark_theme = "navy";
39+
window.path_to_searchindex_js = "../searchindex.js";
3940
</script>
4041
<!-- Start loading toc.js asap -->
4142
<script src="../toc.js"></script>
@@ -92,10 +93,13 @@ <h2 class="mdbook-help-title">Keyboard shortcuts</h2>
9293
sidebar = sidebar || 'visible';
9394
} else {
9495
sidebar = 'hidden';
96+
sidebar_toggle.checked = false;
97+
}
98+
if (sidebar === 'visible') {
99+
sidebar_toggle.checked = true;
100+
} else {
101+
html.classList.remove('sidebar-visible');
95102
}
96-
sidebar_toggle.checked = sidebar === 'visible';
97-
html.classList.remove('sidebar-visible');
98-
html.classList.add("sidebar-" + sidebar);
99103
</script>
100104

101105
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
@@ -146,7 +150,12 @@ <h1 class="menu-title">Juniper Book</h1>
146150

147151
<div id="search-wrapper" class="hidden">
148152
<form id="searchbar-outer" class="searchbar-outer">
149-
<input type="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header">
153+
<div class="search-wrapper">
154+
<input type="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header">
155+
<div class="spinner-wrapper">
156+
<i class="fa fa-spinner fa-spin"></i>
157+
</div>
158+
</div>
150159
</form>
151160
<div id="searchresults-outer" class="searchresults-outer hidden">
152161
<div id="searchresults-header" class="searchresults-header"></div>
@@ -417,6 +426,7 @@ <h2 id="more-features"><a class="header" href="#more-features">More features</a>
417426
<!-- Custom JS scripts -->
418427

419428

429+
420430
</div>
421431
</body>
422432
</html>

master/advanced/n_plus_1.html

Lines changed: 14 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -36,6 +36,7 @@
3636
const path_to_root = "../";
3737
const default_light_theme = "light";
3838
const default_dark_theme = "navy";
39+
window.path_to_searchindex_js = "../searchindex.js";
3940
</script>
4041
<!-- Start loading toc.js asap -->
4142
<script src="../toc.js"></script>
@@ -92,10 +93,13 @@ <h2 class="mdbook-help-title">Keyboard shortcuts</h2>
9293
sidebar = sidebar || 'visible';
9394
} else {
9495
sidebar = 'hidden';
96+
sidebar_toggle.checked = false;
97+
}
98+
if (sidebar === 'visible') {
99+
sidebar_toggle.checked = true;
100+
} else {
101+
html.classList.remove('sidebar-visible');
95102
}
96-
sidebar_toggle.checked = sidebar === 'visible';
97-
html.classList.remove('sidebar-visible');
98-
html.classList.add("sidebar-" + sidebar);
99103
</script>
100104

101105
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
@@ -146,7 +150,12 @@ <h1 class="menu-title">Juniper Book</h1>
146150

147151
<div id="search-wrapper" class="hidden">
148152
<form id="searchbar-outer" class="searchbar-outer">
149-
<input type="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header">
153+
<div class="search-wrapper">
154+
<input type="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header">
155+
<div class="spinner-wrapper">
156+
<i class="fa fa-spinner fa-spin"></i>
157+
</div>
158+
</div>
150159
</form>
151160
<div id="searchresults-outer" class="searchresults-outer hidden">
152161
<div id="searchresults-header" class="searchresults-header"></div>
@@ -312,6 +321,7 @@ <h1 id="n1-problem"><a class="header" href="#n1-problem">N+1 problem</a></h1>
312321
<!-- Custom JS scripts -->
313322

314323

324+
315325
</div>
316326
</body>
317327
</html>

0 commit comments

Comments
 (0)