Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/html.scala
changeset 69366 b6dacf6eabe3
parent 69362 77c93eaf6cb7
child 69374 ab66951166f3 
--- a/src/Pure/Thy/html.scala	Wed Nov 28 15:38:18 2018 +0100
+++ b/src/Pure/Thy/html.scala	Wed Nov 28 16:14:31 2018 +0100
@@ -363,7 +363,7 @@
         List(
           "@font-face {",
           "  font-family: '" + entry.family + "';",
-          "  src: url('" + make_url(entry.path.base_name) + "') format('truetype');") :::
+          "  src: url('" + make_url(entry.path.file_name) + "') format('truetype');") :::
         (if (entry.is_bold) List("  font-weight: bold;") else Nil) :::
         (if (entry.is_italic) List("  font-style: italic;") else Nil) :::
         List("}"))
@@ -390,7 +390,7 @@
   }
 
   def write_document(dir: Path, name: String, head: XML.Body, body: XML.Body,
-    css: String = isabelle_css.base_name,
+    css: String = isabelle_css.file_name,
     hidden: Boolean = true,
     structural: Boolean = true)
   {
isabelle