src/Tools/VSCode/src/preview.scala

 
   def make_preview(model: Document_Model, snapshot: Document.Snapshot): (String, String) =
   {
     val label = "Preview " + quote(model.node_name.toString)
     val content =
-      HTML.output_document(Nil,
+      HTML.output_document(
+        List(HTML.style(HTML.fonts_css()), HTML.style_file(Url.print_file(HTML.isabelle_css.file))),
         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(HTML.isabelle_css.file))
+        css = "")
     (label, content)
   }
 }