From cf08a97b7edd839bb7c20b6a646f5041a084b03d Mon Sep 17 00:00:00 2001 From: AlessioBugetti Date: Tue, 30 Jan 2024 13:46:21 +0100 Subject: [PATCH] doc: (fixes #1016) Update ns3_doxy_header --- doc/ns3_html_theme/ns3_doxy_header.html | 18 ++++++++++++------ doc/ns3_html_theme/static/ns3_stylesheet.css | 5 +++++ 2 files changed, 17 insertions(+), 6 deletions(-) diff --git a/doc/ns3_html_theme/ns3_doxy_header.html b/doc/ns3_html_theme/ns3_doxy_header.html index 8617f677d..0ba09cf07 100644 --- a/doc/ns3_html_theme/ns3_doxy_header.html +++ b/doc/ns3_html_theme/ns3_doxy_header.html @@ -1,24 +1,30 @@ - + - + + $projectname: $title $title + + + + + + $treeview $search $mathjax +$darkmode $extrastylesheet - @@ -30,7 +36,7 @@ $extrastylesheet
- +