src/Pure/Thy/present.scala

--- a/src/Pure/Thy/present.scala	Fri Aug 12 20:58:20 2016 +0200
+++ b/src/Pure/Thy/present.scala	Fri Aug 12 22:51:45 2016 +0200
@@ -112,6 +112,8 @@
 
       for (font <- Path.split(Isabelle_System.getenv_strict("ISABELLE_FONTS")))
         File.copy(font, session_prefix)
+      for (font <- Path.split(Isabelle_System.getenv_strict("ISABELLE_FONTS_HTML")))
+        File.copy(font, session_prefix)
     }
   }
 }