diff -r 5d84f0312a3a -r 32c2587cda4f src/Tools/VSCode/src/preview_panel.scala
--- a/src/Tools/VSCode/src/preview_panel.scala	Fri Nov 12 14:37:00 2021 +0100
+++ b/src/Tools/VSCode/src/preview_panel.scala	Fri Nov 12 16:49:28 2021 +0100
@@ -31,7 +31,12 @@
                 val snapshot = model.snapshot()
                 if (snapshot.is_outdated) m
                 else {
-                  val html_context = new Presentation.HTML_Context
+                  val html_context =
+                    new Presentation.HTML_Context {
+                      override def root_dir: Path = Path.current
+                      override def theory_session(name: Document.Node.Name): Sessions.Info =
+                        resources.sessions_structure(resources.session_base.theory_qualifier(name))
+                    }
                   val document =
                     Presentation.html_document(snapshot, html_context, Presentation.elements2)
                   channel.write(LSP.Preview_Response(file, column, document.title, document.content))