From 3592c97e907017fe879014b53ed769f061d2364e Mon Sep 17 00:00:00 2001
From: "Peter D. Barnes, Jr" <barnes26@llnl.gov>
Date: Mon, 24 Jan 2022 12:11:40 -0800
Subject: [PATCH] doc: put drop down menus always on top

---
 doc/ns3_html_theme/layout.html               | 6 ++++--
 doc/ns3_html_theme/ns3_doxy_header.html      | 6 ++++--
 doc/ns3_html_theme/static/ns3_stylesheet.css | 3 +++
 3 files changed, 11 insertions(+), 4 deletions(-)

diff --git a/doc/ns3_html_theme/layout.html b/doc/ns3_html_theme/layout.html
index e12eb8992..4e1e6061a 100644
--- a/doc/ns3_html_theme/layout.html
+++ b/doc/ns3_html_theme/layout.html
@@ -96,9 +96,11 @@
 			 href="/docs/doxygen/html/index.html"
 			 >API</a><br/>
 		      <a id="ns3_bugs"
-		       href="https://gitlab.com/nsnam/ns-3-dev/-/issues">Bugs</a>
+		       href="https://gitlab.com/nsnam/ns-3-dev/-/issues"
+			 >Issue Tracker</a><br/>
 		      <a id="ns3_merge"
-		       href="https://gitlab.com/nsnam/ns-3-dev/-/merge_requests">Merge Requests</a>
+		       href="https://gitlab.com/nsnam/ns-3-dev/-/merge_requests"
+			 >Merge Requests</a><br/>
 	        </li>
 	      </ul>
 	    </div>
diff --git a/doc/ns3_html_theme/ns3_doxy_header.html b/doc/ns3_html_theme/ns3_doxy_header.html
index b79c09b73..27c20ffc9 100644
--- a/doc/ns3_html_theme/ns3_doxy_header.html
+++ b/doc/ns3_html_theme/ns3_doxy_header.html
@@ -92,9 +92,11 @@ $extrastylesheet
 			   href="/docs/doxygen/index.html"
 			   >API</a><br/>
 			<a id="ns3_bugs"
-			   href="https://gitlab.com/nsnam/ns-3-dev/-/issues">Bugs</a><br/>
+			   href="https://gitlab.com/nsnam/ns-3-dev/-/issues"
+			   >Issue Tracker</a><br/>
 			<a id="ns3_merge"
-			   href="https://gitlab.com/nsnam/ns-3-dev/-/merge_requests">Merge Requests</a>
+			   href="https://gitlab.com/nsnam/ns-3-dev/-/merge_requests"
+			   >Merge Requests</a><br/>
 		    </li>
 		  </ul>
 		</div>
diff --git a/doc/ns3_html_theme/static/ns3_stylesheet.css b/doc/ns3_html_theme/static/ns3_stylesheet.css
index ffa7718f3..6fac9b63d 100644
--- a/doc/ns3_html_theme/static/ns3_stylesheet.css
+++ b/doc/ns3_html_theme/static/ns3_stylesheet.css
@@ -85,6 +85,9 @@ div.sphinxsidebar a {
   background-repeat:repeat;
   border-bottom: 1px solid #5B5B5B;
   color: white;
+  position: relative;
+  /* Doxygen tab bar ("Main Page", "Related Pages"..) is at z: 9999 */
+  z-index:10000;
 }
 
 #projectlogo {