# HG changeset patch
# User wenzelm
# Date 1636721870 -3600
# Node ID 5783c15ba69cad4a1dbe52ad1475ab4c6b3b1153
# Parent  0579ff142613047230f3ed60b4959dd79b237ee8
tuned;

diff -r 0579ff142613 -r 5783c15ba69c src/Pure/Thy/presentation.scala
--- a/src/Pure/Thy/presentation.scala	Fri Nov 12 13:36:35 2021 +0100
+++ b/src/Pure/Thy/presentation.scala	Fri Nov 12 13:57:50 2021 +0100
@@ -56,12 +56,14 @@
       else List(HTML.div(css_class, List(HTML.section(heading), HTML.itemize(items))))
     }
 
+    val isabelle_css: String = File.read(HTML.isabelle_css)
+
     def html_document(title: String, body: XML.Body, fonts_css: String): HTML_Document =
     {
       val content =
         HTML.output_document(
           List(
-            HTML.style(fonts_css + "\n\n" + File.read(HTML.isabelle_css)),
+            HTML.style(fonts_css + "\n\n" + isabelle_css),
             HTML.title(title)),
           List(HTML.source(body)), css = "", structural = false)
       HTML_Document(title, content)