From 85d3d3ccf3321e4f60316113d6ba9ce84ad5f795 Mon Sep 17 00:00:00 2001
From: oobabooga <112222186+oobabooga@users.noreply.github.com>
Date: Wed, 19 Apr 2023 00:47:02 -0300
Subject: [PATCH] Add a margin

---
 css/main.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/css/main.css b/css/main.css
index 87d35ffa..de46bba4 100644
--- a/css/main.css
+++ b/css/main.css
@@ -56,7 +56,7 @@ ol li p, ul li p {
 
 #extensions {
   padding: 15px;
-  padding: 15px;
+  margin-bottom: 35px;
 }
 
 span.math.inline {