From 7b2a4682c5b368da298c3b1a31805a129946d472 Mon Sep 17 00:00:00 2001
From: Alessandro Pignotti <a.pignotti@sssup.it>
Date: Mon, 3 Mar 2025 16:28:41 +0100
Subject: [PATCH] Make SmallButton icons a little bit smaller

---
 src/lib/SmallButton.svelte | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lib/SmallButton.svelte b/src/lib/SmallButton.svelte
index 40a6d5f..aa5da54 100644
--- a/src/lib/SmallButton.svelte
+++ b/src/lib/SmallButton.svelte
@@ -6,6 +6,6 @@
 	export let buttonIcon = null;
 </script>
 
-<span class="inline-block h-7 {bgColor} p-1 rounded-md shadow-md shadow-neutral-900 {(clickHandler != null) ? `${hoverColor} cursor-pointer` : ""}" title={buttonTooltip} on:click={clickHandler}>
+<span class="inline-block h-7 {bgColor} text-sm p-1 rounded-md shadow-md shadow-neutral-900 {(clickHandler != null) ? `${hoverColor} cursor-pointer` : ""}" title={buttonTooltip} on:click={clickHandler}>
 <i class="w-5 {buttonIcon} text-center"></i>
 </span>