# HG changeset patch # User IBBoard # Date 1491835548 -3600 # Node ID 4bc0f6c0cf827a69996e78e65088e50532cf2ce8 # Parent 12f43097192de5d17951c6575516bcda8d0a5a25 Define colours to fix scrollbar slider colouring diff -r 12f43097192d -r 4bc0f6c0cf82 gtk-3.20/gtk.css --- a/gtk-3.20/gtk.css Mon Apr 10 15:37:47 2017 +0100 +++ b/gtk-3.20/gtk.css Mon Apr 10 15:45:48 2017 +0100 @@ -2610,9 +2610,9 @@ scrollbar slider:hover { background-color: #535859; } scrollbar slider:hover:active { - background-color: #2a76c6; } + background-color: #5E7F3E; } scrollbar slider:backdrop { - background-color: #c3c4c4; } + background-color: #9a9a9a; } scrollbar slider:disabled { background-color: transparent; } scrollbar.fine-tune slider { @@ -2687,7 +2687,7 @@ box-shadow: inset 0 1px rgba(255, 255, 255, 0); text-shadow: none; -gtk-icon-shadow: none; - color: #2a76c6; } + color: #5E7F3E; } scrollbar button:disabled { border-color: transparent; background-color: transparent; @@ -2703,7 +2703,7 @@ box-shadow: inset 0 1px rgba(255, 255, 255, 0); text-shadow: none; -gtk-icon-shadow: none; - color: #c3c4c4; } + color: #9a9a9a; } scrollbar button:backdrop:disabled { border-color: transparent; background-color: transparent; @@ -2711,7 +2711,7 @@ box-shadow: inset 0 1px rgba(255, 255, 255, 0); text-shadow: none; -gtk-icon-shadow: none; - color: rgba(195, 196, 196, 0.2); } + color: rgba(154, 154, 154, 0.2); } scrollbar.vertical button.down { -gtk-icon-source: -gtk-icontheme("pan-down-symbolic"); } scrollbar.vertical button.up { diff -r 12f43097192d -r 4bc0f6c0cf82 gtk-3.20/gtk.scss --- a/gtk-3.20/gtk.scss Mon Apr 10 15:37:47 2017 +0100 +++ b/gtk-3.20/gtk.scss Mon Apr 10 15:45:48 2017 +0100 @@ -7,7 +7,6 @@ /// TODO: /// * Firefox GTK3 defaults to grey page background (".background" CSS rule) -/// * Geany scrollbar disappears when unfocused $variant: 'light'; @@ -54,6 +53,8 @@ $backdrop_sidebar_bg_color: darken($backdrop_bg_color,5%); $backdrop_menu_color: $backdrop_bg_color; +$scrollbar_slider_active_color: $selected_bg_color; +$backdrop_scrollbar_slider_color: mix($backdrop_fg_color, $backdrop_bg_color, 50%); $backdrop_scrollbar_bg_color: darken($backdrop_bg_color, 3%);