diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss index d43c0745ad..173cf3c9d5 100644 --- a/gtk/theme/HighContrast/_common.scss +++ b/gtk/theme/HighContrast/_common.scss @@ -1904,6 +1904,19 @@ GtkPaned { } } +GtkPaned.wide { // this is for the paned with wide separator + -GtkPaned-handle-size: 5; // wider separator here + margin: 0; // no need of the invisible drag area so, reset margin + .pane-separator { + background-color: transparent; + border-style: none solid; + border-color: $borders_color; + border-width: 1px; + } + &.vertical .pane-separator { border-style: solid none;} + .pane-separator:backdrop { border-color: $backdrop_borders_color; } +} + /************** * GtkInfoBar * **************/ diff --git a/gtk/theme/HighContrast/gtk.css b/gtk/theme/HighContrast/gtk.css index c58d550424..ca6cf68821 100644 --- a/gtk/theme/HighContrast/gtk.css +++ b/gtk/theme/HighContrast/gtk.css @@ -2047,6 +2047,19 @@ GtkPaned { .pane-separator:backdrop { background-image: linear-gradient(to bottom, #8b8b8b); } +GtkPaned.wide { + -GtkPaned-handle-size: 5; + margin: 0; } + GtkPaned.wide .pane-separator { + background-color: transparent; + border-style: none solid; + border-color: #7f7f7f; + border-width: 1px; } + GtkPaned.wide.vertical .pane-separator { + border-style: solid none; } + GtkPaned.wide .pane-separator:backdrop { + border-color: #8b8b8b; } + /************** * GtkInfoBar * **************/