src/Pure/Thy/html.scala

   }
 
 
   /* document directory */
 
+  def isabelle_css: Path = Path.explode("~~/etc/isabelle.css")
+
   def init_dir(dir: Path)
   {
     Isabelle_System.mkdirs(dir)
-    File.copy(Path.explode("~~/etc/isabelle.css"), dir)
+    File.copy(isabelle_css, dir)
   }
 
   def write_document(dir: Path, name: String, head: XML.Body, body: XML.Body,
-    css: String = "isabelle.css", hidden: Boolean = true)
+    css: String = isabelle_css.base.implode, hidden: Boolean = true)
   {
     init_dir(dir)
     File.write(dir + Path.basic(name), output_document(head, body, css = css, hidden = hidden))
   }
 }