From db3ddbaaa758ece4d0baf4345dee80fe3e63b7da Mon Sep 17 00:00:00 2001
From: Action Bot <action@synapse.bot.com>
Date: Mon, 11 Dec 2023 14:56:41 +0000
Subject: Version picker deployed for v1.57 docs to Github Pages

---
 v1.57/code_style.html | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

(limited to 'v1.57/code_style.html')

diff --git a/v1.57/code_style.html b/v1.57/code_style.html
index 0620f138e3..98a10180bf 100644
--- a/v1.57/code_style.html
+++ b/v1.57/code_style.html
@@ -28,6 +28,7 @@
         <link rel="stylesheet" href="docs/website_files/table-of-contents.css">
         <link rel="stylesheet" href="docs/website_files/remove-nav-buttons.css">
         <link rel="stylesheet" href="docs/website_files/indent-section-headers.css">
+        <link rel="stylesheet" href="docs/website_files/version-picker.css">
     </head>
     <body>
         <!-- Provide site root to javascript -->
@@ -103,6 +104,18 @@
                         <button id="search-toggle" class="icon-button" type="button" title="Search. (Shortkey: s)" aria-label="Toggle Searchbar" aria-expanded="false" aria-keyshortcuts="S" aria-controls="searchbar">
                             <i class="fa fa-search"></i>
                         </button>
+                        <div class="version-picker">
+                            <div class="dropdown">
+                                <div class="select">
+                                    <span></span>
+                                    <i class="fa fa-chevron-down"></i>
+                                </div>
+                                <input type="hidden" name="version">
+                                <ul class="dropdown-menu">
+                                    <!-- Versions will be added dynamically in version-picker.js -->
+                                </ul>
+                            </div>
+                        </div>      
                     </div>
 
                     <h1 class="menu-title">Synapse</h1>
@@ -362,5 +375,7 @@ is left as an exercise for the reader!</p>
 
         <!-- Custom JS scripts -->
         <script type="text/javascript" src="docs/website_files/table-of-contents.js"></script>
+        <script type="text/javascript" src="docs/website_files/version-picker.js"></script>
+        <script type="text/javascript" src="docs/website_files/version.js"></script>
     </body>
-</html>
\ No newline at end of file
+</html>
-- 
cgit 1.4.1