From f850061dff488fa9c0928a73b06d65fb38da0954 Mon Sep 17 00:00:00 2001
From: Lars Eggert <lars@eggert.org>
Date: Fri, 26 May 2023 16:26:57 +0200
Subject: [PATCH] Fix switching in HTMLized view

---
 ietf/doc/views_doc.py                 | 1 +
 ietf/templates/doc/document_html.html | 1 +
 2 files changed, 2 insertions(+)

diff --git a/ietf/doc/views_doc.py b/ietf/doc/views_doc.py
index 39c8bf19b..0d8b9ae41 100644
--- a/ietf/doc/views_doc.py
+++ b/ietf/doc/views_doc.py
@@ -502,6 +502,7 @@ def document_main(request, name, rev=None, document_html=False):
                 html = doc.html_body()
                 if request.COOKIES.get("pagedeps") == "inline":
                     js = Path(finders.find("ietf/js/document_html.js")).read_text()
+                    js += Path(finders.find("ietf/js/theme.js")).read_text()
                     css = Path(finders.find("ietf/css/document_html_inline.css")).read_text()
                     if html:
                         css += Path(finders.find("ietf/css/document_html_txt.css")).read_text()
diff --git a/ietf/templates/doc/document_html.html b/ietf/templates/doc/document_html.html
index 57210b4a5..b55f385e9 100644
--- a/ietf/templates/doc/document_html.html
+++ b/ietf/templates/doc/document_html.html
@@ -29,6 +29,7 @@
                 <link rel="stylesheet" href="{% static 'ietf/css/document_html_txt.css' %}">
             {% endif %}
             <script src="{% static 'ietf/js/document_html.js' %}"></script>
+            <script src="{% static 'ietf/js/theme.js' %}"></script>
         {% endif %}
         <link rel="alternate" type="application/atom+xml" title="Document changes" href="/feed/document-changes/{{ doc.name }}/">
         <meta name="description"