_paned.scss 1.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869
  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. &:selected { background-image: image($selected_bg_color); } // FIXME is this needed?
  15. &:backdrop { background-image: image($backdrop_borders_color); }
  16. &.wide {
  17. min-width: 5px;
  18. min-height: 5px;
  19. background-color: $bg_color;
  20. background-image: image($borders_color), image($borders_color);
  21. background-size: 1px 1px, 1px 1px;
  22. &:backdrop {
  23. background-color: $backdrop_bg_color;
  24. background-image: image($backdrop_borders_color),
  25. image($backdrop_borders_color);
  26. }
  27. }
  28. }
  29. &.horizontal > separator {
  30. background-repeat: repeat-y;
  31. &:dir(ltr) {
  32. margin: 0 -8px 0 0;
  33. padding: 0 8px 0 0;
  34. background-position: left;
  35. }
  36. &:dir(rtl) {
  37. margin: 0 0 0 -8px;
  38. padding: 0 0 0 8px;
  39. background-position: right;
  40. }
  41. &.wide {
  42. margin: 0;
  43. padding: 0;
  44. background-repeat: repeat-y, repeat-y;
  45. background-position: left, right;
  46. }
  47. }
  48. &.vertical > separator {
  49. margin: 0 0 -8px 0;
  50. padding: 0 0 8px 0;
  51. background-repeat: repeat-x;
  52. background-position: top;
  53. &.wide {
  54. margin: 0;
  55. padding: 0;
  56. background-repeat: repeat-x, repeat-x;
  57. background-position: bottom, top;
  58. }
  59. }
  60. }