Version picker deployed for v1.79 docs to Github Pages
1 files changed, 16 insertions, 1 deletions
diff --git a/v1.79/404.html b/v1.79/404.html
index e300ccf7e3..078e54538c 100644
--- a/v1.79/404.html
+++ b/v1.79/404.html
@@ -29,6 +29,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 -->
@@ -104,6 +105,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>
@@ -173,5 +186,7 @@
<!-- 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>
|
