Skip to content

Commit 40a6466

Browse files
eva-cosmaeva-cosma
committed
deploy: 8985e2c 
1 parent 7bf0646 commit 40a6466

20 files changed

Lines changed: 130 additions & 56 deletions

‎main/404.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -16,8 +16,8 @@
1616
<link rel="icon" href="favicon-de23e50b.svg">
1717
<link rel="shortcut icon" href="favicon-8114d1fc.png">
1818
<link rel="stylesheet" href="css/variables-8adf115d.css">
19-
<link rel="stylesheet" href="css/general-0392ca55.css">
20-
<link rel="stylesheet" href="css/chrome-fc474251.css">
19+
<link rel="stylesheet" href="css/general-e96d0476.css">
20+
<link rel="stylesheet" href="css/chrome-d279d366.css">
2121
<link rel="stylesheet" href="css/print-9e4910d8.css" media="print">
2222

2323
<!-- Fonts -->
@@ -36,7 +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-87296e12.js";
39+
window.path_to_searchindex_js = "searchindex-d17f0065.js";
4040
</script>
4141
<!-- Start loading toc.js asap -->
4242
<script src="toc-a5f3324a.js"></script>
@@ -214,7 +214,7 @@ <h1 id="document-not-found-404"><a class="header" href="#document-not-found-404"
214214

215215
<script src="clipboard-1626706a.min.js"></script>
216216
<script src="highlight-abc7f01d.js"></script>
217-
<script src="book-c22b7243.js"></script>
217+
<script src="book-609e4cb8.js"></script>
218218

219219
<!-- Custom JS scripts -->
220220

main/book-c22b7243.js renamed to main/book-609e4cb8.js

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -27,6 +27,10 @@ function mdbook_something_else_has_focus(e) {
2727
// Check composedPath in case the event happened from something generated
2828
// from the shadowDOM.
2929
const target = e.composedPath()[0] || e.target;
30+
// If this is the `checkbox-img` input which has the focus, we want to handle it here.
31+
if (target.classList.contains('checkbox-img')) {
32+
return false;
33+
}
3034
return /^(?:input|select|textarea)$/i.test(target.nodeName);
3135
}
3236

@@ -658,6 +662,12 @@ aria-label="Show hidden lines"></button>';
658662
})();
659663

