patch in redbox.js and the instructor-menu.js

michael-kerscher · Sep 6, 2024 · c5cb639 · c5cb639
1 parent 5864ee9
commit c5cb639
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/book.toml b/book.toml
@@ -61,6 +61,8 @@ additional-css = [
   "theme/css/speaker-notes.css",
   "theme/css/language-picker.css",
   "theme/css/rtl.css",
+  "theme/redbox.js",
+  "theme/instructor-menu.js",
 ]
 site-url = "/comprehensive-rust/"
 git-repository-url = "https://github.com/google/comprehensive-rust"

diff --git a/theme/index.hbs b/theme/index.hbs
@@ -400,6 +400,8 @@
         <script src="{{ path_to_root }}clipboard.min.js"></script>
         <script src="{{ path_to_root }}highlight.js"></script>
         <script src="{{ path_to_root }}book.js"></script>
+        <script src="{{ path_to_root }}theme/redbox.js"></script>
+        <script src="{{ path_to_root }}theme/instructor-menu.js"></script>
 
         <!-- Custom JS scripts -->
         {{#each additional_js}}