From 595cae3ebf56f0d342ddbff006c4fc7bc049972a Mon Sep 17 00:00:00 2001
From: Joost De Cock <joost@joost.at>
Date: Thu, 20 Jul 2023 08:41:49 +0200
Subject: [PATCH] fix(markdown): Incorrectly nested HTML

---
 markdown/dev/tutorials/getting-started-codespaces/en.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/markdown/dev/tutorials/getting-started-codespaces/en.md b/markdown/dev/tutorials/getting-started-codespaces/en.md
index 55fa8f33d48..5a6a8d9cb26 100644
--- a/markdown/dev/tutorials/getting-started-codespaces/en.md
+++ b/markdown/dev/tutorials/getting-started-codespaces/en.md
@@ -108,7 +108,8 @@ After the lab, dev, or org website starts:
   custom URL.
 - You can also access the custom URL via the "Ports" panel.
 
-<Tip compact>
+<Tip>
+
 An example of a custom URL: `https://username-ominous-space-waffle-rwpgzw5q15vqc52q9-8000.preview.app.github.dev/`
 </Tip>