Add custom HTML header with proper DOCTYPE

Anon23261 · Dec 17, 2024 · efef786 · efef786
1 parent 3eed607
commit efef786
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 1 deletion.
diff --git a/Doxyfile b/Doxyfile
@@ -32,7 +32,7 @@ CALLER_GRAPH          = YES
 
 HTML_DOCTYPE         = <!DOCTYPE html>
 HTML_FILE_EXTENSION  = .html
-HTML_HEADER         =
+HTML_HEADER         = docs/header.html
 HTML_FOOTER         =
 HTML_EXTRA_STYLESHEET =
 HTML_EXTRA_FILES    =

diff --git a/docs/header.html b/docs/header.html
@@ -0,0 +1,17 @@
+<!DOCTYPE html>
+<html>
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=edge">
+<meta name="generator" content="Doxygen $doxygenversion"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+$treeview
+$search
+$mathjax
+$extrastylesheet
+<title>$projectname: $title</title>
+</head>
+<body>
+<div id="top">
+$header
+</div>