123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250 |
- /*-----------------------------------------------------------------------------
- | Copyright (c) Jupyter Development Team.
- | Distributed under the terms of the Modified BSD License.
- |----------------------------------------------------------------------------*/
- .jp-DocumentSearch-input {
- border: none;
- outline: none;
- font-size: var(--jp-ui-font-size1);
- background-color: var(--jp-layout-color0);
- }
- .jp-DocumentSearch-overlay {
- position: absolute;
- background-color: var(--jp-toolbar-background);
- border-bottom: var(--jp-border-width) solid var(--jp-toolbar-border-color);
- border-left: var(--jp-border-width) solid var(--jp-toolbar-border-color);
- top: 0;
- right: 0;
- z-index: 7;
- min-width: 405px;
- padding: 2px;
- font-size: var(--jp-ui-font-size1);
- }
- .jp-DocumentSearch-overlay button {
- background-color: var(--jp-toolbar-background);
- outline: 0;
- }
- .jp-DocumentSearch-overlay button:hover {
- background-color: var(--jp-layout-color2);
- }
- .jp-DocumentSearch-overlay button:active {
- background-color: var(--jp-layout-color3);
- }
- .jp-DocumentSearch-overlay-row {
- display: flex;
- align-items: center;
- margin-bottom: 2px;
- }
- .jp-DocumentSearch-overlay * {
- color: var(--jp-ui-font-color0);
- background-position: center;
- }
- .jp-DocumentSearch-button-content {
- display: inline-block;
- cursor: pointer;
- box-sizing: border-box;
- width: 100%;
- height: 100%;
- }
- .jp-DocumentSearch-input-wrapper {
- border: var(--jp-border-width) solid var(--jp-border-color0);
- display: flex;
- background-color: var(--jp-layout-color0);
- margin: 2px;
- }
- .jp-DocumentSearch-focused-input {
- border: var(--jp-border-width) solid var(--jp-cell-editor-active-border-color);
- }
- .jp-DocumentSearch-input-wrapper * {
- background-color: var(--jp-layout-color0);
- }
- .jp-DocumentSearch-toggle-wrapper,
- .jp-DocumentSearch-button-wrapper {
- all: initial;
- overflow: hidden;
- display: inline-block;
- border: none;
- box-sizing: border-box;
- background-repeat: no-repeat;
- }
- .jp-DocumentSearch-toggle-wrapper {
- width: 14px;
- height: 14px;
- }
- .jp-DocumentSearch-button-wrapper {
- width: 20px;
- height: 20px;
- }
- .jp-DocumentSearch-toggle-wrapper:focus,
- .jp-DocumentSearch-button-wrapper:focus {
- outline: var(--jp-border-width) solid
- var(--jp-cell-editor-active-border-color);
- outline-offset: -1px;
- }
- .jp-DocumentSearch-toggle-wrapper,
- .jp-DocumentSearch-button-wrapper,
- .jp-DocumentSearch-button-content:focus {
- outline: none;
- }
- .jp-DocumentSearch-toggle-placeholder {
- width: 5px;
- }
- .jp-DocumentSearch-input-button:before {
- display: block;
- padding-top: 100%;
- }
- .jp-DocumentSearch-input-button-off {
- opacity: var(--jp-search-toggle-off-opacity);
- }
- .jp-DocumentSearch-input-button-off:hover {
- opacity: var(--jp-search-toggle-hover-opacity);
- }
- .jp-DocumentSearch-input-button-on {
- opacity: var(--jp-search-toggle-on-opacity);
- }
- .jp-DocumentSearch-index-counter {
- padding-left: 10px;
- padding-right: 10px;
- user-select: none;
- min-width: 43px;
- display: inline-block;
- }
- .jp-DocumentSearch-up-down-wrapper {
- display: inline-block;
- padding-right: 2px;
- margin-left: auto;
- white-space: nowrap;
- }
- .jp-DocumentSearch-spacer {
- margin-left: auto;
- }
- .jp-DocumentSearch-up-down-wrapper button {
- outline: 0;
- border: none;
- width: 20px;
- height: 20px;
- background-repeat: no-repeat;
- background-position: center;
- vertical-align: middle;
- margin: 1px 5px 2px;
- }
- .jp-DocumentSearch-up-down-button {
- border-radius: var(--jp-border-radius);
- }
- .jp-DocumentSearch-up-down-button:hover {
- background-color: var(--jp-layout-color2);
- }
- .jp-DocumentSearch-up-down-button:active {
- background-color: var(--jp-layout-color3);
- }
- .jp-DocumentSearch-ellipses-button {
- border-radius: var(--jp-border-radius);
- }
- .jp-DocumentSearch-ellipses-button:hover {
- background-color: var(--jp-layout-color2);
- }
- .jp-DocumentSearch-ellipses-button-enabled {
- background-color: var(--jp-layout-color3);
- }
- .jp-DocumentSearch-ellipses-button-enabled:hover {
- background-color: var(--jp-layout-color2);
- }
- .jp-DocumentSearch-search-options {
- padding: 0 8px;
- margin-left: 3px;
- width: 200px;
- display: block;
- }
- .jp-DocumentSearch-search-options-disabled {
- color: var(--jp-ui-font-color2);
- }
- .jp-DocumentSearch-search-options input {
- float: right;
- }
- .jp-DocumentSearch-regex-error {
- color: var(--jp-error-color0);
- }
- .jp-DocumentSearch-replace-entry {
- border: var(--jp-border-width) solid var(--jp-border-color0);
- display: flex;
- background-color: var(--jp-layout-color0);
- font-size: var(--jp-ui-font-size1);
- margin: 2px;
- }
- .jp-DocumentSearch-replace-button-wrapper {
- overflow: hidden;
- display: inline-block;
- box-sizing: border-box;
- border: var(--jp-border-width) solid var(--jp-border-color0);
- margin: 2px;
- }
- .jp-DocumentSearch-replace-entry:focus,
- .jp-DocumentSearch-replace-button-wrapper:focus {
- border: var(--jp-border-width) solid var(--jp-cell-editor-active-border-color);
- }
- .jp-DocumentSearch-replace-button {
- display: inline-block;
- text-align: center;
- cursor: pointer;
- box-sizing: border-box;
- color: var(--jp-font-color1);
- width: 100%;
- height: 100%;
- }
- .jp-DocumentSearch-replace-button:focus {
- outline: none;
- }
- .jp-DocumentSearch-replace-wrapper-class {
- margin-left: 14px;
- display: flex;
- }
- .jp-DocumentSearch-replace-toggle {
- border: none;
- background-color: var(--jp-toolbar-background);
- border-radius: var(--jp-border-radius);
- }
- .jp-DocumentSearch-replace-toggle:hover {
- background-color: var(--jp-layout-color2);
- }
|