From 4a933f18568adc14107f86c51b45b1d5e588724c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jir=CC=8Ci=CC=81=20Techet?= <techet@gmail.com>
Date: Sun, 2 Oct 2022 22:15:02 +0200
Subject: [PATCH] Make check boxes and radio buttons a little smaller

This way they look more like native checkboxes and radio boxes on macOS and
Windows.
---
 Prof-Gnome/gtk-3.0/main-dark.css  | 28 ++++++++++++++--------------
 Prof-Gnome/gtk-3.0/main-light.css | 28 ++++++++++++++--------------
 2 files changed, 28 insertions(+), 28 deletions(-)

diff --git a/Prof-Gnome/gtk-3.0/main-dark.css b/Prof-Gnome/gtk-3.0/main-dark.css
index 2928a7eb..8cfe979b 100644
--- a/Prof-Gnome/gtk-3.0/main-dark.css
+++ b/Prof-Gnome/gtk-3.0/main-dark.css
@@ -3623,9 +3623,9 @@ radio:hover
   background-image: linear-gradient(to top,@button_color,shade(@button_color,0.97));
   background-color: transparent;
              color: alpha(@text_color,0.9);
-            margin: 0 6px;
-  min-height:14px;
-  min-width: 14px;
+            margin: 0 6px 2px 6px;
+  min-height:12px;
+  min-width: 12px;
   -gtk-icon-source: none;
 } 
 radio:checked,
@@ -3746,8 +3746,8 @@ popover radio:disabled
   background-color: alpha(@button_color,0.4);
       border-color: transparent;
   
-        min-height:14px;
-        min-width: 14px;
+        min-height:12px;
+        min-width: 12px;
 }
 popover radio:checked,
 popover radio:active
@@ -3786,8 +3786,8 @@ menu menuitem radio:disabled
   background-color: alpha(@button_color,0.4);
       border-color: #333333;
   
-        min-height: 14px;
-         min-width: 14px;
+        min-height: 12px;
+         min-width: 12px;
 }
 menu menuitem radio:checked, 
 menu menuitem radio:active
@@ -3846,9 +3846,9 @@ check:hover
             border: 1px solid;
      border-radius: 4px;
              color: alpha(@text_color,0.9);
-            margin: 0 6px;
-        min-height: 14px;
-         min-width: 14px;
+            margin: 0 6px 2px 6px;
+        min-height: 12px;
+         min-width: 12px;
       border-color: shade(@borders,0.9); 
         
   
@@ -3985,8 +3985,8 @@ popover check:disabled
   background-color: alpha(@button_color,0.4);
       border-color: transparent;
   
-        min-height: 14px;
-         min-width: 14px;
+        min-height: 12px;
+         min-width: 12px;
 }
 popover check:checked,
 popover check:active
@@ -4024,8 +4024,8 @@ menu menuitem check:disabled
   background-color: alpha(@button_color,0.4);
       border-color: #333333;
     
-        min-height: 14px;
-         min-width: 14px;
+        min-height: 12px;
+         min-width: 12px;
 }
 menu menuitem check:checked, 
 menu menuitem check:active
diff --git a/Prof-Gnome/gtk-3.0/main-light.css b/Prof-Gnome/gtk-3.0/main-light.css
index 27ef9721..b64d94ca 100644
--- a/Prof-Gnome/gtk-3.0/main-light.css
+++ b/Prof-Gnome/gtk-3.0/main-light.css
@@ -3615,9 +3615,9 @@ radio:hover
   background-image: linear-gradient(to top,@button_color,shade(@button_color,0.97));
   background-color: transparent;
              color: alpha(@text_color,0.9);
-            margin: 0 6px;
-  min-height:14px;
-  min-width: 14px;
+            margin: 0 6px 2px 6px;
+  min-height:12px;
+  min-width: 12px;
   -gtk-icon-source: none;
 } 
 radio:checked,
@@ -3738,8 +3738,8 @@ popover radio:disabled
   background-color: alpha(@button_color,0.4);
       border-color: transparent;
   
-        min-height:14px;
-        min-width: 14px;
+        min-height:12px;
+        min-width: 12px;
 }
 popover radio:checked,
 popover radio:active
@@ -3778,8 +3778,8 @@ menu menuitem radio:disabled
   background-color: alpha(@button_color,0.4);
       border-color: #cccccc;
   
-        min-height: 14px;
-         min-width: 14px;
+        min-height: 12px;
+         min-width: 12px;
 }
 menu menuitem radio:checked, 
 menu menuitem radio:active
@@ -3838,9 +3838,9 @@ check:hover
             border: 1px solid;
      border-radius: 4px;
              color: alpha(@text_color,0.9);
-            margin: 0 6px;
-        min-height: 14px;
-         min-width: 14px;
+            margin: 0 6px 2px 6px;
+        min-height: 12px;
+         min-width: 12px;
       border-color: shade(@borders,0.9); 
         
   
@@ -3977,8 +3977,8 @@ popover check:disabled
   background-color: alpha(@button_color,0.4);
       border-color: transparent;
   
-        min-height: 14px;
-         min-width: 14px;
+        min-height: 12px;
+         min-width: 12px;
 }
 popover check:checked,
 popover check:active
@@ -4016,8 +4016,8 @@ menu menuitem check:disabled
   background-color: alpha(@button_color,0.4);
       border-color: #cccccc;
   
-        min-height: 14px;
-         min-width: 14px;
+        min-height: 12px;
+         min-width: 12px;
 }
 menu menuitem check:checked, 
 menu menuitem check:active