# HG changeset patch
# User wenzelm
# Date 1543412406 -3600
# Node ID 77c93eaf6cb75db35b4361e52610e57c0539baba
# Parent  0d84e3db67c205bf4d0f72d47af4577d5d231238
tuned whitespace;

diff -r 0d84e3db67c2 -r 77c93eaf6cb7 src/Pure/Thy/html.scala
--- a/src/Pure/Thy/html.scala	Wed Nov 28 14:05:03 2018 +0100
+++ b/src/Pure/Thy/html.scala	Wed Nov 28 14:40:06 2018 +0100
@@ -368,7 +368,8 @@
         (if (entry.is_italic) List("  font-style: italic;") else Nil) :::
         List("}"))
 
-    ("/* Isabelle fonts */" :: Isabelle_Fonts.fonts(html = true).map(font_face(_))).mkString("\n\n")
+    ("/* Isabelle fonts */" :: Isabelle_Fonts.fonts(html = true).map(font_face(_)))
+      .mkString("", "\n\n", "\n")
   }
 
 
@@ -379,7 +380,7 @@
   def write_isabelle_css(dir: Path, make_url: String => String = fonts_dir("fonts"))
   {
     File.write(dir + isabelle_css.base,
-      fonts_css(make_url) + "\n\n\n" + File.read(isabelle_css))
+      fonts_css(make_url) + "\n\n" + File.read(isabelle_css))
   }
 
   def init_dir(dir: Path)
diff -r 0d84e3db67c2 -r 77c93eaf6cb7 src/Pure/Thy/present.scala
--- 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)