From d45b0c3087b67cdaeaaa09e4f6bea0a8a4bae355 Mon Sep 17 00:00:00 2001 From: Chris Ayers Date: Sun, 1 Oct 2023 16:03:50 +0000 Subject: [PATCH] updated devcontainer --- .devcontainer/devcontainer.json | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index c9d5b31..bdbc69a 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -23,7 +23,15 @@ "customizations": { // Configure properties specific to VS Code. "vscode": { - "settings": {}, + "settings": { + "markdown.marp.enableHtml" : true, + "markdown.marp.themes": [ + "./slides/themes/custom.css", + "./slides/themes/custom-default.css", + "./slides/themes/custom-gaia.css", + "./slides/themes/custom-uncover.css" + ] + }, "extensions": [ "github.vscode-github-actions", "github.vscode-pull-request-github",