toolbar.css 2.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115
  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: calc(
  8. 28px + var(--jp-border-width)
  9. ); /* leave 28px for content */
  10. }
  11. .jp-Toolbar {
  12. color: var(--jp-ui-font-color1);
  13. flex: 0 0 auto;
  14. display: flex;
  15. flex-direction: row;
  16. border-bottom: var(--jp-border-width) solid var(--jp-toolbar-border-color);
  17. box-shadow: var(--jp-toolbar-box-shadow);
  18. background: var(--jp-toolbar-background);
  19. min-height: var(--jp-toolbar-micro-height);
  20. padding: 2px;
  21. z-index: 8;
  22. overflow-x: hidden;
  23. }
  24. /* Toolbar items */
  25. .jp-Toolbar > .jp-Toolbar-item.jp-Toolbar-spacer {
  26. flex-grow: 1;
  27. flex-shrink: 1;
  28. }
  29. .jp-Toolbar-item.jp-Toolbar-kernelStatus {
  30. display: inline-block;
  31. width: 32px;
  32. background-repeat: no-repeat;
  33. background-position: center;
  34. background-size: 16px;
  35. }
  36. .jp-Toolbar > .jp-Toolbar-item {
  37. flex: 0 0 auto;
  38. display: flex;
  39. padding-left: 1px;
  40. padding-right: 1px;
  41. font-size: var(--jp-ui-font-size1);
  42. line-height: var(--jp-private-toolbar-height);
  43. height: 100%;
  44. }
  45. /* Toolbar buttons */
  46. /* This is the div we use to wrap the react component into a Widget */
  47. div.jp-ToolbarButton {
  48. color: transparent;
  49. border: none;
  50. box-sizing: border-box;
  51. outline: none;
  52. appearance: none;
  53. -webkit-appearance: none;
  54. -moz-appearance: none;
  55. padding: 0px;
  56. margin: 0px;
  57. }
  58. button.jp-ToolbarButtonComponent {
  59. background: var(--jp-layout-color1);
  60. border: none;
  61. box-sizing: border-box;
  62. outline: none;
  63. appearance: none;
  64. -webkit-appearance: none;
  65. -moz-appearance: none;
  66. padding: 0px 6px;
  67. margin: 0px;
  68. height: 24px;
  69. border-radius: var(--jp-border-radius);
  70. display: flex;
  71. align-items: center;
  72. text-align: center;
  73. font-size: 14px;
  74. min-width: unset;
  75. min-height: unset;
  76. }
  77. button.jp-ToolbarButtonComponent:disabled {
  78. opacity: 0.4;
  79. }
  80. button.jp-ToolbarButtonComponent span {
  81. padding: 0px;
  82. flex: 0 0 auto;
  83. }
  84. button.jp-ToolbarButtonComponent .jp-ToolbarButtonComponent-label {
  85. font-size: var(--jp-ui-font-size1);
  86. line-height: 100%;
  87. padding-left: 2px;
  88. color: var(--jp-ui-font-color1);
  89. }
  90. #jp-main-dock-panel[data-mode='single-document']
  91. .jp-MainAreaWidget
  92. > .jp-Toolbar.jp-Toolbar-micro {
  93. padding: 0;
  94. min-height: 0;
  95. }
  96. #jp-main-dock-panel[data-mode='single-document']
  97. .jp-MainAreaWidget
  98. > .jp-Toolbar {
  99. border: none;
  100. box-shadow: none;
  101. }