From c5bee6c13339585d5df01ffa0c73d6d922e8a1ea Mon Sep 17 00:00:00 2001
From: Tom van Woudenberg <t.r.vanwoudenberg@tudelft.nl>
Date: Thu, 3 Apr 2025 14:25:51 +0200
Subject: [PATCH] Update tools.md

---
 book/installation-and-setup/tools.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/book/installation-and-setup/tools.md b/book/installation-and-setup/tools.md
index a58e536..105947d 100644
--- a/book/installation-and-setup/tools.md
+++ b/book/installation-and-setup/tools.md
@@ -1,4 +1,4 @@
-````
+````{margin}
 ```{admonition} User types
 :class: tip
 This page is useful for user type 4-5.