From 7ecfb6bf4a8ffdf3113899df9dcffdfc733bb4e9 Mon Sep 17 00:00:00 2001
From: mashehu <mashehu3@gmail.com>
Date: Sat, 3 Feb 2024 16:46:43 +0100
Subject: [PATCH] wrap sidebar in code tags

---
 src/components/sidebar/SidebarNav.astro        | 2 +-
 src/pages/tools/docs/[version]/[...slug].astro | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/components/sidebar/SidebarNav.astro b/src/components/sidebar/SidebarNav.astro
index 1606e6307c..ea64a958fa 100644
--- a/src/components/sidebar/SidebarNav.astro
+++ b/src/components/sidebar/SidebarNav.astro
@@ -69,7 +69,7 @@ url = url.replace(/\.html$/, '');
                                                         ]}
                                                         href={child.slug}
                                                     >
-                                                        {child.title}
+                                                        <Fragment inner:html={child.title} />
                                                     </a>
                                                 </li>
                                             );
diff --git a/src/pages/tools/docs/[version]/[...slug].astro b/src/pages/tools/docs/[version]/[...slug].astro
index 30509a266a..bc82754d81 100644
--- a/src/pages/tools/docs/[version]/[...slug].astro
+++ b/src/pages/tools/docs/[version]/[...slug].astro
@@ -17,7 +17,7 @@ export async function getStaticPaths() {
                     .filter((child) => child.id.split('/')[2] === entry && child.id.split('/')[3])
                     .map((tool_entry) => {
                         return {
-                            title: tool_entry.id.split('/')[3].replace(/\.md$/, ''),
+                            title: <code>tool_entry.id.split('/')[3].replace(/\.md$/, '')</code>,
                             slug: '/tools/' + tool_entry.id.replace(/\.md$/, ''),
                         };
                     }),