toolbar.css 2.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) 2014-2016, Jupyter Development Team.
  3. |
  4. | Distributed under the terms of the Modified BSD License.
  5. |----------------------------------------------------------------------------*/
  6. :root {
  7. --jp-private-toolbar-height: 28px;
  8. }
  9. .jp-Toolbar {
  10. color: var(--jp-ui-font-color1);
  11. flex: 0 0 auto;
  12. display: flex;
  13. flex-direction: row;
  14. border-bottom: var(--jp-border-width) solid var(--jp-toolbar-border-color);
  15. box-shadow: var(--jp-toolbar-box-shadow);
  16. background: var(--jp-toolbar-background);
  17. min-height: var(--jp-toolbar-micro-height);
  18. z-index: 1;
  19. }
  20. .jp-Toolbar > .jp-Toolbar-item {
  21. flex: 0 0 auto;
  22. padding-left: 8px;
  23. padding-right: 8px;
  24. font-size: var(--jp-ui-font-size1);
  25. line-height: var(--jp-private-toolbar-height);
  26. height: 100%;
  27. }
  28. .jp-Toolbar-item.jp-Toolbar-button {
  29. display: inline-block;
  30. height: 24px;
  31. width: 32px;
  32. background-color: var(--jp-layout-color1);
  33. background-repeat: no-repeat;
  34. background-position: center;
  35. background-size: 16px;
  36. border: 1px solid var(--jp-layout-color1);
  37. }
  38. .jp-Toolbar-item.jp-Toolbar-button:focus {
  39. box-shadow: var(--jp-toolbar-box-shadow);
  40. border: 1px solid var(--jp-toolbar-border-color);
  41. }
  42. .jp-Toolbar-button:enabled:hover {
  43. border: 1px solid var(--jp-toolbar-border-color);
  44. box-shadow: 0px 0px 2px 0px rgba(0,0,0,0.24);
  45. }
  46. .jp-Toolbar-button:enabled:active {
  47. border: 1px solid var(--jp-toolbar-border-color);
  48. background-color: var(--jp-toolbar-active-background);
  49. box-shadow: var(--jp-toolbar-box-shadow);
  50. }
  51. .jp-Toolbar-button:disabled {
  52. opacity: 0.4;
  53. }
  54. .jp-Toolbar-button.p-mod-toggled {
  55. background-color: var(--jp-toolbar-active-background);
  56. box-shadow: inset 0 0px 1px rgba(0, 0, 0, 0.5);
  57. }
  58. .jp-Toolbar > .jp-Toolbar-item.jp-Toolbar-spacer {
  59. flex-grow: 1;
  60. flex-shrink: 1;
  61. }
  62. .jp-Toolbar > .jp-Toolbar-item.jp-Toolbar-kernelName {
  63. width: auto;
  64. text-transform: none; /* kernel names can benefit from visible case */
  65. letter-spacing: normal;
  66. text-align: left;
  67. font-size: var(--jp-ui-font-size1);
  68. line-height: 22px;
  69. }
  70. .jp-Toolbar-item.jp-Toolbar-kernelStatus {
  71. display: inline-block;
  72. width: 32px;
  73. background-repeat: no-repeat;
  74. background-position: center;
  75. background-size: 16px;
  76. }