scrollbar.css 2.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. ::-webkit-scrollbar {
  6. background: var(--jp-layout-color0);
  7. }
  8. .jp-SidePanel ::-webkit-scrollbar {
  9. background-color: transparent;
  10. }
  11. ::-webkit-scrollbar-track:vertical {
  12. border-left: 1px solid var(--jp-border-color2);
  13. }
  14. ::-webkit-scrollbar-thumb:vertical {
  15. border-left: 1px solid var(--jp-border-color2);
  16. background-color: var(--jp-layout-color2);
  17. }
  18. ::-webkit-scrollbar-track:horizontal {
  19. border-top: 1px solid var(--jp-border-color2);
  20. }
  21. ::-webkit-scrollbar-thumb:horizontal {
  22. border-top: 1px solid var(--jp-border-color2);
  23. background-color: var(--jp-layout-color2);
  24. }
  25. .p-ScrollBar[data-orientation='horizontal'] {
  26. min-height: 16px;
  27. max-height: 16px;
  28. min-width: 45px;
  29. border-top: 1px solid #A0A0A0;
  30. }
  31. .p-ScrollBar[data-orientation='vertical'] {
  32. min-width: 16px;
  33. max-width: 16px;
  34. min-height: 45px;
  35. border-left: 1px solid #A0A0A0;
  36. }
  37. .p-ScrollBar-button {
  38. background-color: #F0F0F0;
  39. background-position: center center;
  40. min-height: 15px;
  41. max-height: 15px;
  42. min-width: 15px;
  43. max-width: 15px;
  44. }
  45. .p-ScrollBar-button:hover {
  46. background-color: #DADADA;
  47. }
  48. .p-ScrollBar-button.p-mod-active {
  49. background-color: #CDCDCD;
  50. }
  51. .p-ScrollBar-track {
  52. background: #F0F0F0;
  53. }
  54. .p-ScrollBar-thumb {
  55. background: #CDCDCD;
  56. }
  57. .p-ScrollBar-thumb:hover {
  58. background: #BABABA;
  59. }
  60. .p-ScrollBar-thumb.p-mod-active {
  61. background: #A0A0A0;
  62. }
  63. .p-ScrollBar[data-orientation='horizontal'] .p-ScrollBar-thumb {
  64. height: 100%;
  65. min-width: 15px;
  66. border-left: 1px solid #A0A0A0;
  67. border-right: 1px solid #A0A0A0;
  68. }
  69. .p-ScrollBar[data-orientation='vertical'] .p-ScrollBar-thumb {
  70. width: 100%;
  71. min-height: 15px;
  72. border-top: 1px solid #A0A0A0;
  73. border-bottom: 1px solid #A0A0A0;
  74. }
  75. .p-ScrollBar[data-orientation='horizontal'] .p-ScrollBar-button[data-action='decrement'] {
  76. background-image: var(--jp-image-caretleft);
  77. }
  78. .p-ScrollBar[data-orientation='horizontal'] .p-ScrollBar-button[data-action='increment'] {
  79. background-image: var(--jp-image-caretright);
  80. }
  81. .p-ScrollBar[data-orientation='vertical'] .p-ScrollBar-button[data-action='decrement'] {
  82. background-image: var(--jp-image-caretup);
  83. }
  84. .p-ScrollBar[data-orientation='vertical'] .p-ScrollBar-button[data-action='increment'] {
  85. background-image: var(--jp-image-caretdown);
  86. }