Update custom Doxygen header and footer to match std ones closer

Minimize discrepancies between the standard Doxygen version of these
files and our ones.

Add useful clipboard.js which allows copying the contents of various
snippets to clipboard.

Update HTTP links to use HTTPS.

Still keep our customizations, notably the custom header appearance and
removal of the separating hr element before the footer.

This also removes an unnecessary #page_container div element which was
never closed resulting, fixing the problem with invalid HTML output.

Closes #26710.
This commit is contained in:
Vadim Zeitlin
2026-07-21 15:31:05 +02:00
parent 895028b517
commit 418bb5cc62
2 changed files with 18 additions and 29 deletions
+5 -23
View File
@@ -1,26 +1,8 @@
<!-- start footer part -->
<!--BEGIN GENERATE_TREEVIEW--> <address class="footer"><small>
<div id="nav-path" class="navpath"><!-- id is needed for treeview function! --> $generatedby&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="$relpath$doxygen.svg" width="104" height="31" alt="doxygen"/></a> $doxygenversion
<ul> </small></address>
$navpath
<li class="footer">
$generatedby <a href="http://www.doxygen.org/index.html" target="_new">Doxygen</a> $doxygenversion
</li>
</ul>
</div>
<!--END GENERATE_TREEVIEW-->
<!--BEGIN !GENERATE_TREEVIEW-->
<address class="footer">
<small>
$generatedby <a href="http://www.doxygen.org/index.html" target="_new">Doxygen</a> $doxygenversion
</small>
</address>
<!--END !GENERATE_TREEVIEW-->
<script src="wxwidgets.js" type="text/javascript"></script> <script src="wxwidgets.js" type="text/javascript"></script>
</div><!-- doc-content -->
<!--EXTRA FOOTER SCRIPT-->
</div><!-- #page_container -->
</body> </body>
</html> </html>
+13 -6
View File
@@ -1,13 +1,16 @@
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml"> <html xmlns="http://www.w3.org/1999/xhtml" lang="en-US">
<head> <head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/> <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/> <meta http-equiv="X-UA-Compatible" content="IE=11"/>
<meta name="generator" content="Doxygen $doxygenversion"/>
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<!--BEGIN PROJECT_NAME--><title>$title | $projectname</title><!--END PROJECT_NAME--> <!--BEGIN PROJECT_NAME--><title>$title | $projectname</title><!--END PROJECT_NAME-->
<!--BEGIN !PROJECT_NAME--><title>$title</title><!--END !PROJECT_NAME--> <!--BEGIN !PROJECT_NAME--><title>$title</title><!--END !PROJECT_NAME-->
<link href="$relpath$tabs.css" rel="stylesheet" type="text/css"/> <link href="$relpath$tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="$relpath$jquery.js"></script> <script type="text/javascript" src="$relpath$jquery.js"></script>
<script type="text/javascript" src="$relpath$dynsections.js"></script> <script type="text/javascript" src="$relpath$dynsections.js"></script>
<script type="text/javascript" src="$relpath$clipboard.js"></script>
<script type="text/javascript" src="$relpath^doxygen-awesome-darkmode-toggle.js"></script> <script type="text/javascript" src="$relpath^doxygen-awesome-darkmode-toggle.js"></script>
<script type="text/javascript">DoxygenAwesomeDarkModeToggle.init()</script> <script type="text/javascript">DoxygenAwesomeDarkModeToggle.init()</script>
<script type="text/javascript" src="$relpath^doxygen-awesome-fragment-copy-button.js"></script> <script type="text/javascript" src="$relpath^doxygen-awesome-fragment-copy-button.js"></script>
@@ -19,7 +22,6 @@ $mathjax
$extrastylesheet $extrastylesheet
</head> </head>
<body> <body>
<div id="page_container">
<div id="top"><!-- do not remove this div, it is closed by doxygen! --> <div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<!--BEGIN TITLEAREA--> <!--BEGIN TITLEAREA-->
@@ -34,8 +36,12 @@ $extrastylesheet
</a> </a>
</td> </td>
<!--END PROJECT_LOGO--> <!--END PROJECT_LOGO-->
<td style="padding-left: 0.5em; text-align: right;"> <td id="projectalign" style="padding-left: 0.5em; text-align: right;">
<!--BEGIN PROJECT_NUMBER--><span id="projectnumber">Version: $projectnumber</span><!--END PROJECT_NUMBER--> <div id="projectname">
<!--BEGIN PROJECT_NUMBER-->
<span id="projectnumber">Version:&#160;$projectnumber</span>
<!--END PROJECT_NUMBER-->
</div>
</td> </td>
<!--BEGIN DISABLE_INDEX--> <!--BEGIN DISABLE_INDEX-->
<!--BEGIN SEARCHENGINE--> <!--BEGIN SEARCHENGINE-->
@@ -47,3 +53,4 @@ $extrastylesheet
</table> </table>
</div> </div>
<!--END TITLEAREA--> <!--END TITLEAREA-->
<!-- end header part -->