summaryrefslogtreecommitdiff
path: root/desktop-themes/Menta/gtk-3.0
diff options
context:
space:
mode:
Diffstat (limited to 'desktop-themes/Menta/gtk-3.0')
-rw-r--r--desktop-themes/Menta/gtk-3.0/gtk-widgets.css15
1 files changed, 0 insertions, 15 deletions
diff --git a/desktop-themes/Menta/gtk-3.0/gtk-widgets.css b/desktop-themes/Menta/gtk-3.0/gtk-widgets.css
index 7c27948e..3a963a17 100644
--- a/desktop-themes/Menta/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/Menta/gtk-3.0/gtk-widgets.css
@@ -2639,21 +2639,6 @@ scrollbar {
-GtkScrollbar-has-forward-stepper: true;
}
-/* workarround for broken yelp, w/o that yelp window have redraw issues
- for displaying the horizontal scrollbar,
- probably an issue with webkitgtk4 or yelp */
-scrollbar.horizontal {
- -GtkScrollbar-has-backward-stepper: false;
- -GtkScrollbar-has-forward-stepper: false;
-
-}
-/* override for normal applications */
-scrolledwindow > scrollbar.horizontal {
- -GtkScrollbar-has-backward-stepper: true;
- -GtkScrollbar-has-forward-stepper: true;
-
-}
-
scrollbar.vertical {
border-width: 0px 0px 0px 1px;
min-width: 10px;