123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175 |
- /*-----------------------------------------------------------------------------
- | Copyright (c) Jupyter Development Team.
- | Distributed under the terms of the Modified BSD License.
- |----------------------------------------------------------------------------*/
- /*
- * Mozilla scrollbar styling
- */
- /* use standard opaque scrollbars for most nodes */
- [data-jp-theme-scrollbars='true'] {
- scrollbar-color: rgb(var(--jp-scrollbar-thumb-color))
- var(--jp-scrollbar-background-color);
- }
- /* for code nodes, use a transparent style of scrollbar. These selectors
- * will match lower in the tree, and so will override the above */
- [data-jp-theme-scrollbars='true'] .CodeMirror-hscrollbar,
- [data-jp-theme-scrollbars='true'] .CodeMirror-vscrollbar {
- scrollbar-color: rgba(var(--jp-scrollbar-thumb-color), 0.5) transparent;
- }
- /*
- * Webkit scrollbar styling
- */
- /* use standard opaque scrollbars for most nodes */
- [data-jp-theme-scrollbars='true'] ::-webkit-scrollbar,
- [data-jp-theme-scrollbars='true'] ::-webkit-scrollbar-corner {
- background: var(--jp-scrollbar-background-color);
- }
- [data-jp-theme-scrollbars='true'] ::-webkit-scrollbar-thumb {
- background: rgb(var(--jp-scrollbar-thumb-color));
- border: var(--jp-scrollbar-thumb-margin) solid transparent;
- background-clip: content-box;
- border-radius: var(--jp-scrollbar-thumb-radius);
- }
- [data-jp-theme-scrollbars='true'] ::-webkit-scrollbar-track:horizontal {
- border-left: var(--jp-scrollbar-endpad) solid
- var(--jp-scrollbar-background-color);
- border-right: var(--jp-scrollbar-endpad) solid
- var(--jp-scrollbar-background-color);
- }
- [data-jp-theme-scrollbars='true'] ::-webkit-scrollbar-track:vertical {
- border-top: var(--jp-scrollbar-endpad) solid
- var(--jp-scrollbar-background-color);
- border-bottom: var(--jp-scrollbar-endpad) solid
- var(--jp-scrollbar-background-color);
- }
- /* for code nodes, use a transparent style of scrollbar */
- [data-jp-theme-scrollbars='true'] .CodeMirror-hscrollbar::-webkit-scrollbar,
- [data-jp-theme-scrollbars='true'] .CodeMirror-vscrollbar::-webkit-scrollbar,
- [data-jp-theme-scrollbars='true']
- .CodeMirror-hscrollbar::-webkit-scrollbar-corner,
- [data-jp-theme-scrollbars='true']
- .CodeMirror-vscrollbar::-webkit-scrollbar-corner {
- background-color: transparent;
- }
- [data-jp-theme-scrollbars='true']
- .CodeMirror-hscrollbar::-webkit-scrollbar-thumb,
- [data-jp-theme-scrollbars='true']
- .CodeMirror-vscrollbar::-webkit-scrollbar-thumb {
- background: rgba(var(--jp-scrollbar-thumb-color), 0.5);
- border: var(--jp-scrollbar-thumb-margin) solid transparent;
- background-clip: content-box;
- border-radius: var(--jp-scrollbar-thumb-radius);
- }
- [data-jp-theme-scrollbars='true']
- .CodeMirror-hscrollbar::-webkit-scrollbar-track:horizontal {
- border-left: var(--jp-scrollbar-endpad) solid transparent;
- border-right: var(--jp-scrollbar-endpad) solid transparent;
- }
- [data-jp-theme-scrollbars='true']
- .CodeMirror-vscrollbar::-webkit-scrollbar-track:vertical {
- border-top: var(--jp-scrollbar-endpad) solid transparent;
- border-bottom: var(--jp-scrollbar-endpad) solid transparent;
- }
- /*
- * Phosphor
- */
- .lm-ScrollBar[data-orientation='horizontal'] {
- min-height: 16px;
- max-height: 16px;
- min-width: 45px;
- border-top: 1px solid #a0a0a0;
- }
- .lm-ScrollBar[data-orientation='vertical'] {
- min-width: 16px;
- max-width: 16px;
- min-height: 45px;
- border-left: 1px solid #a0a0a0;
- }
- .lm-ScrollBar-button {
- background-color: #f0f0f0;
- background-position: center center;
- min-height: 15px;
- max-height: 15px;
- min-width: 15px;
- max-width: 15px;
- }
- .lm-ScrollBar-button:hover {
- background-color: #dadada;
- }
- .lm-ScrollBar-button.lm-mod-active {
- background-color: #cdcdcd;
- }
- .lm-ScrollBar-track {
- background: #f0f0f0;
- }
- .lm-ScrollBar-thumb {
- background: #cdcdcd;
- }
- .lm-ScrollBar-thumb:hover {
- background: #bababa;
- }
- .lm-ScrollBar-thumb.lm-mod-active {
- background: #a0a0a0;
- }
- .lm-ScrollBar[data-orientation='horizontal'] .lm-ScrollBar-thumb {
- height: 100%;
- min-width: 15px;
- border-left: 1px solid #a0a0a0;
- border-right: 1px solid #a0a0a0;
- }
- .lm-ScrollBar[data-orientation='vertical'] .lm-ScrollBar-thumb {
- width: 100%;
- min-height: 15px;
- border-top: 1px solid #a0a0a0;
- border-bottom: 1px solid #a0a0a0;
- }
- .lm-ScrollBar[data-orientation='horizontal']
- .lm-ScrollBar-button[data-action='decrement'] {
- background-image: var(--jp-icon-caret-left);
- background-size: 17px;
- }
- .lm-ScrollBar[data-orientation='horizontal']
- .lm-ScrollBar-button[data-action='increment'] {
- background-image: var(--jp-icon-caret-right);
- background-size: 17px;
- }
- .lm-ScrollBar[data-orientation='vertical']
- .lm-ScrollBar-button[data-action='decrement'] {
- background-image: var(--jp-icon-caret-up);
- background-size: 17px;
- }
- .lm-ScrollBar[data-orientation='vertical']
- .lm-ScrollBar-button[data-action='increment'] {
- background-image: var(--jp-icon-caret-down);
- background-size: 17px;
- }
|