commandpalette.css 5.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205
  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-commandpalette-search-height: 28px;
  10. }
  11. /*-----------------------------------------------------------------------------
  12. | Overall styles
  13. |----------------------------------------------------------------------------*/
  14. .p-CommandPalette {
  15. padding-bottom: 0px;
  16. color: var(--jp-ui-font-color1);
  17. background: var(--jp-layout-color1);
  18. /* This is needed so that all font sizing of children done in ems is
  19. * relative to this base size */
  20. font-size: var(--jp-ui-font-size1);
  21. }
  22. /*-----------------------------------------------------------------------------
  23. | Search
  24. |----------------------------------------------------------------------------*/
  25. .p-CommandPalette-search {
  26. padding: 8px;
  27. background-color: var(--jp-layout-color2);
  28. border-bottom: 1px solid var(--jp-border-color1);
  29. box-shadow: var(--jp-toolbar-box-shadow);
  30. z-index: 2;
  31. }
  32. .p-CommandPalette-wrapper {
  33. overflow: overlay;
  34. padding: 0px 8px;
  35. border: 1px solid var(--jp-border-color0);
  36. background-color: var(--jp-input-active-background);
  37. height: 30px;
  38. }
  39. .p-CommandPalette.p-mod-focused .p-CommandPalette-wrapper {
  40. border: var(--jp-border-width) solid var(--md-blue-500);
  41. box-shadow: inset 0 0 4px var(--md-blue-300);
  42. }
  43. .p-CommandPalette-wrapper::after {
  44. content: ' ';
  45. color: white;
  46. background-color: var(--jp-brand-color1);
  47. position: absolute;
  48. top: 8px;
  49. right: 8px;
  50. height: 32px;
  51. width: 12px;
  52. padding: 0px 12px;
  53. background-image: var(--jp-icon-search-white);
  54. background-size: 20px;
  55. background-repeat: no-repeat;
  56. background-position: center;
  57. }
  58. .p-CommandPalette-input {
  59. background: transparent;
  60. width: calc(100% - 18px);
  61. float: left;
  62. border: none;
  63. outline: none;
  64. font-size: var(--jp-ui-font-size1);
  65. color: var(--jp-ui-font-color0);
  66. line-height: var(--jp-private-commandpalette-search-height);
  67. }
  68. .p-CommandPalette-input::-webkit-input-placeholder {
  69. color: var(--jp-ui-font-color3);
  70. font-size: var(--jp-ui-font-size1);
  71. }
  72. .p-CommandPalette-input::-moz-placeholder {
  73. color: var(--jp-ui-font-color3);
  74. font-size: var(--jp-ui-font-size1);
  75. }
  76. .p-CommandPalette-input:-ms-input-placeholder {
  77. color: var(--jp-ui-font-color3);
  78. font-size: var(--jp-ui-font-size1);
  79. }
  80. /*-----------------------------------------------------------------------------
  81. | Results
  82. |----------------------------------------------------------------------------*/
  83. .p-CommandPalette-header {
  84. padding: 12px 0 4px 22px;
  85. color: var(--jp-ui-font-color1);
  86. font-size: var(--jp-ui-font-size0);
  87. font-weight: 600;
  88. cursor: pointer;
  89. text-transform: uppercase;
  90. border-bottom: solid var(--jp-border-width) var(--jp-border-color2);
  91. letter-spacing: 1px;
  92. }
  93. .p-CommandPalette-header.p-mod-active {
  94. background: var(--jp-layout-color2);
  95. }
  96. .p-CommandPalette-header:hover::before {
  97. content: '\2026'; /* ellipsis */
  98. float: right;
  99. margin-right: 4px;
  100. }
  101. .p-CommandPalette-header > mark {
  102. background-color: transparent;
  103. font-weight: bold;
  104. }
  105. .p-CommandPalette-item {
  106. padding: 4px 12px 4px 4px;
  107. color: var(--jp-ui-font-color1);
  108. font-size: var(--jp-ui-font-size1);
  109. font-weight: 400;
  110. display: flex;
  111. }
  112. .p-CommandPalette-item.p-mod-disabled {
  113. color: var(--jp-ui-font-color3);
  114. }
  115. .p-CommandPalette-item.p-mod-active {
  116. background: var(--jp-layout-color3);
  117. }
  118. .p-CommandPalette-item:hover:not(.p-mod-active):not(.p-mod-disabled) {
  119. background: var(--jp-layout-color2);
  120. }
  121. .p-CommandPalette-itemContent {
  122. overflow: hidden;
  123. }
  124. .p-CommandPalette-itemLabel > mark {
  125. color: var(--jp-ui-font-color0);
  126. background-color: transparent;
  127. font-weight: bold;
  128. }
  129. .p-CommandPalette-item.p-mod-disabled mark {
  130. color: rgba(0, 0, 0, 0.4);
  131. }
  132. .p-CommandPalette-item.p-mod-toggled .p-CommandPalette-itemIcon {
  133. background-image: var(--jp-icon-checkmark);
  134. background-size: 16px;
  135. background-repeat: no-repeat;
  136. }
  137. .p-CommandPalette-item .p-CommandPalette-itemIcon {
  138. padding: 0px 0px 0px 4px;
  139. position: relative;
  140. width: 16px;
  141. top: 2px;
  142. flex: 0 0 auto;
  143. }
  144. .p-CommandPalette-item.p-mod-disabled .p-CommandPalette-itemIcon {
  145. opacity: 0.4;
  146. }
  147. .p-CommandPalette-item .p-CommandPalette-itemShortcut {
  148. flex: 0 0 auto;
  149. }
  150. .p-CommandPalette-itemCaption {
  151. display: none;
  152. }
  153. .p-CommandPalette-content {
  154. background-color: var(--jp-layout-color1);
  155. }
  156. .p-CommandPalette-content:empty:after {
  157. content: 'No results';
  158. margin: auto;
  159. margin-top: 20px;
  160. width: 100px;
  161. display: block;
  162. font-size: var(--jp-ui-font-size2);
  163. font-family: var(--jp-ui-font-family);
  164. font-weight: lighter;
  165. }
  166. .p-CommandPalette-emptyMessage {
  167. text-align: center;
  168. margin-top: 24px;
  169. line-height: 1.32;
  170. padding: 0px 8px;
  171. color: var(--jp-content-font-color3);
  172. }