From 854479f8969fdfcf6b43d42a067ac67ab3ad6f4a Mon Sep 17 00:00:00 2001 From: Phil Ewels Date: Wed, 12 Jun 2024 17:17:40 +0200 Subject: [PATCH] VSCode admonition styling using 'Markdown Extended' --- .vscode/settings.json | 5 +++++ public/vscode_markdown.css | 30 ++++++++++++++++++++++++++++++ 2 files changed, 35 insertions(+) create mode 100644 .vscode/settings.json create mode 100644 public/vscode_markdown.css diff --git a/.vscode/settings.json b/.vscode/settings.json new file mode 100644 index 0000000000..750775e7fb --- /dev/null +++ b/.vscode/settings.json @@ -0,0 +1,5 @@ +{ + "markdown.styles": [ + "public/vscode_markdown.css" + ] +} diff --git a/public/vscode_markdown.css b/public/vscode_markdown.css new file mode 100644 index 0000000000..c6030ae54f --- /dev/null +++ b/public/vscode_markdown.css @@ -0,0 +1,30 @@ +.note { + border-radius: .25rem; + border: 2px solid #084298; + padding: 1rem 1rem 0; + margin-bottom: 1rem; +} +.info { + border-radius: .25rem; + border: 2px solid #0e616e; + padding: 1rem 1rem 0; + margin-bottom: 1rem; +} +.tip { + border-radius: .25rem; + border: 2px solid #14683b; + padding: 1rem 1rem 0; + margin-bottom: 1rem; +} +.warning { + border-radius: .25rem; + border: 2px solid #997404; + padding: 1rem 1rem 0; + margin-bottom: 1rem; +} +.danger { + border-radius: .25rem; + border: 2px solid #842029; + padding: 1rem 1rem 0; + margin-bottom: 1rem; +}