menuitems: checkboxes and radio buttons redesigned

adaptation of the gtk2 items to gtk3

Fixes #189

16 files changed, 18 insertions, 9 deletions

diff --git a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
index 7d967578..bf0d8461 100644
--- a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
@@ -2719,26 +2719,35 @@ menuitem separator {
 }
 
 /* style classes are for firefox */
+
 menuitem check,
-menuitem radio,
 menuitem check:hover,
-menuitem radio:hover,
 menuitem check:checked,
-menuitem radio:checked,
 menuitem check:disabled,
-menuitem radio:disabled,
 menu menuitem .check,
-menu menuitem .radio,
 menu menuitem .check:hover,
-menu menuitem .radio:hover,
 menu menuitem .check:checked,
+menu menuitem .check:disabled {
+    margin: 0px 0px 0px 3px;
+    background-image: none;
+    background-color: transparent;
+    min-height: 13px;
+    min-width: 13px;
+}
+
+menuitem radio,
+menuitem radio:hover,
+menuitem radio:checked,
+menuitem radio:disabled,
+menu menuitem .radio,
+menu menuitem .radio:hover,
 menu menuitem .radio:checked,
-menu menuitem .check:disabled,
 menu menuitem .radio:disabled {
+    margin: 1px 0px 0px 4px;
     background-image: none;
     background-color: transparent;
-    min-height: 12px;
-    min-width: 12px;
+    min-height: 14px;
+    min-width: 14px;
 }
 
 /***************
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-checked-hover.png b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-checked-hover.png
index 783f8725..14667254 100644
--- a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-checked-hover.png
+++ b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-checked-hover.png
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-checked-insensitive.png b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-checked-insensitive.png
index 70c02000..5e2708a6 100644
--- a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-checked-insensitive.png
+++ b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-checked-insensitive.png
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-checked.png b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-checked.png
index 2191b1d7..5c1ca2db 100644
--- a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-checked.png
+++ b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-checked.png
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-hover.png b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-hover.png
index 4d8125b7..e48b7086 100644
--- a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-hover.png
+++ b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-hover.png
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-insensitive.png b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-insensitive.png
index 7129b2d3..2c13f418 100644
--- a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-insensitive.png
+++ b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-insensitive.png
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-mixed-hover.png b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-mixed-hover.png
index 48726eec..430a4690 100644
--- a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-mixed-hover.png
+++ b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-mixed-hover.png
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-mixed-insensitive.png b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-mixed-insensitive.png
index ec51e4ee..e1904007 100644
--- a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-mixed-insensitive.png
+++ b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-mixed-insensitive.png
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-mixed.png b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-mixed.png
index a7b45a42..e61f59e1 100644
--- a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-mixed.png
+++ b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox-mixed.png
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox.png b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox.png
index f7acdd56..767cb6ee 100644
--- a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox.png
+++ b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-checkbox.png
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-radio-checked-hover.png b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-radio-checked-hover.png
index 59b61ee1..391e7f7b 100644
--- a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-radio-checked-hover.png
+++ b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-radio-checked-hover.png
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-radio-checked-insensitive.png b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-radio-checked-insensitive.png
index d8bd994d..66bffd1c 100644
--- a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-radio-checked-insensitive.png
+++ b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-radio-checked-insensitive.png
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-radio-checked.png b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-radio-checked.png
index 717f0892..bafc47da 100644
--- a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-radio-checked.png
+++ b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-radio-checked.png
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-radio-hover.png b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-radio-hover.png
index af5a5ca4..ae3898cc 100644
--- a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-radio-hover.png
+++ b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-radio-hover.png
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-radio-insensitive.png b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-radio-insensitive.png
index 06156923..dcaa1d0e 100644
--- a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-radio-insensitive.png
+++ b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-radio-insensitive.png
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-radio.png b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-radio.png
index 1f588e94..d8023c77 100644
--- a/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-radio.png
+++ b/desktop-themes/TraditionalOk/gtk-3.0/img/menuitem-radio.png