From a5dc6aa5893b6c2041d6ff2cae87f150d70426a2 Mon Sep 17 00:00:00 2001 From: Horst3180 Date: Mon, 21 Mar 2016 22:28:01 +0100 Subject: [PATCH] fix wide separators --- common/gtk-3.0/3.20/gtk-dark.css | 7 +++++-- common/gtk-3.0/3.20/gtk-darker.css | 7 +++++-- common/gtk-3.0/3.20/gtk-solid-dark.css | 7 +++++-- common/gtk-3.0/3.20/gtk-solid-darker.css | 7 +++++-- common/gtk-3.0/3.20/gtk-solid.css | 7 +++++-- common/gtk-3.0/3.20/gtk.css | 7 +++++-- common/gtk-3.0/3.20/sass/_common.scss | 7 +++++-- 7 files changed, 35 insertions(+), 14 deletions(-) diff --git a/common/gtk-3.0/3.20/gtk-dark.css b/common/gtk-3.0/3.20/gtk-dark.css index 7ec36a9..f44b8e4 100644 --- a/common/gtk-3.0/3.20/gtk-dark.css +++ b/common/gtk-3.0/3.20/gtk-dark.css @@ -2441,10 +2441,9 @@ paned > separator, .sidebar paned > separator { paned > separator:selected, .sidebar paned > separator:selected { background-image: linear-gradient(to top, #5294E2); } paned > separator.wide, .sidebar paned > separator.wide { - margin: 0; - padding: 0; min-width: 5px; min-height: 5px; + background-color: #383C4A; background-image: linear-gradient(to top, #2b2e39), linear-gradient(to top, #2b2e39); background-size: 1px 1px, 1px 1px; } @@ -2459,6 +2458,8 @@ paned.horizontal > separator, .sidebar paned.horizontal > separator { padding: 0 0 0 8px; background-position: right; } paned.horizontal > separator.wide, .sidebar paned.horizontal > separator.wide { + margin: 0; + padding: 0; background-repeat: repeat-y, repeat-y; background-position: left, right; } @@ -2468,6 +2469,8 @@ paned.vertical > separator, .sidebar paned.vertical > separator { background-repeat: repeat-x; background-position: top; } paned.vertical > separator.wide, .sidebar paned.vertical > separator.wide { + margin: 0; + padding: 0; background-repeat: repeat-x, repeat-x; background-position: bottom, top; } diff --git a/common/gtk-3.0/3.20/gtk-darker.css b/common/gtk-3.0/3.20/gtk-darker.css index f5a899b..37b4cb3 100644 --- a/common/gtk-3.0/3.20/gtk-darker.css +++ b/common/gtk-3.0/3.20/gtk-darker.css @@ -2440,10 +2440,9 @@ paned > separator, .sidebar paned > separator { paned > separator:selected, .sidebar paned > separator:selected { background-image: linear-gradient(to top, #5294E2); } paned > separator.wide, .sidebar paned > separator.wide { - margin: 0; - padding: 0; min-width: 5px; min-height: 5px; + background-color: #F5F6F7; background-image: linear-gradient(to top, #dcdfe3), linear-gradient(to top, #dcdfe3); background-size: 1px 1px, 1px 1px; } @@ -2458,6 +2457,8 @@ paned.horizontal > separator, .sidebar paned.horizontal > separator { padding: 0 0 0 8px; background-position: right; } paned.horizontal > separator.wide, .sidebar paned.horizontal > separator.wide { + margin: 0; + padding: 0; background-repeat: repeat-y, repeat-y; background-position: left, right; } @@ -2467,6 +2468,8 @@ paned.vertical > separator, .sidebar paned.vertical > separator { background-repeat: repeat-x; background-position: top; } paned.vertical > separator.wide, .sidebar paned.vertical > separator.wide { + margin: 0; + padding: 0; background-repeat: repeat-x, repeat-x; background-position: bottom, top; } diff --git a/common/gtk-3.0/3.20/gtk-solid-dark.css b/common/gtk-3.0/3.20/gtk-solid-dark.css index 58789ba..83a57de 100644 --- a/common/gtk-3.0/3.20/gtk-solid-dark.css +++ b/common/gtk-3.0/3.20/gtk-solid-dark.css @@ -2441,10 +2441,9 @@ paned > separator, .sidebar paned > separator { paned > separator:selected, .sidebar paned > separator:selected { background-image: linear-gradient(to top, #5294E2); } paned > separator.wide, .sidebar paned > separator.wide { - margin: 0; - padding: 0; min-width: 5px; min-height: 5px; + background-color: #383C4A; background-image: linear-gradient(to top, #2b2e39), linear-gradient(to top, #2b2e39); background-size: 1px 1px, 1px 1px; } @@ -2459,6 +2458,8 @@ paned.horizontal > separator, .sidebar paned.horizontal > separator { padding: 0 0 0 8px; background-position: right; } paned.horizontal > separator.wide, .sidebar paned.horizontal > separator.wide { + margin: 0; + padding: 0; background-repeat: repeat-y, repeat-y; background-position: left, right; } @@ -2468,6 +2469,8 @@ paned.vertical > separator, .sidebar paned.vertical > separator { background-repeat: repeat-x; background-position: top; } paned.vertical > separator.wide, .sidebar paned.vertical > separator.wide { + margin: 0; + padding: 0; background-repeat: repeat-x, repeat-x; background-position: bottom, top; } diff --git a/common/gtk-3.0/3.20/gtk-solid-darker.css b/common/gtk-3.0/3.20/gtk-solid-darker.css index 8513488..f0c5733 100644 --- a/common/gtk-3.0/3.20/gtk-solid-darker.css +++ b/common/gtk-3.0/3.20/gtk-solid-darker.css @@ -2440,10 +2440,9 @@ paned > separator, .sidebar paned > separator { paned > separator:selected, .sidebar paned > separator:selected { background-image: linear-gradient(to top, #5294E2); } paned > separator.wide, .sidebar paned > separator.wide { - margin: 0; - padding: 0; min-width: 5px; min-height: 5px; + background-color: #F5F6F7; background-image: linear-gradient(to top, #dcdfe3), linear-gradient(to top, #dcdfe3); background-size: 1px 1px, 1px 1px; } @@ -2458,6 +2457,8 @@ paned.horizontal > separator, .sidebar paned.horizontal > separator { padding: 0 0 0 8px; background-position: right; } paned.horizontal > separator.wide, .sidebar paned.horizontal > separator.wide { + margin: 0; + padding: 0; background-repeat: repeat-y, repeat-y; background-position: left, right; } @@ -2467,6 +2468,8 @@ paned.vertical > separator, .sidebar paned.vertical > separator { background-repeat: repeat-x; background-position: top; } paned.vertical > separator.wide, .sidebar paned.vertical > separator.wide { + margin: 0; + padding: 0; background-repeat: repeat-x, repeat-x; background-position: bottom, top; } diff --git a/common/gtk-3.0/3.20/gtk-solid.css b/common/gtk-3.0/3.20/gtk-solid.css index 8df4360..74370c3 100644 --- a/common/gtk-3.0/3.20/gtk-solid.css +++ b/common/gtk-3.0/3.20/gtk-solid.css @@ -2444,10 +2444,9 @@ paned > separator, .sidebar paned > separator { paned > separator:selected, .sidebar paned > separator:selected { background-image: linear-gradient(to top, #5294E2); } paned > separator.wide, .sidebar paned > separator.wide { - margin: 0; - padding: 0; min-width: 5px; min-height: 5px; + background-color: #F5F6F7; background-image: linear-gradient(to top, #dcdfe3), linear-gradient(to top, #dcdfe3); background-size: 1px 1px, 1px 1px; } @@ -2462,6 +2461,8 @@ paned.horizontal > separator, .sidebar paned.horizontal > separator { padding: 0 0 0 8px; background-position: right; } paned.horizontal > separator.wide, .sidebar paned.horizontal > separator.wide { + margin: 0; + padding: 0; background-repeat: repeat-y, repeat-y; background-position: left, right; } @@ -2471,6 +2472,8 @@ paned.vertical > separator, .sidebar paned.vertical > separator { background-repeat: repeat-x; background-position: top; } paned.vertical > separator.wide, .sidebar paned.vertical > separator.wide { + margin: 0; + padding: 0; background-repeat: repeat-x, repeat-x; background-position: bottom, top; } diff --git a/common/gtk-3.0/3.20/gtk.css b/common/gtk-3.0/3.20/gtk.css index f82a41e..349117a 100644 --- a/common/gtk-3.0/3.20/gtk.css +++ b/common/gtk-3.0/3.20/gtk.css @@ -2444,10 +2444,9 @@ paned > separator, .sidebar paned > separator { paned > separator:selected, .sidebar paned > separator:selected { background-image: linear-gradient(to top, #5294E2); } paned > separator.wide, .sidebar paned > separator.wide { - margin: 0; - padding: 0; min-width: 5px; min-height: 5px; + background-color: #F5F6F7; background-image: linear-gradient(to top, #dcdfe3), linear-gradient(to top, #dcdfe3); background-size: 1px 1px, 1px 1px; } @@ -2462,6 +2461,8 @@ paned.horizontal > separator, .sidebar paned.horizontal > separator { padding: 0 0 0 8px; background-position: right; } paned.horizontal > separator.wide, .sidebar paned.horizontal > separator.wide { + margin: 0; + padding: 0; background-repeat: repeat-y, repeat-y; background-position: left, right; } @@ -2471,6 +2472,8 @@ paned.vertical > separator, .sidebar paned.vertical > separator { background-repeat: repeat-x; background-position: top; } paned.vertical > separator.wide, .sidebar paned.vertical > separator.wide { + margin: 0; + padding: 0; background-repeat: repeat-x, repeat-x; background-position: bottom, top; } diff --git a/common/gtk-3.0/3.20/sass/_common.scss b/common/gtk-3.0/3.20/sass/_common.scss index 59f4a99..40cbb84 100644 --- a/common/gtk-3.0/3.20/sass/_common.scss +++ b/common/gtk-3.0/3.20/sass/_common.scss @@ -2602,10 +2602,9 @@ paned { &:selected { background-image: linear-gradient(to top, $selected_bg_color); } &.wide { - margin: 0; - padding: 0; min-width: 5px; min-height: 5px; + background-color: $bg_color; background-image: linear-gradient(to top, $borders_color), linear-gradient(to top, $borders_color); background-size: 1px 1px, 1px 1px; } @@ -2625,6 +2624,8 @@ paned { } &.wide { + margin: 0; + padding: 0; background-repeat: repeat-y, repeat-y; background-position: left, right; } @@ -2637,6 +2638,8 @@ paned { background-position: top; &.wide { + margin: 0; + padding: 0; background-repeat: repeat-x, repeat-x; background-position: bottom, top; }