| 1 | /********* |
| 2 | * Paned * |
| 3 | *********/ |
| 4 | paned { |
| 5 | > separator { |
| 6 | min-width: 1px; |
| 7 | min-height: 1px; |
| 8 | -gtk-icon-source: none; // defeats the ugly default handle decoration |
| 9 | border-style: none; // just to be sure |
| 10 | background-color: transparent; |
| 11 | // workaround, using background istead of a border since the border will get rendered twice (?) |
| 12 | background-image: image($borders_color); |
| 13 | background-size: 1px 1px; |
| 14 | |
| 15 | &:selected { background-image: image($selected_bg_color); } // FIXME is this needed? |
| 16 | |
| 17 | &:backdrop { background-image: image($backdrop_borders_color); } |
| 18 | |
| 19 | &.wide { |
| 20 | min-width: 5px; |
| 21 | min-height: 5px; |
| 22 | background-color: $bg_color; |
| 23 | background-image: image($borders_color), image($borders_color); |
| 24 | background-size: 1px 1px, 1px 1px; |
| 25 | |
| 26 | &:backdrop { |
| 27 | background-color: $backdrop_bg_color; |
| 28 | background-image: image($backdrop_borders_color), |
| 29 | image($backdrop_borders_color); |
| 30 | } |
| 31 | } |
| 32 | } |
| 33 | |
| 34 | &.horizontal > separator { |
| 35 | background-repeat: repeat-y; |
| 36 | |
| 37 | &:dir(ltr) { |
| 38 | margin: 0 -8px 0 0; |
| 39 | padding: 0 8px 0 0; |
| 40 | background-position: left; |
| 41 | } |
| 42 | &:dir(rtl) { |
| 43 | margin: 0 0 0 -8px; |
| 44 | padding: 0 0 0 8px; |
| 45 | background-position: right; |
| 46 | } |
| 47 | |
| 48 | &.wide { |
| 49 | margin: 0; |
| 50 | padding: 0; |
| 51 | background-repeat: repeat-y, repeat-y; |
| 52 | background-position: left, right; |
| 53 | } |
| 54 | } |
| 55 | |
| 56 | &.vertical > separator { |
| 57 | margin: 0 0 -8px 0; |
| 58 | padding: 0 0 8px 0; |
| 59 | background-repeat: repeat-x; |
| 60 | background-position: top; |
| 61 | |
| 62 | &.wide { |
| 63 | margin: 0; |
| 64 | padding: 0; |
| 65 | background-repeat: repeat-x, repeat-x; |
| 66 | background-position: bottom, top; |
| 67 | } |
| 68 | } |
| 69 | } |