variablesdark.css 2.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. :root {
  6. /* Borders */
  7. --jp-border-width: 1px;
  8. --jp-border-color0: var(--md-grey-300);
  9. --jp-border-color1: var(--md-grey-500);
  10. --jp-border-color2: var(--md-grey-700);
  11. --jp-border-color3: var(--md-grey-900);
  12. /* UI Fonts */
  13. --jp-ui-font-scale-factor: 1.2;
  14. --jp-ui-font-size0: calc(var(--jp-ui-font-size1)/var(--jp-ui-font-scale-factor));
  15. --jp-ui-font-size1: 13px;
  16. --jp-ui-font-size2: calc(var(--jp-ui-font-size1)*var(--jp-ui-font-scale-factor));
  17. --jp-ui-font-size3: calc(var(--jp-ui-font-size2)*var(--jp-ui-font-scale-factor));
  18. --jp-ui-icon-font-size: 14px;
  19. --jp-ui-font-color0: white;
  20. --jp-ui-font-color1: rgb(157,157,157);
  21. --jp-ui-font-color2: var(--md-grey-700);
  22. --jp-ui-font-color3: var(--md-grey-500);
  23. /* Use these against the brand/accent/warn/error colors */
  24. --jp-inverse-ui-font-color0: rgba(255,255,255,1);
  25. --jp-inverse-ui-font-color1: rgba(255,255,255,1.0);
  26. --jp-inverse-ui-font-color2: rgba(255,255,255,0.7);
  27. --jp-inverse-ui-font-color3: rgba(255,255,255,0.5);
  28. /* Content Fonts */
  29. --jp-content-font-size: 14px;
  30. --jp-content-font-color0: black;
  31. --jp-content-font-color1: black;
  32. --jp-content-font-color2: var(--md-grey-700);
  33. --jp-content-font-color3: var(--md-grey-500);
  34. /* Layout */
  35. --jp-layout-color0: black;
  36. --jp-layout-color1: rgb(23,23,23);
  37. --jp-layout-color2: rgb(38,38,38);
  38. --jp-layout-color3: var(--md-grey-600);
  39. /* Brand/accent */
  40. --jp-brand-color0: rgb(0,77,152);
  41. --jp-brand-color1: rgb(0,77,152);
  42. --jp-brand-color2: var(--md-blue-300);
  43. --jp-brand-color3: var(--md-blue-100);
  44. --jp-accent-color0: var(--md-green-700);
  45. --jp-accent-color1: var(--md-green-500);
  46. --jp-accent-color2: var(--md-green-300);
  47. --jp-accent-color3: var(--md-green-100);
  48. /* State colors (warn, error, success, info) */
  49. --jp-warn-color1: var(--md-orange-500);
  50. --jp-error-color1: var(--md-red-500);
  51. --jp-success-color1: var(--md-green-500);
  52. --jp-info-color1: var(--jp-brand-color1);
  53. }