scrollbar.css 4.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. /*
  6. * Mozilla scrollbar styling
  7. */
  8. /* use standard opaque scrollbars for most nodes */
  9. [data-jp-theme-scrollbars='true'] {
  10. scrollbar-color: rgb(var(--jp-scrollbar-thumb-color))
  11. var(--jp-scrollbar-background-color);
  12. }
  13. /* for code nodes, use a transparent style of scrollbar. These selectors
  14. * will match lower in the tree, and so will override the above */
  15. [data-jp-theme-scrollbars='true'] .CodeMirror-hscrollbar,
  16. [data-jp-theme-scrollbars='true'] .CodeMirror-vscrollbar {
  17. scrollbar-color: rgba(var(--jp-scrollbar-thumb-color), 0.5) transparent;
  18. }
  19. /*
  20. * Webkit scrollbar styling
  21. */
  22. /* use standard opaque scrollbars for most nodes */
  23. [data-jp-theme-scrollbars='true'] ::-webkit-scrollbar,
  24. [data-jp-theme-scrollbars='true'] ::-webkit-scrollbar-corner {
  25. background: var(--jp-scrollbar-background-color);
  26. }
  27. [data-jp-theme-scrollbars='true'] ::-webkit-scrollbar-thumb {
  28. background: rgb(var(--jp-scrollbar-thumb-color));
  29. border: var(--jp-scrollbar-thumb-margin) solid transparent;
  30. background-clip: content-box;
  31. border-radius: var(--jp-scrollbar-thumb-radius);
  32. }
  33. [data-jp-theme-scrollbars='true'] ::-webkit-scrollbar-track:horizontal {
  34. border-left: var(--jp-scrollbar-endpad) solid
  35. var(--jp-scrollbar-background-color);
  36. border-right: var(--jp-scrollbar-endpad) solid
  37. var(--jp-scrollbar-background-color);
  38. }
  39. [data-jp-theme-scrollbars='true'] ::-webkit-scrollbar-track:vertical {
  40. border-top: var(--jp-scrollbar-endpad) solid
  41. var(--jp-scrollbar-background-color);
  42. border-bottom: var(--jp-scrollbar-endpad) solid
  43. var(--jp-scrollbar-background-color);
  44. }
  45. /* for code nodes, use a transparent style of scrollbar */
  46. [data-jp-theme-scrollbars='true'] .CodeMirror-hscrollbar::-webkit-scrollbar,
  47. [data-jp-theme-scrollbars='true'] .CodeMirror-vscrollbar::-webkit-scrollbar,
  48. [data-jp-theme-scrollbars='true']
  49. .CodeMirror-hscrollbar::-webkit-scrollbar-corner,
  50. [data-jp-theme-scrollbars='true']
  51. .CodeMirror-vscrollbar::-webkit-scrollbar-corner {
  52. background-color: transparent;
  53. }
  54. [data-jp-theme-scrollbars='true']
  55. .CodeMirror-hscrollbar::-webkit-scrollbar-thumb,
  56. [data-jp-theme-scrollbars='true']
  57. .CodeMirror-vscrollbar::-webkit-scrollbar-thumb {
  58. background: rgba(var(--jp-scrollbar-thumb-color), 0.5);
  59. border: var(--jp-scrollbar-thumb-margin) solid transparent;
  60. background-clip: content-box;
  61. border-radius: var(--jp-scrollbar-thumb-radius);
  62. }
  63. [data-jp-theme-scrollbars='true']
  64. .CodeMirror-hscrollbar::-webkit-scrollbar-track:horizontal {
  65. border-left: var(--jp-scrollbar-endpad) solid transparent;
  66. border-right: var(--jp-scrollbar-endpad) solid transparent;
  67. }
  68. [data-jp-theme-scrollbars='true']
  69. .CodeMirror-vscrollbar::-webkit-scrollbar-track:vertical {
  70. border-top: var(--jp-scrollbar-endpad) solid transparent;
  71. border-bottom: var(--jp-scrollbar-endpad) solid transparent;
  72. }
  73. /*
  74. * Phosphor
  75. */
  76. .lm-ScrollBar[data-orientation='horizontal'] {
  77. min-height: 16px;
  78. max-height: 16px;
  79. min-width: 45px;
  80. border-top: 1px solid #a0a0a0;
  81. }
  82. .lm-ScrollBar[data-orientation='vertical'] {
  83. min-width: 16px;
  84. max-width: 16px;
  85. min-height: 45px;
  86. border-left: 1px solid #a0a0a0;
  87. }
  88. .lm-ScrollBar-button {
  89. background-color: #f0f0f0;
  90. background-position: center center;
  91. min-height: 15px;
  92. max-height: 15px;
  93. min-width: 15px;
  94. max-width: 15px;
  95. }
  96. .lm-ScrollBar-button:hover {
  97. background-color: #dadada;
  98. }
  99. .lm-ScrollBar-button.lm-mod-active {
  100. background-color: #cdcdcd;
  101. }
  102. .lm-ScrollBar-track {
  103. background: #f0f0f0;
  104. }
  105. .lm-ScrollBar-thumb {
  106. background: #cdcdcd;
  107. }
  108. .lm-ScrollBar-thumb:hover {
  109. background: #bababa;
  110. }
  111. .lm-ScrollBar-thumb.lm-mod-active {
  112. background: #a0a0a0;
  113. }
  114. .lm-ScrollBar[data-orientation='horizontal'] .lm-ScrollBar-thumb {
  115. height: 100%;
  116. min-width: 15px;
  117. border-left: 1px solid #a0a0a0;
  118. border-right: 1px solid #a0a0a0;
  119. }
  120. .lm-ScrollBar[data-orientation='vertical'] .lm-ScrollBar-thumb {
  121. width: 100%;
  122. min-height: 15px;
  123. border-top: 1px solid #a0a0a0;
  124. border-bottom: 1px solid #a0a0a0;
  125. }
  126. .lm-ScrollBar[data-orientation='horizontal']
  127. .lm-ScrollBar-button[data-action='decrement'] {
  128. background-image: var(--jp-icon-caret-left);
  129. background-size: 17px;
  130. }
  131. .lm-ScrollBar[data-orientation='horizontal']
  132. .lm-ScrollBar-button[data-action='increment'] {
  133. background-image: var(--jp-icon-caret-right);
  134. background-size: 17px;
  135. }
  136. .lm-ScrollBar[data-orientation='vertical']
  137. .lm-ScrollBar-button[data-action='decrement'] {
  138. background-image: var(--jp-icon-caret-up);
  139. background-size: 17px;
  140. }
  141. .lm-ScrollBar[data-orientation='vertical']
  142. .lm-ScrollBar-button[data-action='increment'] {
  143. background-image: var(--jp-icon-caret-down);
  144. background-size: 17px;
  145. }