From 3013f43482bb6d20f14f880f6953782ded8299e1 Mon Sep 17 00:00:00 2001
From: Lars Eggert <lars@eggert.org>
Date: Mon, 29 May 2023 15:44:17 +0300
Subject: [PATCH] fix: Don't include modal headings in right-hand nav menu

Fixes #5701
---
 ietf/static/js/ietf.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ietf/static/js/ietf.js b/ietf/static/js/ietf.js
index d6be021a2bf..dfd050b7561 100644
--- a/ietf/static/js/ietf.js
+++ b/ietf/static/js/ietf.js
@@ -155,7 +155,7 @@ $(function () {
         const heading_selector = ":is(h2, h3, h4, h5, h6, .h2, .h3, .h4, .h5, .h6, .nav-heading):not([style='display:none']):not(.navskip)";
         const headings = contentElement
             .find(heading_selector)
-            .filter((i, el) => !el.closest(".navskip"));
+            .filter((i, el) => !el.closest(".navskip,.modal"));
 
         const contents = (headings.length > 0) &&
             ($(headings)