73 lines
1.7 KiB
SCSS
73 lines
1.7 KiB
SCSS
/*********
|
|
* Paned *
|
|
*********/
|
|
.paned,
|
|
paned {
|
|
> separator {
|
|
min-width: 1px;
|
|
min-height: 1px;
|
|
-gtk-icon-source: none; // defeats the ugly default handle decoration
|
|
border-style: none; // just to be sure
|
|
background-color: transparent;
|
|
// workaround, using background istead of a border since the border will get rendered twice (?)
|
|
background-image: image($borders_color);
|
|
background-size: 1px 1px;
|
|
|
|
&:selected { background-image: image($selected_bg_color); } // FIXME is this needed?
|
|
|
|
&:backdrop { background-image: image($backdrop_borders_color); }
|
|
|
|
&.wide {
|
|
min-width: 5px;
|
|
min-height: 5px;
|
|
background-color: $bg_color;
|
|
background-image: image($borders_color), image($borders_color);
|
|
background-size: 1px 1px, 1px 1px;
|
|
|
|
&:backdrop {
|
|
background-color: $backdrop_bg_color;
|
|
background-image: image($backdrop_borders_color),
|
|
image($backdrop_borders_color);
|
|
}
|
|
}
|
|
}
|
|
|
|
border: solid $borders_color;
|
|
border-left-width: 1px;
|
|
|
|
&.horizontal > separator {
|
|
background-repeat: repeat-y;
|
|
|
|
&:dir(ltr) {
|
|
margin: 0 -8px 0 0;
|
|
padding: 0 8px 0 0;
|
|
background-position: left;
|
|
}
|
|
&:dir(rtl) {
|
|
margin: 0 0 0 -8px;
|
|
padding: 0 0 0 8px;
|
|
background-position: right;
|
|
}
|
|
|
|
&.wide {
|
|
margin: 0;
|
|
padding: 0;
|
|
background-repeat: repeat-y, repeat-y;
|
|
background-position: left, right;
|
|
}
|
|
}
|
|
|
|
&.vertical > separator {
|
|
margin: 0 0 -8px 0;
|
|
padding: 0 0 8px 0;
|
|
background-repeat: repeat-x;
|
|
background-position: top;
|
|
|
|
&.wide {
|
|
margin: 0;
|
|
padding: 0;
|
|
background-repeat: repeat-x, repeat-x;
|
|
background-position: bottom, top;
|
|
}
|
|
}
|
|
} |