Skip to content

Commit 22c5b56

Browse files
fix: use doxygen 1.18.0 header template (#98)
1 parent 0b31bf4 commit 22c5b56

1 file changed

Lines changed: 33 additions & 9 deletions

File tree

doxyconfig-header.html

Lines changed: 33 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
<!-- HTML header for doxygen 1.10.0-->
1+
<!-- HTML header for doxygen 1.18.0-->
22
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
33
<html xmlns="http://www.w3.org/1999/xhtml" lang="$langISO">
44
<head>
@@ -8,19 +8,36 @@
88
<meta name="viewport" content="width=device-width, initial-scale=1"/>
99
<!--BEGIN PROJECT_NAME--><title>$projectname: $title</title><!--END PROJECT_NAME-->
1010
<!--BEGIN !PROJECT_NAME--><title>$title</title><!--END !PROJECT_NAME-->
11+
<!--BEGIN PROJECT_ICON-->
1112
<link rel="icon" href="$relpath^$projecticon" type="image/x-icon" />
13+
<!--END PROJECT_ICON-->
1214
<link href="$relpath^tabs.css" rel="stylesheet" type="text/css"/>
13-
<!--BEGIN DISABLE_INDEX-->
1415
<!--BEGIN FULL_SIDEBAR-->
15-
<script type="text/javascript">var page_layout=1;</script>
16+
<meta name="doxygen-page-layout" content="1" />
1617
<!--END FULL_SIDEBAR-->
17-
<!--END DISABLE_INDEX-->
18-
<script type="text/javascript" src="$relpath^jquery.js"></script>
18+
<!--BEGIN HTML_DYNAMIC_SECTIONS-->
1919
<script type="text/javascript" src="$relpath^dynsections.js"></script>
20+
<!--END HTML_DYNAMIC_SECTIONS-->
21+
<!--BEGIN HTML_CODE_FOLDING-->
22+
<script type="text/javascript" src="$relpath^codefolding.js"></script>
23+
<!--END HTML_CODE_FOLDING-->
24+
<!--BEGIN COPY_CLIPBOARD-->
25+
<script type="text/javascript" src="$relpath^clipboard.js"></script>
26+
<!--END COPY_CLIPBOARD-->
2027
$treeview
28+
<script type="text/javascript">
29+
if (typeof Cookie !== 'undefined') {
30+
// Read the Docs projects share one origin, so isolate Doxygen's generic
31+
// settings to the current project and version directory.
32+
const docsPath = new URL('$relpath^.', location.href).pathname
33+
.replace(/[^A-Za-z0-9_-]/g, '_')
34+
Cookie.cookie_namespace += `${docsPath}_`
35+
}
36+
</script>
2137
$search
2238
$mathjax
2339
$darkmode
40+
$mermaidjs
2441
<link href="$relpath^$stylesheet" rel="stylesheet" type="text/css" />
2542
$extrastylesheet
2643

@@ -55,11 +72,18 @@
5572
<!--DOXYGEN-AWESOME END-->
5673
</head>
5774
<body>
58-
<!--BEGIN DISABLE_INDEX-->
59-
<!--BEGIN FULL_SIDEBAR-->
75+
<script type="text/javascript">
76+
// Doxygen 1.18's external search runtime expects this element on every page.
77+
if (!location.pathname.endsWith('/search.html')) {
78+
const searchResults = document.createElement('div')
79+
searchResults.id = 'searchresults'
80+
searchResults.hidden = true
81+
document.body.appendChild(searchResults)
82+
}
83+
</script>
84+
<!--BEGIN FULL_SIDEBAR-->
6085
<div id="side-nav" class="ui-resizable side-nav-resizable"><!-- do not remove this div, it is closed by doxygen! -->
61-
<!--END FULL_SIDEBAR-->
62-
<!--END DISABLE_INDEX-->
86+
<!--END FULL_SIDEBAR-->
6387

6488
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
6589

0 commit comments

Comments
 (0)