toolbar.css 2.2 KB

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