diff --git a/doc/ns3_html_theme/layout.html b/doc/ns3_html_theme/layout.html index 3ec8c72f2..5a9806d95 100644 --- a/doc/ns3_html_theme/layout.html +++ b/doc/ns3_html_theme/layout.html @@ -36,13 +36,13 @@