menus.css 3.5 KB

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