# HG changeset patch
# User wenzelm
# Date 1543401709 -3600
# Node ID 32f886aaf9c071f09a9bc18d15874ad36d07ba07
# Parent  cdc2de88d6576b507a1b4e927ac6eb4d295ddf5a
proper file names;

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")
   }