Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/present.scala
changeset 69362 77c93eaf6cb7
parent 69360 dc9a39c3f75d
child 69366 b6dacf6eabe3 
--- a/src/Pure/Thy/present.scala	Wed Nov 28 14:05:03 2018 +0100
+++ b/src/Pure/Thy/present.scala	Wed Nov 28 14:40:06 2018 +0100
@@ -117,7 +117,7 @@
     def output_document(title: String, body: XML.Body): String =
       HTML.output_document(
         List(
-          HTML.style(HTML.fonts_css(fonts_url) + File.read(HTML.isabelle_css)),
+          HTML.style(HTML.fonts_css(fonts_url) + "\n\n" + File.read(HTML.isabelle_css)),
           HTML.title(title)),
         List(HTML.source(body)), css = "", structural = false)
isabelle