123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168 |
- /*-----------------------------------------------------------------------------
- | Copyright (c) Jupyter Development Team.
- | Distributed under the terms of the Modified BSD License.
- |----------------------------------------------------------------------------*/
- /*
- The following CSS variables define the main, public API for styling JupyterLab.
- These variables should be used by all plugins wherever possible. In other
- words, plugins should not define custom colors, sizes, etc unless absolutely
- necessary. This enables users to change the visual theme of JupyterLab
- by changing these variables.
- Many variables appear in an ordered sequence (0,1,2,3). These sequences
- are designed to work well together, so for example, `--jp-border-color1` should
- be used with `--jp-layout-color1`. The numbers have the following meanings:
- * 0: super-primary, reserved for special emphasis
- * 1: primary, most important under normal situations
- * 2: secondary, next most important under normal situations
- * 3: tertiary, next most important under normal situations
- Throughout JupyterLab, we are mostly following principles from Google's
- Material Design when selecting colors. We are not, however, following
- all of MD as it is not optimized for dense, information rich UIs.
- */
- /*
- * Optional monospace font for input/output prompt.
- */
- @import url('https://fonts.googleapis.com/css?family=Roboto+Mono');
- :root {
- /* Borders
- The following variables, specify the visual styling of borders in JupyterLab.
- */
- --jp-border-width: 1px;
- --jp-border-color0: var(--md-grey-300);
- --jp-border-color1: var(--md-grey-500);
- --jp-border-color2: var(--md-grey-700);
- --jp-border-color3: var(--md-grey-900);
- /* UI Fonts
- The UI font CSS variables are used for the typography all of the JupyterLab
- user interface elements that are not directly user generated content.
- */
- --jp-ui-font-scale-factor: 1.2;
- --jp-ui-font-size0: calc(var(--jp-ui-font-size1)/var(--jp-ui-font-scale-factor));
- --jp-ui-font-size1: 13px; /* Base font size */
- --jp-ui-font-size2: calc(var(--jp-ui-font-size1)*var(--jp-ui-font-scale-factor));
- --jp-ui-font-size3: calc(var(--jp-ui-font-size2)*var(--jp-ui-font-scale-factor));
- --jp-ui-icon-font-size: 14px; /* Ensures px perfect FontAwesome icons */
- --jp-ui-font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
- /* Use these font colors against the corresponding main layout colors.
- In a light theme, these go from dark to light.
- */
- --jp-ui-font-color0: white;
- --jp-ui-font-color1: rgba(157,157,157);
- --jp-ui-font-color2: var(--md-grey-700);
- --jp-ui-font-color3: var(--md-grey-500);
- /* Use these against the brand/accent/warn/error colors.
- These will typically go from light to darker, in both a dark and light theme
- */
- --jp-inverse-ui-font-color0: rgba(255,255,255,1);
- --jp-inverse-ui-font-color1: rgba(255,255,255,1.0);
- --jp-inverse-ui-font-color2: rgba(255,255,255,0.7);
- --jp-inverse-ui-font-color3: rgba(255,255,255,0.5);
- /* Content Fonts
- Content font variables are used for typography of user generated content.
- */
- --jp-content-font-size: 13px;
- --jp-content-line-height: 1.5;
- --jp-content-font-color0: black;
- --jp-content-font-color1: black;
- --jp-content-font-color2: var(--md-grey-700);
- --jp-content-font-color3: var(--md-grey-500);
- --jp-ui-font-scale-factor: 1.2;
- --jp-ui-font-size0: calc(var(--jp-ui-font-size1)/var(--jp-ui-font-scale-factor));
- --jp-ui-font-size1: 13px; /* Base font size */
- --jp-ui-font-size2: calc(var(--jp-ui-font-size1)*var(--jp-ui-font-scale-factor));
- --jp-ui-font-size3: calc(var(--jp-ui-font-size2)*var(--jp-ui-font-scale-factor));
- --jp-code-font-size: 13px;
- --jp-code-line-height: 17px;
- --jp-code-padding: 5px;
- --jp-code-font-family: monospace;
- /* Layout
- The following are the main layout colors use in JupyterLab. In a light
- theme these would go from light to dark.
- */
- --jp-layout-color0: black;
- --jp-layout-color1: white;
- --jp-layout-color2: rgb(23,23,23);
- --jp-layout-color3: var(--md-grey-600);
- /* Brand/accent */
- --jp-brand-color0: var(--md-blue-700);
- --jp-brand-color1: var(--md-blue-500);
- --jp-brand-color2: var(--md-blue-300);
- --jp-brand-color3: var(--md-blue-100);
- --jp-accent-color0: var(--md-green-700);
- --jp-accent-color1: var(--md-green-500);
- --jp-accent-color2: var(--md-green-300);
- --jp-accent-color3: var(--md-green-100);
- /* State colors (warn, error, success, info) */
- --jp-warn-color0: var(--md-orange-700);
- --jp-warn-color1: var(--md-orange-500);
- --jp-warn-color2: var(--md-orange-300);
- --jp-warn-color3: var(--md-orange-100);
- --jp-error-color0: var(--md-red-700);
- --jp-error-color1: var(--md-red-500);
- --jp-error-color2: var(--md-red-300);
- --jp-error-color3: var(--md-red-100);
- --jp-success-color0: var(--md-green-700);
- --jp-success-color1: var(--md-green-500);
- --jp-success-color2: var(--md-green-300);
- --jp-success-color3: var(--md-green-100);
- --jp-info-color0: var(--md-cyan-700);
- --jp-info-color1: var(--md-cyan-500);
- --jp-info-color2: var(--md-cyan-300);
- --jp-info-color3: var(--md-cyan-100);
- /* Cell specific styles */
- --jp-cell-padding: 5px;
- --jp-cell-editor-background: #f7f7f7;
- --jp-cell-editor-border-color: #cfcfcf;
- --jp-cell-editor-background-edit: var(--jp-ui-layout-color1);
- --jp-cell-editor-border-color-edit: var(--jp-brand-color1);
- --jp-cell-prompt-width: 68px;
- --jp-cell-prompt-font-family: 'Roboto Mono', monospace;
- --jp-cell-prompt-letter-spacing: 0px;
- --jp-cell-prompt-opacity: 1.0;
- --jp-cell-prompt-opacity-not-active: 0.4;
- --jp-cell-inprompt-font-color: var(--md-grey-700);
- --jp-cell-outprompt-font-color: var(--md-grey-700);
- /* Notebook specific styles */
- --jp-notebook-padding: 10px;
- --jp-notebook-scroll-padding: 100px;
- }
|