Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Fri, 12 Nov 2021 13:57:50 +0100
changeset 74768 5783c15ba69c
parent 74767 0579ff142613
child 74769 5d84f0312a3a
tuned;
src/Pure/Thy/presentation.scala file | annotate | diff | comparison | revisions 
--- 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)
isabelle