# HG changeset patch # User IBBoard # Date 1491837450 -3600 # Node ID 229f052fe6b629d8a4f68837ae99a561763cc0cf # Parent 7fbabe5abef0bf158b7ab82f0277a9a16ae59e20 Change base colour to brighten default terminal colours diff -r 7fbabe5abef0 -r 229f052fe6b6 gtk-3.20/gtk.css --- a/gtk-3.20/gtk.css Mon Apr 10 15:47:06 2017 +0100 +++ b/gtk-3.20/gtk.css Mon Apr 10 16:17:30 2017 +0100 @@ -4766,6 +4766,7 @@ @define-color wm_button_active_color_b shade(#C6C6C6, 0.89); @define-color wm_button_active_color_c shade(#C6C6C6, 0.9); @define-color content_view_bg #C6C6C6; +@define-color theme_base_color #eeeeee; @define-color wm_title #3D3D3D; @define-color wm_unfocused_title #3D3D3D; @define-color wm_highlight shade(#3D3D3D, 1.03); diff -r 7fbabe5abef0 -r 229f052fe6b6 gtk-3.20/gtk.scss --- a/gtk-3.20/gtk.scss Mon Apr 10 15:47:06 2017 +0100 +++ b/gtk-3.20/gtk.scss Mon Apr 10 16:17:30 2017 +0100 @@ -95,6 +95,7 @@ @import 'colors-public'; //Override some exported colours +@define-color theme_base_color #eeeeee; @define-color wm_title #{"" + $bg_dark_color}; @define-color wm_unfocused_title #{"" + $bg_dark_color}; @define-color wm_highlight shade(#{"" + $bg_dark_color}, 1.03);