Fix switching in HTMLized view

Author: larseggert

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()

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"