menus.css 3.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144
  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. .lm-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. .lm-MenuBar:hover {
  22. overflow-x: auto;
  23. }
  24. .lm-MenuBar-menu {
  25. transform: translateY(calc(-2 * var(--jp-border-width)));
  26. }
  27. .lm-MenuBar-item {
  28. padding: 0px 8px;
  29. border-left: var(--jp-border-width) solid transparent;
  30. border-right: var(--jp-border-width) solid transparent;
  31. border-top: var(--jp-border-width) solid transparent;
  32. line-height: calc(var(--jp-private-menubar-height) - var(--jp-border-width));
  33. }
  34. .lm-MenuBar-item.lm-mod-active {
  35. background: var(--jp-layout-color2);
  36. }
  37. .lm-MenuBar.lm-mod-active .lm-MenuBar-item.lm-mod-active {
  38. z-index: 10001;
  39. background: var(--jp-layout-color0);
  40. border-left: var(--jp-border-width) solid var(--jp-border-color1);
  41. border-right: var(--jp-border-width) solid var(--jp-border-color1);
  42. box-shadow: var(--jp-elevation-z6);
  43. }
  44. .jp-LabShell[data-shell-mode='single-document']
  45. .lm-MenuBar.lm-mod-active
  46. .lm-MenuBar-item.lm-mod-active {
  47. border-top: var(--jp-border-width) solid var(--jp-border-color1);
  48. }
  49. .lm-MenuBar-item.lm-mod-disabled {
  50. color: var(--jp-ui-font-color3);
  51. }
  52. .lm-MenuBar-item.lm-type-separator {
  53. margin: 2px;
  54. padding: 0;
  55. border: none;
  56. border-left: var(--jp-border-width) solid var(--jp-border-color2);
  57. }
  58. .lm-MenuBar-itemMnemonic {
  59. text-decoration: underline;
  60. }
  61. /*-----------------------------------------------------------------------------
  62. | Menu
  63. |----------------------------------------------------------------------------*/
  64. .lm-Menu {
  65. z-index: 10000;
  66. padding: 4px 0px;
  67. background: var(--jp-layout-color0);
  68. color: var(--jp-ui-font-color1);
  69. border: var(--jp-border-width) solid var(--jp-border-color1);
  70. font-size: var(--jp-ui-font-size1);
  71. box-shadow: var(--jp-elevation-z6);
  72. }
  73. .lm-Menu-item {
  74. min-height: var(--jp-private-menu-item-height);
  75. max-height: var(--jp-private-menu-item-height);
  76. padding: 0px;
  77. line-height: var(--jp-private-menu-item-height);
  78. }
  79. .lm-Menu-item.lm-mod-active {
  80. background: var(--jp-layout-color2);
  81. }
  82. .lm-Menu-item.lm-mod-disabled {
  83. color: var(--jp-ui-font-color3);
  84. }
  85. .lm-Menu-itemIcon {
  86. width: 21px;
  87. padding: 0px 2px 0px 4px;
  88. margin-top: -2px;
  89. }
  90. .lm-Menu-itemLabel {
  91. padding: 0px 32px 0px 2px;
  92. }
  93. .lm-Menu-itemMnemonic {
  94. text-decoration: underline;
  95. }
  96. .lm-Menu-itemShortcut {
  97. padding: 0px;
  98. }
  99. .lm-Menu-itemSubmenuIcon {
  100. width: 18px;
  101. padding: 0px 4px 0px 0px;
  102. }
  103. .lm-Menu-item[data-type='separator'] > div {
  104. padding: 0;
  105. height: 9px;
  106. }
  107. .lm-Menu-item[data-type='separator'] > div::after {
  108. content: '';
  109. display: block;
  110. position: relative;
  111. top: 4px;
  112. border-top: var(--jp-border-width) solid var(--jp-layout-color2);
  113. }
  114. /* gray out icon/caret for disable menu items */
  115. .lm-Menu-item.lm-mod-disabled > .lm-Menu-itemIcon,
  116. .lm-Menu-item[data-type='submenu'].lm-mod-disabled > .lm-Menu-itemSubmenuIcon {
  117. opacity: 0.4;
  118. }