# HG changeset patch
# User wenzelm
# Date 1496344478 -7200
# Node ID e72f7291ad6cb1be3adcdfbdb39756e9dadaaafa
# Parent  1452833469589197c092753b71aad518c962ca25
use css from Isabelle distribution;

diff -r 145283346958 -r e72f7291ad6c src/Tools/VSCode/src/preview.scala
--- a/src/Tools/VSCode/src/preview.scala	Thu Jun 01 20:52:31 2017 +0200
+++ b/src/Tools/VSCode/src/preview.scala	Thu Jun 01 21:14:38 2017 +0200
@@ -45,10 +45,11 @@
   {
     val label = "Preview " + quote(model.node_name.toString)
     val content =
-      HTML.output_document(head = Nil, css = "", body =
+      HTML.output_document(Nil,
         List(
           HTML.chapter("Theory " + quote(model.node_name.theory_base_name)),
-          HTML.source(Symbol.decode(snapshot.node.commands.iterator.map(_.source).mkString))))
+          HTML.source(Symbol.decode(snapshot.node.commands.iterator.map(_.source).mkString))),
+        css = Url.print_file(Path.explode("~~/etc/isabelle.css").file))
     (label, content)
   }
 }