src/Tools/VSCode/src/preview.scala

--- a/src/Tools/VSCode/src/preview.scala	Thu Jun 01 21:15:56 2017 +0200
+++ b/src/Tools/VSCode/src/preview.scala	Thu Jun 01 21:24:33 2017 +0200
@@ -49,7 +49,7 @@
         List(
           HTML.chapter("Theory " + quote(model.node_name.theory_base_name)),
           HTML.source(Symbol.decode(snapshot.node.commands.iterator.map(_.source).mkString))),
-        css = Url.print_file(Path.explode("~~/etc/isabelle.css").file))
+        css = Url.print_file(HTML.isabelle_css.file))
     (label, content)
   }
 }