index.css 5.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230
  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: 300px;
  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-row {
  28. display: flex;
  29. align-items: center;
  30. margin-bottom: 2px;
  31. }
  32. .jp-DocumentSearch-overlay * {
  33. color: var(--jp-ui-font-color0);
  34. background-position: center;
  35. }
  36. .jp-DocumentSearch-button-content {
  37. display: inline-block;
  38. cursor: pointer;
  39. box-sizing: border-box;
  40. width: 100%;
  41. height: 100%;
  42. }
  43. .jp-DocumentSearch-input-wrapper {
  44. border: var(--jp-border-width) solid var(--jp-border-color0);
  45. display: flex;
  46. background-color: var(--jp-layout-color0);
  47. margin: 2px;
  48. }
  49. .jp-DocumentSearch-focused-input {
  50. border: var(--jp-border-width) solid var(--jp-cell-editor-active-border-color);
  51. }
  52. .jp-DocumentSearch-input-wrapper * {
  53. background-color: var(--jp-layout-color0);
  54. }
  55. .jp-DocumentSearch-toggle-wrapper,
  56. .jp-DocumentSearch-button-wrapper {
  57. all: initial;
  58. overflow: hidden;
  59. display: inline-block;
  60. border: none;
  61. box-sizing: border-box;
  62. background-repeat: no-repeat;
  63. }
  64. .jp-DocumentSearch-toggle-wrapper {
  65. width: 14px;
  66. height: 14px;
  67. }
  68. .jp-DocumentSearch-button-wrapper {
  69. width: 20px;
  70. height: 20px;
  71. }
  72. .jp-DocumentSearch-toggle-wrapper:focus,
  73. .jp-DocumentSearch-button-wrapper:focus {
  74. outline: var(--jp-border-width) solid
  75. var(--jp-cell-editor-active-border-color);
  76. outline-offset: -1px;
  77. }
  78. .jp-DocumentSearch-toggle-wrapper,
  79. .jp-DocumentSearch-button-wrapper,
  80. .jp-DocumentSearch-button-content:focus {
  81. outline: none;
  82. }
  83. .jp-DocumentSearch-toggle-placeholder {
  84. width: 5px;
  85. }
  86. .jp-DocumentSearch-regex-button {
  87. background-image: var(--jp-icon-search-regex);
  88. }
  89. .jp-DocumentSearch-case-button {
  90. background-image: var(--jp-icon-search-case-sensitive);
  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. }
  116. .jp-DocumentSearch-up-down-wrapper button {
  117. outline: 0;
  118. border: none;
  119. width: 20px;
  120. height: 20px;
  121. background-repeat: no-repeat;
  122. background-position: center;
  123. vertical-align: middle;
  124. margin: 1px 7px 2px;
  125. }
  126. .jp-DocumentSearch-up-button {
  127. background-image: var(--jp-icon-search-arrow-up);
  128. }
  129. .jp-DocumentSearch-down-button {
  130. background-image: var(--jp-icon-search-arrow-down);
  131. }
  132. .jp-DocumentSearch-close-button {
  133. display: inline-block;
  134. background-size: 16px;
  135. background-image: var(--jp-icon-close);
  136. background-repeat: no-repeat;
  137. background-position: center;
  138. vertical-align: middle;
  139. }
  140. .jp-DocumentSearch-close-button:hover {
  141. background-size: 16px;
  142. background-image: var(--jp-icon-close-circle);
  143. }
  144. .jp-DocumentSearch-regex-error {
  145. color: var(--jp-error-color0);
  146. }
  147. .jp-DocumentSearch-replace-entry {
  148. border: var(--jp-border-width) solid var(--jp-border-color0);
  149. display: flex;
  150. background-color: var(--jp-layout-color0);
  151. font-size: var(--jp-ui-font-size1);
  152. width: 186px;
  153. margin: 2px;
  154. }
  155. .jp-DocumentSearch-replace-button-wrapper {
  156. overflow: hidden;
  157. display: inline-block;
  158. box-sizing: border-box;
  159. border: var(--jp-border-width) solid var(--jp-border-color0);
  160. margin: 2px;
  161. }
  162. .jp-DocumentSearch-replace-entry:focus,
  163. .jp-DocumentSearch-replace-button-wrapper:focus {
  164. border: var(--jp-border-width) solid var(--jp-cell-editor-active-border-color);
  165. }
  166. .jp-DocumentSearch-replace-button {
  167. display: inline-block;
  168. text-align: center;
  169. cursor: pointer;
  170. box-sizing: border-box;
  171. background-color: var(--jp-toolbar-background);
  172. color: var(--jp-font-color1);
  173. width: 100%;
  174. height: 100%;
  175. }
  176. .jp-DocumentSearch-replace-button:focus {
  177. outline: none;
  178. }
  179. .jp-DocumentSearch-replace-wrapper-class {
  180. margin-left: 14px;
  181. display: flex;
  182. }
  183. .jp-DocumentSearch-replace-toggle-collapsed,
  184. .jp-DocumentSearch-replace-toggle-expanded {
  185. border: none;
  186. background-color: var(--jp-toolbar-background);
  187. }
  188. .jp-DocumentSearch-replace-toggle-collapsed {
  189. background-image: var(--jp-image-caretright);
  190. }
  191. .jp-DocumentSearch-replace-toggle-expanded {
  192. background-image: var(--jp-image-caretdown);
  193. }