From aaae8612abb652f999727daa31cc60448c997680 Mon Sep 17 00:00:00 2001 From: Ingmar Schoegl Date: Mon, 17 Jul 2023 21:36:50 -0600 Subject: [PATCH] [docs] Add theme extensions --- doc/doxygen/Doxyfile | 7 ++-- doc/doxygen/header.html | 73 +++++++++++++++++++++++++++++++++++++++++ 2 files changed, 78 insertions(+), 2 deletions(-) create mode 100644 doc/doxygen/header.html diff --git a/doc/doxygen/Doxyfile b/doc/doxygen/Doxyfile index 193c9410f6b..fe1439db488 100644 --- a/doc/doxygen/Doxyfile +++ b/doc/doxygen/Doxyfile @@ -1177,7 +1177,7 @@ HTML_FILE_EXTENSION = .html # of the possible markers and block names see the documentation. # This tag requires that the tag GENERATE_HTML is set to YES. -HTML_HEADER = +HTML_HEADER = doc/doxygen/header.html # The HTML_FOOTER tag can be used to specify a user-defined HTML footer for each # generated HTML page. If the tag is left blank doxygen will generate a standard @@ -1222,7 +1222,10 @@ HTML_EXTRA_STYLESHEET = ext/doxygen-awesome-css/doxygen-awesome.css # files will be copied as-is; there are no commands or markers available. # This tag requires that the tag GENERATE_HTML is set to YES. -HTML_EXTRA_FILES = +HTML_EXTRA_FILES = ext/doxygen-awesome-css/doxygen-awesome-darkmode-toggle.js \ + ext/doxygen-awesome-css/doxygen-awesome-paragraph-link.js \ + ext/doxygen-awesome-css/doxygen-awesome-interactive-toc.js \ + ext/doxygen-awesome-css/doxygen-awesome-fragment-copy-button.js # The HTML_COLORSTYLE_HUE tag controls the color of the HTML output. Doxygen # will adjust the colors in the style sheet and background images according to diff --git a/doc/doxygen/header.html b/doc/doxygen/header.html new file mode 100644 index 00000000000..d8f79c8793a --- /dev/null +++ b/doc/doxygen/header.html @@ -0,0 +1,73 @@ + + + + + + + + +$projectname: $title +$title + + + +$treeview +$search +$mathjax + +$extrastylesheet + + + + + + + + + + + +
+ + +
+ + + + + + + + + + + + + + + + + + + + + +
+
$projectname +  $projectnumber +
+
$projectbrief
+ 		+
$projectbrief
+ 		$searchbox
+
+ +