src/Pure/Thy/html.scala

--- a/src/Pure/Thy/html.scala	Fri Mar 27 13:04:15 2020 +0100
+++ b/src/Pure/Thy/html.scala	Fri Mar 27 22:01:27 2020 +0100
@@ -368,7 +368,7 @@
         (if (entry.is_italic) List("  font-style: italic;") else Nil) :::
         List("}"))
 
-    ("/* Isabelle fonts */" :: Isabelle_Fonts.fonts(hidden = true).map(font_face(_)))
+    ("/* Isabelle fonts */" :: Isabelle_Fonts.fonts(hidden = true).map(font_face))
       .mkString("", "\n\n", "\n")
   }