660664
(function chapterNavigation() {
665+
function zoomOutImages() {
666+
for (const elem of Array.from(document.querySelectorAll('input.checkbox-img'))) {
667+
elem.checked = false;
668+
}
669+
}
670+
661671
document.addEventListener('keydown', function(e) {
662672
if (e.altKey ||
663673
e.ctrlKey ||
@@ -724,6 +734,9 @@ aria-label="Show hidden lines"></button>';
724734
e.preventDefault();
725735
showHelp();
726736
break;
737+
case 'Escape':
738+
zoomOutImages();
739+
break;
727740
}
728741

729742
// Rest of the keys are only active when the Shift key is not pressed

‎main/commands/index.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,8 @@
1515
<link rel="icon" href="../favicon-de23e50b.svg">
1616
<link rel="shortcut icon" href="../favicon-8114d1fc.png">
1717
<link rel="stylesheet" href="../css/variables-8adf115d.css">
18-
<link rel="stylesheet" href="../css/general-0392ca55.css">
19-
<link rel="stylesheet" href="../css/chrome-fc474251.css">
18+
<link rel="stylesheet" href="../css/general-e96d0476.css">
19+
<link rel="stylesheet" href="../css/chrome-d279d366.css">
2020
<link rel="stylesheet" href="../css/print-9e4910d8.css" media="print">
2121

2222
<!-- Fonts -->
@@ -35,7 +35,7 @@
3535
const path_to_root = "../";
3636
const default_light_theme = "light";
3737
const default_dark_theme = "navy";
38-
window.path_to_searchindex_js = "../searchindex-87296e12.js";
38+
window.path_to_searchindex_js = "../searchindex-d17f0065.js";
3939
</script>
4040
<!-- Start loading toc.js asap -->
4141
<script src="../toc-a5f3324a.js"></script>
@@ -223,7 +223,7 @@ <h1 class="menu-title">Tockloader-rs Dev Notes</h1>
223223

224224
<script src="../clipboard-1626706a.min.js"></script>
225225
<script src="../highlight-abc7f01d.js"></script>
226-
<script src="../book-c22b7243.js"></script>
226+
<script src="../book-609e4cb8.js"></script>
227227

228228
<!-- Custom JS scripts -->
229229

‎main/commands/info.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,8 @@
1515
<link rel="icon" href="../favicon-de23e50b.svg">
1616
<link rel="shortcut icon" href="../favicon-8114d1fc.png">
1717
<link rel="stylesheet" href="../css/variables-8adf115d.css">
18-
<link rel="stylesheet" href="../css/general-0392ca55.css">
19-
<link rel="stylesheet" href="../css/chrome-fc474251.css">
18+
<link rel="stylesheet" href="../css/general-e96d0476.css">
19+
<link rel="stylesheet" href="../css/chrome-d279d366.css">
2020
<link rel="stylesheet" href="../css/print-9e4910d8.css" media="print">
2121

2222
<!-- Fonts -->
@@ -35,7 +35,7 @@
3535
const path_to_root = "../";
3636
const default_light_theme = "light";
3737
const default_dark_theme = "navy";
38-
window.path_to_searchindex_js = "../searchindex-87296e12.js";
38+
window.path_to_searchindex_js = "../searchindex-d17f0065.js";
3939
</script>
4040
<!-- Start loading toc.js asap -->
4141
<script src="../toc-a5f3324a.js"></script>
@@ -223,7 +223,7 @@ <h1 class="menu-title">Tockloader-rs Dev Notes</h1>
223223

224224
<script src="../clipboard-1626706a.min.js"></script>
225225
<script src="../highlight-abc7f01d.js"></script>
226-
<script src="../book-c22b7243.js"></script>
226+
<script src="../book-609e4cb8.js"></script>
227227

228228
<!-- Custom JS scripts -->
229229

‎main/commands/install.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,8 @@
1515
<link rel="icon" href="../favicon-de23e50b.svg">
1616
<link rel="shortcut icon" href="../favicon-8114d1fc.png">
1717
<link rel="stylesheet" href="../css/variables-8adf115d.css">
18-
<link rel="stylesheet" href="../css/general-0392ca55.css">
19-
<link rel="stylesheet" href="../css/chrome-fc474251.css">
18+
<link rel="stylesheet" href="../css/general-e96d0476.css">
19+
<link rel="stylesheet" href="../css/chrome-d279d366.css">
2020
<link rel="stylesheet" href="../css/print-9e4910d8.css" media="print">
2121

2222
<!-- Fonts -->
@@ -35,7 +35,7 @@
3535
const path_to_root = "../";
3636
const default_light_theme = "light";
3737
const default_dark_theme = "navy";
38-
window.path_to_searchindex_js = "../searchindex-87296e12.js";
38+
window.path_to_searchindex_js = "../searchindex-d17f0065.js";
3939
</script>
4040
<!-- Start loading toc.js asap -->
4141
<script src="../toc-a5f3324a.js"></script>
@@ -310,7 +310,7 @@ <h3 id="cleaning-up-flash"><a class="header" href="#cleaning-up-flash">Cleaning
310310

311311
<script src="../clipboard-1626706a.min.js"></script>
312312
<script src="../highlight-abc7f01d.js"></script>
313-
<script src="../book-c22b7243.js"></script>
313+
<script src="../book-609e4cb8.js"></script>
314314

315315
<!-- Custom JS scripts -->
316316

‎main/commands/list.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,8 @@
1515
<link rel="icon" href="../favicon-de23e50b.svg">
1616
<link rel="shortcut icon" href="../favicon-8114d1fc.png">
1717
<link rel="stylesheet" href="../css/variables-8adf115d.css">
18-
<link rel="stylesheet" href="../css/general-0392ca55.css">
19-
<link rel="stylesheet" href="../css/chrome-fc474251.css">
18+
<link rel="stylesheet" href="../css/general-e96d0476.css">
19+
<link rel="stylesheet" href="../css/chrome-d279d366.css">
2020
<link rel="stylesheet" href="../css/print-9e4910d8.css" media="print">
2121

2222
<!-- Fonts -->
@@ -35,7 +35,7 @@
3535
const path_to_root = "../";
3636
const default_light_theme = "light";
3737
const default_dark_theme = "navy";
38-
window.path_to_searchindex_js = "../searchindex-87296e12.js";
38+
window.path_to_searchindex_js = "../searchindex-d17f0065.js";
3939
</script>
4040
<!-- Start loading toc.js asap -->
4141
<script src="../toc-a5f3324a.js"></script>
@@ -223,7 +223,7 @@ <h1 class="menu-title">Tockloader-rs Dev Notes</h1>
223223

224224
<script src="../clipboard-1626706a.min.js"></script>
225225
<script src="../highlight-abc7f01d.js"></script>
226-
<script src="../book-c22b7243.js"></script>
226+
<script src="../book-609e4cb8.js"></script>
227227

228228
<!-- Custom JS scripts -->
229229

‎main/commands/listen.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,8 @@
1515
<link rel="icon" href="../favicon-de23e50b.svg">
1616
<link rel="shortcut icon" href="../favicon-8114d1fc.png">
1717
<link rel="stylesheet" href="../css/variables-8adf115d.css">
18-
<link rel="stylesheet" href="../css/general-0392ca55.css">
19-
<link rel="stylesheet" href="../css/chrome-fc474251.css">
18+
<link rel="stylesheet" href="../css/general-e96d0476.css">
19+
<link rel="stylesheet" href="../css/chrome-d279d366.css">
2020
<link rel="stylesheet" href="../css/print-9e4910d8.css" media="print">
2121

2222
<!-- Fonts -->
@@ -35,7 +35,7 @@
3535
const path_to_root = "../";
3636
const default_light_theme = "light";
3737
const default_dark_theme = "navy";
38-
window.path_to_searchindex_js = "../searchindex-87296e12.js";
38+
window.path_to_searchindex_js = "../searchindex-d17f0065.js";
3939
</script>
4040
<!-- Start loading toc.js asap -->
4141
<script src="../toc-a5f3324a.js"></script>
@@ -223,7 +223,7 @@ <h1 class="menu-title">Tockloader-rs Dev Notes</h1>
223223

224224
<script src="../clipboard-1626706a.min.js"></script>
225225
<script src="../highlight-abc7f01d.js"></script>
226-
<script src="../book-c22b7243.js"></script>
226+
<script src="../book-609e4cb8.js"></script>
227227

228228
<!-- Custom JS scripts -->
229229

‎main/concepts/bootloader.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,8 @@
1515
<link rel="icon" href="../favicon-de23e50b.svg">
1616
<link rel="shortcut icon" href="../favicon-8114d1fc.png">
1717
<link rel="stylesheet" href="../css/variables-8adf115d.css">
18-
<link rel="stylesheet" href="../css/general-0392ca55.css">
19-
<link rel="stylesheet" href="../css/chrome-fc474251.css">
18+
<link rel="stylesheet" href="../css/general-e96d0476.css">
19+
<link rel="stylesheet" href="../css/chrome-d279d366.css">
2020
<link rel="stylesheet" href="../css/print-9e4910d8.css" media="print">
2121

2222
<!-- Fonts -->
@@ -35,7 +35,7 @@
3535
const path_to_root = "../";
3636
const default_light_theme = "light";
3737
const default_dark_theme = "navy";
38-
window.path_to_searchindex_js = "../searchindex-87296e12.js";
38+
window.path_to_searchindex_js = "../searchindex-d17f0065.js";
3939
</script>
4040
<!-- Start loading toc.js asap -->
4141
<script src="../toc-a5f3324a.js"></script>
@@ -223,7 +223,7 @@ <h1 class="menu-title">Tockloader-rs Dev Notes</h1>
223223

224224
<script src="../clipboard-1626706a.min.js"></script>
225225
<script src="../highlight-abc7f01d.js"></script>
226-
<script src="../book-c22b7243.js"></script>
226+
<script src="../book-609e4cb8.js"></script>
227227

228228
<!-- Custom JS scripts -->
229229

‎main/concepts/bootloader_attributes.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,8 @@
1515
<link rel="icon" href="../favicon-de23e50b.svg">
1616
<link rel="shortcut icon" href="../favicon-8114d1fc.png">
1717
<link rel="stylesheet" href="../css/variables-8adf115d.css">
18-
<link rel="stylesheet" href="../css/general-0392ca55.css">
19-
<link rel="stylesheet" href="../css/chrome-fc474251.css">
18+
<link rel="stylesheet" href="../css/general-e96d0476.css">
19+
<link rel="stylesheet" href="../css/chrome-d279d366.css">
2020
<link rel="stylesheet" href="../css/print-9e4910d8.css" media="print">
2121

2222
<!-- Fonts -->
@@ -35,7 +35,7 @@
3535
const path_to_root = "../";
3636
const default_light_theme = "light";
3737
const default_dark_theme = "navy";
38-
window.path_to_searchindex_js = "../searchindex-87296e12.js";
38+
window.path_to_searchindex_js = "../searchindex-d17f0065.js";
3939
</script>
4040
<!-- Start loading toc.js asap -->
4141
<script src="../toc-a5f3324a.js"></script>
@@ -217,7 +217,7 @@ <h1 class="menu-title">Tockloader-rs Dev Notes</h1>
217217

218218
<script src="../clipboard-1626706a.min.js"></script>
219219
<script src="../highlight-abc7f01d.js"></script>
220-
<script src="../book-c22b7243.js"></script>
220+
<script src="../book-609e4cb8.js"></script>
221221

222222
<!-- Custom JS scripts -->
223223

‎main/concepts/index.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,8 @@
1515
<link rel="icon" href="../favicon-de23e50b.svg">
1616
<link rel="shortcut icon" href="../favicon-8114d1fc.png">
1717
<link rel="stylesheet" href="../css/variables-8adf115d.css">
18-
<link rel="stylesheet" href="../css/general-0392ca55.css">
19-
<link rel="stylesheet" href="../css/chrome-fc474251.css">
18+
<link rel="stylesheet" href="../css/general-e96d0476.css">
19+
<link rel="stylesheet" href="../css/chrome-d279d366.css">
2020
<link rel="stylesheet" href="../css/print-9e4910d8.css" media="print">
2121

2222
<!-- Fonts -->
@@ -35,7 +35,7 @@
3535
const path_to_root = "../";
3636
const default_light_theme = "light";
3737
const default_dark_theme = "navy";
38-
window.path_to_searchindex_js = "../searchindex-87296e12.js";
38+
window.path_to_searchindex_js = "../searchindex-d17f0065.js";
3939
</script>
4040
<!-- Start loading toc.js asap -->
4141
<script src="../toc-a5f3324a.js"></script>
@@ -223,7 +223,7 @@ <h1 class="menu-title">Tockloader-rs Dev Notes</h1>
223223

224224
<script src="../clipboard-1626706a.min.js"></script>
225225
<script src="../highlight-abc7f01d.js"></script>
226-
<script src="../book-c22b7243.js"></script>
226+
<script src="../book-609e4cb8.js"></script>
227227

228228
<!-- Custom JS scripts -->
229229

0 commit comments

Comments
 (0)