diff -r ade53fbc6f03 -r 3b804e0ffae9 src/Pure/Thy/presentation.scala
--- a/src/Pure/Thy/presentation.scala	Thu Nov 26 15:59:09 2020 +0100
+++ b/src/Pure/Thy/presentation.scala	Thu Nov 26 16:08:39 2020 +0100
@@ -437,7 +437,7 @@
     }
 
   def pide_document(snapshot: Document.Snapshot): XML.Body =
-    make_html(snapshot.markup_to_XML(Text.Range.full, document_elements))
+    make_html(snapshot.xml_markup(elements = document_elements))