menus.css 3.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. /*-----------------------------------------------------------------------------
  6. | Variables
  7. |----------------------------------------------------------------------------*/
  8. :root {
  9. --jp-private-menubar-height: 28px;
  10. --jp-private-menu-item-height: 24px;
  11. }
  12. /*-----------------------------------------------------------------------------
  13. | MenuBar
  14. |----------------------------------------------------------------------------*/
  15. .p-MenuBar {
  16. padding-left: 5px;
  17. background: var(--jp-layout-color1);
  18. color: var(--jp-ui-font-color1);
  19. font-size: var(--jp-ui-font-size1);
  20. }
  21. .p-MenuBar-menu {
  22. transform: translateY(calc(-2*var(--jp-border-width)));
  23. }
  24. .p-MenuBar-item {
  25. padding: 0px 8px;
  26. border-left: var(--jp-border-width) solid transparent;
  27. border-right: var(--jp-border-width) solid transparent;
  28. line-height: var(--jp-private-menubar-height);
  29. }
  30. .p-MenuBar-item.p-mod-active {
  31. background: var(--jp-layout-color2);
  32. }
  33. .p-MenuBar.p-mod-active .p-MenuBar-item.p-mod-active {
  34. z-index: 10001;
  35. background: var(--jp-layout-color1);
  36. border-left: var(--jp-border-width) solid var(--jp-border-color1);
  37. border-right: var(--jp-border-width) solid var(--jp-border-color1);
  38. box-shadow: 0px 0px 6px rgba(0, 0, 0, 0.2);
  39. }
  40. .p-MenuBar-item.p-mod-disabled {
  41. color: var(--jp-ui-font-color2);
  42. }
  43. .p-MenuBar-item.p-type-separator {
  44. margin: 2px;
  45. padding: 0;
  46. border: none;
  47. border-left: var(--jp-border-width) solid var(--jp-border-color2);
  48. }
  49. .p-MenuBar-itemMnemonic {
  50. text-decoration: underline;
  51. }
  52. #jp-top-panel {
  53. border-bottom: var(--jp-border-width) solid var(--jp-border-color1);
  54. background: var(--jp-layout-color1);
  55. display: flex;
  56. min-height: var(--jp-private-menubar-height);
  57. }
  58. /*-----------------------------------------------------------------------------
  59. | Menu
  60. |----------------------------------------------------------------------------*/
  61. .p-Menu {
  62. z-index: 10000;
  63. padding: 4px 0px;
  64. background: var(--jp-layout-color1);
  65. color: var(--jp-ui-font-color1);
  66. border: var(--jp-border-width) solid var(--jp-border-color1);
  67. font-size: var(--jp-ui-font-size1);
  68. box-shadow: 0px 1px 6px rgba(0, 0, 0, 0.2);
  69. }
  70. .p-Menu-item {
  71. min-height: var(--jp-private-menu-item-height);
  72. max-height: var(--jp-private-menu-item-height);
  73. padding: 0px;
  74. line-height: var(--jp-private-menu-item-height);
  75. }
  76. .p-Menu-item.p-mod-active {
  77. background: var(--jp-layout-color2);
  78. }
  79. .p-Menu-item.p-mod-disabled {
  80. color: var(--jp-ui-font-color2);
  81. }
  82. .p-Menu-itemIcon {
  83. width: 21px;
  84. padding: 0px 2px 0px 4px;
  85. margin-top: -2px;
  86. }
  87. .p-Menu-itemLabel {
  88. padding: 0px 32px 0px 2px;
  89. }
  90. .p-Menu-itemMnemonic {
  91. text-decoration: underline;
  92. }
  93. .p-Menu-itemShortcut {
  94. padding: 0px;
  95. }
  96. .p-Menu-itemSubmenuIcon {
  97. width: 16px;
  98. padding: 0px 4px 0px 0px;
  99. }
  100. .p-Menu-item[data-type='separator'] > div {
  101. padding: 0;
  102. height: 9px;
  103. }
  104. .p-Menu-item[data-type='separator'] > div::after {
  105. content: '';
  106. display: block;
  107. position: relative;
  108. top: 4px;
  109. border-top: var(--jp-border-width) solid var(--jp-layout-color2);
  110. }
  111. .p-Menu-itemIcon::before,
  112. .p-Menu-itemSubmenuIcon::before {
  113. font-family: FontAwesome;
  114. }
  115. .p-Menu-item.p-mod-toggled > .p-Menu-itemIcon::before {
  116. content: '\f00c';
  117. }
  118. .p-Menu-item[data-type='submenu'] > .p-Menu-itemSubmenuIcon::before {
  119. content: '\f0da';
  120. }