[DOC] Improve version selector

seqan · Feb 8, 2024 · 98f1e3b · 98f1e3b
1 parent 2ddce9d
commit 98f1e3b
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 10 deletions.
diff --git a/test/documentation/seqan3_footer.html.in b/test/documentation/seqan3_footer.html.in
@@ -8,7 +8,8 @@
 <script type="text/javascript" charset="utf-8" src="api-stability.js"></script>
 <div id="nav-path" class="navpath"><!-- id is needed for treeview function! -->
   <ul>
-    <div id="list_bottom_right" style="text-align:right; float:left; color:black; padding: 0px 0px 0px 10px"></div> <!-- div for version.js -->
+    <!-- li for version.js -->
+    <li id="list_bottom_right" class="footer" style="float:left; font-size: 12pt; color: var(--page-foreground-color); font-weight: normal;">Version: <li>
     <script type="text/javascript" charset="utf-8" src="version.js"></script>
     $navpath
     ${SEQAN3_FOOTER_HTML_OPTION_POWERED_BY_VERCEL}

diff --git a/test/documentation/version.js b/test/documentation/version.js
@@ -40,13 +40,9 @@ function addVersionSelection(arr)
 {
     // add HTMLs
     var version_select = document.createElement("select");
-    var version_div = document.createElement("div");
-
     version_select.setAttribute("id","version_select");
-    version_div.setAttribute("style","vertical-align:middle; text-align:right;");
-    version_div.appendChild(document.createTextNode("Version: "));
-    version_div.appendChild(version_select);
-    document.getElementById("list_bottom_right").appendChild(version_div);
+    version_select.setAttribute("style","color: var(--page-foreground-color);");
+    document.getElementById("list_bottom_right").appendChild(version_select);
 
     version_select.addEventListener("change", function(){changeVersion(this.id);}, false);
 

diff --git a/test/documentation/version.php b/test/documentation/version.php
@@ -1,9 +1,9 @@
-<!--
+<?php
+/*
     SPDX-FileCopyrightText: 2006-2024 Knut Reinert & Freie Universität Berlin
     SPDX-FileCopyrightText: 2016-2024 Knut Reinert & MPI für molekulare Genetik
     SPDX-License-Identifier: BSD-3-Clause
--->
-<?php
+*/
 /* Jongkyu Kim([email protected]), 2016.01.12
    Adaptations by Enrico Seiler ([email protected]), 2020 */
 $LOCALDIR = "../";