From 2d4edf860c1b9f4b1bda8cd62ff919fb97f57078 Mon Sep 17 00:00:00 2001
From: kijai <40791699+kijai@users.noreply.github.com>
Date: Mon, 8 Apr 2024 02:07:06 +0300
Subject: [PATCH] bit smaller close button

---
 web/js/help_popup.js | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/web/js/help_popup.js b/web/js/help_popup.js
index 8bccc62..2d742b7 100644
--- a/web/js/help_popup.js
+++ b/web/js/help_popup.js
@@ -190,14 +190,14 @@ const create_documentation_stylesheet = () => {
 
         // close button
         const closeButton = document.createElement('div');
-        closeButton.textContent = '❌'; // Use an emoji or text for the close button
+        closeButton.textContent = '❌';
         closeButton.style.position = 'absolute';
         closeButton.style.top = '0';
         closeButton.style.right = '0';
         closeButton.style.cursor = 'pointer';
-        closeButton.style.padding = '5px'; // Add some padding around the text
-        closeButton.style.color = 'red'; // Set the text color
-        closeButton.style.fontSize = '16px'; // Adjust the font size as needed
+        closeButton.style.padding = '5px';
+        closeButton.style.color = 'red';
+        closeButton.style.fontSize = '12px';
 
         docElement.appendChild(closeButton)