menus.css 3.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174
  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-color1);
  32. }
  33. .p-MenuBar.p-mod-active .p-MenuBar-item.p-mod-active {
  34. z-index: 10001;
  35. background: var(--jp-layout-color0);
  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-color3);
  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. /*-----------------------------------------------------------------------------
  53. | Menu
  54. |----------------------------------------------------------------------------*/
  55. .p-Menu {
  56. z-index: 10000;
  57. padding: 4px 0px;
  58. background: var(--jp-layout-color0);
  59. color: var(--jp-ui-font-color1);
  60. border: var(--jp-border-width) solid var(--jp-border-color1);
  61. font-size: var(--jp-ui-font-size1);
  62. box-shadow: 0px 1px 6px rgba(0, 0, 0, 0.2);
  63. }
  64. .p-Menu-item {
  65. min-height: var(--jp-private-menu-item-height);
  66. max-height: var(--jp-private-menu-item-height);
  67. padding: 0px;
  68. line-height: var(--jp-private-menu-item-height);
  69. }
  70. .p-Menu-item.p-mod-active {
  71. background: var(--jp-layout-color2);
  72. }
  73. .p-Menu-item.p-mod-disabled {
  74. color: var(--jp-ui-font-color3);
  75. }
  76. .p-Menu-itemIcon {
  77. width: 21px;
  78. padding: 0px 2px 0px 4px;
  79. margin-top: -2px;
  80. }
  81. .p-Menu-itemLabel {
  82. padding: 0px 32px 0px 2px;
  83. }
  84. .p-Menu-itemMnemonic {
  85. text-decoration: underline;
  86. }
  87. .p-Menu-itemShortcut {
  88. padding: 0px;
  89. }
  90. .p-Menu-itemSubmenuIcon {
  91. width: 18px;
  92. padding: 0px 4px 0px 0px;
  93. }
  94. .p-Menu-item[data-type='separator'] > div {
  95. padding: 0;
  96. height: 9px;
  97. }
  98. .p-Menu-item[data-type='separator'] > div::after {
  99. content: '';
  100. display: block;
  101. position: relative;
  102. top: 4px;
  103. border-top: var(--jp-border-width) solid var(--jp-layout-color2);
  104. }
  105. .p-Menu-itemIcon,
  106. .p-Menu-itemSubmenuIcon {
  107. background-size: 16px;
  108. background-repeat: no-repeat;
  109. background-position: center;
  110. }
  111. .p-Menu-item.p-mod-toggled > .p-Menu-itemIcon {
  112. background-image: var(--jp-icon-checkmark);
  113. }
  114. .p-Menu-item.p-mod-toggled.p-mod-disabled > .p-Menu-itemIcon {
  115. background-image: var(--jp-icon-checkmark-disabled);
  116. }
  117. .p-Menu-item[data-type='submenu'] > .p-Menu-itemSubmenuIcon {
  118. background-image: var(--jp-icon-caretright);
  119. background-size: 18px;
  120. background-repeat: no-repeat;
  121. background-position: left;
  122. }