src/Pure/General/http.scala

--- a/src/Pure/General/http.scala	Wed Nov 28 13:59:29 2018 +0100
+++ b/src/Pure/General/http.scala	Wed Nov 28 14:00:22 2018 +0100
@@ -155,8 +155,7 @@
   /* fonts */
 
   private lazy val html_fonts: SortedMap[String, Bytes] =
-    SortedMap(
-      Isabelle_Fonts.files(html = true).map(path => (path.base_name -> Bytes.read(path))): _*)
+    SortedMap(Isabelle_Fonts.fonts(html = true).map(entry => (entry.name -> entry.bytes)): _*)
 
   def fonts(root: String = "/fonts"): Handler =
     get(root, arg =>