diff -r cdc2de88d657 -r 32f886aaf9c0 src/Pure/Thy/html.scala
--- a/src/Pure/Thy/html.scala	Wed Nov 28 11:28:02 2018 +0100
+++ b/src/Pure/Thy/html.scala	Wed Nov 28 11:41:49 2018 +0100
@@ -381,8 +381,8 @@
       font_face("Isabelle DejaVu Sans", "IsabelleDejaVuSans-BoldOblique.ttf", bold = true, italic = true),
       font_face("Isabelle DejaVu Serif", "IsabelleDejaVuSerif.ttf"),
       font_face("Isabelle DejaVu Serif", "IsabelleDejaVuSerif-Bold.ttf", bold = true),
-      font_face("Isabelle DejaVu Serif", "IsabelleDejaVuSerif-Oblique.ttf", italic = true),
-      font_face("Isabelle DejaVu Serif", "IsabelleDejaVuSerif-BoldOblique.ttf", bold = true, italic = true),
+      font_face("Isabelle DejaVu Serif", "IsabelleDejaVuSerif-Italic.ttf", italic = true),
+      font_face("Isabelle DejaVu Serif", "IsabelleDejaVuSerif-BoldItalic.ttf", bold = true, italic = true),
       font_face("Vacuous", "Vacuous.ttf")).mkString("\n\n")
   }