1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677 |
- /*-----------------------------------------------------------------------------
- | Copyright (c) 2014-2016, Jupyter Development Team.
- |
- | Distributed under the terms of the Modified BSD License.
- |----------------------------------------------------------------------------*/
- :root {
- --jp-private-toolbar-height: 24px;
- }
- .jp-Toolbar {
- color: var(--jp-ui-font-color1);
- flex: 0 0 auto;
- display: flex;
- flex-direction: row;
- border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
- height: calc(var(--jp-private-toolbar-height) + var(--jp-border-width));
- }
- .jp-Toolbar > .jp-Toolbar-item {
- flex: 0 0 auto;
- padding-left: 8px;
- padding-right: 8px;
- font-size: var(--jp-ui-font-size1);
- line-height: var(--jp-private-toolbar-height);
- height: 100%;
- }
- .jp-Toolbar-item.jp-Toolbar-button {
- display: inline-block;
- width: 32px;
- background-color: white;
- background-repeat: no-repeat;
- background-position: center;
- background-size: 16px;
- }
- .jp-Toolbar-button.jp-mod-pressed {
- background-color: var(--jp-layout-color3);
- box-shadow: inset 0 0px 1px rgba(0, 0, 0, 0.5);
- }
- .jp-Toolbar-button:hover {
- background-color: var(--jp-layout-color2);
- box-shadow: inset 0 0px 1px rgba(0, 0, 0, 0.5);
- }
- .jp-Toolbar > .jp-Toolbar-item.jp-Toolbar-spacer {
- flex-grow: 1;
- flex-shrink: 1;
- }
- .jp-Toolbar > .jp-Toolbar-item.jp-Toolbar-kernelName {
- width: auto;
- text-transform: none; /* kernel names can benefit from visible case */
- letter-spacing: normal;
- text-align: left;
- font-size: var(--jp-ui-font-size1);
- line-height: calc( var(--jp-private-toolbar-height) + 1px );
- }
- .jp-Toolbar-item.jp-Toolbar-kernelStatus {
- display: inline-block;
- width: 32px;
- background-repeat: no-repeat;
- background-position: center;
- background-size: 16px;
- }
|