base.css 5.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. .jp-DocumentSearch-input {
  6. border: none;
  7. outline: none;
  8. font-size: var(--jp-ui-font-size1);
  9. background-color: var(--jp-layout-color0);
  10. }
  11. .jp-DocumentSearch-overlay {
  12. position: absolute;
  13. background-color: var(--jp-toolbar-background);
  14. border-bottom: var(--jp-border-width) solid var(--jp-toolbar-border-color);
  15. border-left: var(--jp-border-width) solid var(--jp-toolbar-border-color);
  16. top: 0;
  17. right: 0;
  18. z-index: 7;
  19. min-width: 405px;
  20. padding: 2px;
  21. font-size: var(--jp-ui-font-size1);
  22. }
  23. .jp-DocumentSearch-overlay button {
  24. background-color: var(--jp-toolbar-background);
  25. outline: 0;
  26. }
  27. .jp-DocumentSearch-overlay button:hover {
  28. background-color: var(--jp-layout-color2);
  29. }
  30. .jp-DocumentSearch-overlay button:active {
  31. background-color: var(--jp-layout-color3);
  32. }
  33. .jp-DocumentSearch-overlay-row {
  34. display: flex;
  35. align-items: center;
  36. margin-bottom: 2px;
  37. }
  38. .jp-DocumentSearch-overlay * {
  39. color: var(--jp-ui-font-color0);
  40. background-position: center;
  41. }
  42. .jp-DocumentSearch-button-content {
  43. display: inline-block;
  44. cursor: pointer;
  45. box-sizing: border-box;
  46. width: 100%;
  47. height: 100%;
  48. }
  49. .jp-DocumentSearch-input-wrapper {
  50. border: var(--jp-border-width) solid var(--jp-border-color0);
  51. display: flex;
  52. background-color: var(--jp-layout-color0);
  53. margin: 2px;
  54. }
  55. .jp-DocumentSearch-focused-input {
  56. border: var(--jp-border-width) solid var(--jp-cell-editor-active-border-color);
  57. }
  58. .jp-DocumentSearch-input-wrapper * {
  59. background-color: var(--jp-layout-color0);
  60. }
  61. .jp-DocumentSearch-toggle-wrapper,
  62. .jp-DocumentSearch-button-wrapper {
  63. all: initial;
  64. overflow: hidden;
  65. display: inline-block;
  66. border: none;
  67. box-sizing: border-box;
  68. background-repeat: no-repeat;
  69. }
  70. .jp-DocumentSearch-toggle-wrapper {
  71. width: 14px;
  72. height: 14px;
  73. }
  74. .jp-DocumentSearch-button-wrapper {
  75. width: 20px;
  76. height: 20px;
  77. }
  78. .jp-DocumentSearch-toggle-wrapper:focus,
  79. .jp-DocumentSearch-button-wrapper:focus {
  80. outline: var(--jp-border-width) solid
  81. var(--jp-cell-editor-active-border-color);
  82. outline-offset: -1px;
  83. }
  84. .jp-DocumentSearch-toggle-wrapper,
  85. .jp-DocumentSearch-button-wrapper,
  86. .jp-DocumentSearch-button-content:focus {
  87. outline: none;
  88. }
  89. .jp-DocumentSearch-toggle-placeholder {
  90. width: 5px;
  91. }
  92. .jp-DocumentSearch-input-button:before {
  93. display: block;
  94. padding-top: 100%;
  95. }
  96. .jp-DocumentSearch-input-button-off {
  97. opacity: var(--jp-search-toggle-off-opacity);
  98. }
  99. .jp-DocumentSearch-input-button-off:hover {
  100. opacity: var(--jp-search-toggle-hover-opacity);
  101. }
  102. .jp-DocumentSearch-input-button-on {
  103. opacity: var(--jp-search-toggle-on-opacity);
  104. }
  105. .jp-DocumentSearch-index-counter {
  106. padding-left: 10px;
  107. padding-right: 10px;
  108. user-select: none;
  109. min-width: 43px;
  110. display: inline-block;
  111. }
  112. .jp-DocumentSearch-up-down-wrapper {
  113. display: inline-block;
  114. padding-right: 2px;
  115. margin-left: auto;
  116. white-space: nowrap;
  117. }
  118. .jp-DocumentSearch-spacer {
  119. margin-left: auto;
  120. }
  121. .jp-DocumentSearch-up-down-wrapper button {
  122. outline: 0;
  123. border: none;
  124. width: 20px;
  125. height: 20px;
  126. background-repeat: no-repeat;
  127. background-position: center;
  128. vertical-align: middle;
  129. margin: 1px 5px 2px;
  130. }
  131. .jp-DocumentSearch-up-down-button {
  132. border-radius: var(--jp-border-radius);
  133. }
  134. .jp-DocumentSearch-up-down-button:hover {
  135. background-color: var(--jp-layout-color2);
  136. }
  137. .jp-DocumentSearch-up-down-button:active {
  138. background-color: var(--jp-layout-color3);
  139. }
  140. .jp-DocumentSearch-ellipses-button {
  141. border-radius: var(--jp-border-radius);
  142. }
  143. .jp-DocumentSearch-ellipses-button:hover {
  144. background-color: var(--jp-layout-color2);
  145. }
  146. .jp-DocumentSearch-ellipses-button-enabled {
  147. background-color: var(--jp-layout-color3);
  148. }
  149. .jp-DocumentSearch-ellipses-button-enabled:hover {
  150. background-color: var(--jp-layout-color2);
  151. }
  152. .jp-DocumentSearch-search-options {
  153. padding: 0 8px;
  154. margin-left: 3px;
  155. width: 200px;
  156. display: block;
  157. }
  158. .jp-DocumentSearch-search-options-disabled {
  159. color: var(--jp-ui-font-color2);
  160. }
  161. .jp-DocumentSearch-search-options input {
  162. float: right;
  163. }
  164. .jp-DocumentSearch-regex-error {
  165. color: var(--jp-error-color0);
  166. }
  167. .jp-DocumentSearch-replace-entry {
  168. border: var(--jp-border-width) solid var(--jp-border-color0);
  169. display: flex;
  170. background-color: var(--jp-layout-color0);
  171. font-size: var(--jp-ui-font-size1);
  172. margin: 2px;
  173. }
  174. .jp-DocumentSearch-replace-button-wrapper {
  175. overflow: hidden;
  176. display: inline-block;
  177. box-sizing: border-box;
  178. border: var(--jp-border-width) solid var(--jp-border-color0);
  179. margin: 2px;
  180. }
  181. .jp-DocumentSearch-replace-entry:focus,
  182. .jp-DocumentSearch-replace-button-wrapper:focus {
  183. border: var(--jp-border-width) solid var(--jp-cell-editor-active-border-color);
  184. }
  185. .jp-DocumentSearch-replace-button {
  186. display: inline-block;
  187. text-align: center;
  188. cursor: pointer;
  189. box-sizing: border-box;
  190. color: var(--jp-font-color1);
  191. width: 100%;
  192. height: 100%;
  193. }
  194. .jp-DocumentSearch-replace-button:focus {
  195. outline: none;
  196. }
  197. .jp-DocumentSearch-replace-wrapper-class {
  198. margin-left: 14px;
  199. display: flex;
  200. }
  201. .jp-DocumentSearch-replace-toggle {
  202. border: none;
  203. background-color: var(--jp-toolbar-background);
  204. border-radius: var(--jp-border-radius);
  205. }
  206. .jp-DocumentSearch-replace-toggle:hover {
  207. background-color: var(--jp-layout-color2);
  208. }