toolbar.css 2.6 KB

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