[DOC] Improve version selector

Author: eseiler

test/documentation/seqan3_footer.html.in

@@ -5,10 +5,13 @@
 <!-- HTML footer for doxygen 1.9.8-->
 <!-- start footer part -->
 <!--BEGIN GENERATE_TREEVIEW-->
+<!--Doxygen adds <a href="doxygen_crawl.html"/>; which would overwrite version selector.-->
+<a href="doxygen_crawl.html"><div style="display: none;">Hide me</div></a>
 <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}

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);
 

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 = "../";