123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163 |
- /*-----------------------------------------------------------------------------
- | 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.
- */
- :root {
- /* Borders
- The following variables, specify the visual styling of borders in JupyterLab.
- */
- --jp-border-width: 1px;
- --jp-border-color0: var(--md-grey-700);
- --jp-border-color1: var(--md-grey-500);
- --jp-border-color2: var(--md-grey-300);
- --jp-border-color3: var(--md-grey-100);
- /* 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: rgba(0,0,0,1.0);
- --jp-ui-font-color1: rgba(0,0,0,0.87);
- --jp-ui-font-color2: rgba(0,0,0,0.54);
- --jp-ui-font-color3: rgba(0,0,0,0.38);
- /* 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: white;
- --jp-layout-color1: white;
- --jp-layout-color2: var(--md-grey-200);
- --jp-layout-color3: var(--md-grey-400);
- /* 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);
- /* Notebook specific styles */
- --jp-notebook-scroll-padding: 100px;
- /* The caret used for select dropdown styling. */
- --jp-ui-select-caret: url('./images/down_caret.svg');
- /* Icons used in the application. */
- --jp-icon-book-running: url('./icons/md/book_running.svg');
- --jp-icon-book-selected: url('./icons/md/book_selected.svg');
- --jp-icon-directory-selected: url('./icons/md/directory_selected.svg');
- --jp-icon-file-selected: url('./icons/md/file_selected.svg');
- --jp-icon-book: url('./icons/md/book.svg');
- --jp-icon-terminal: url('./icons/md/terminal.svg');
- --jp-icon-file: url('./icons/md/file.svg');
- --jp-icon-refresh: url('./icons/md/refresh.svg');
- --jp-icon-close: url('./icons/md/close.svg');
- --jp-icon-circle: url('./icons/md/circle.svg');
- --jp-icon-close-black: url('./icons/md/close-black.svg');
- --jp-icon-search: url('./icons/md/search.svg');
- }
|