/* This Source Code Form is subject to the terms of the Mozilla Public * License, v. 2.0. If a copy of the MPL was not distributed with this * file, You can obtain one at . */ .search-container { position: absolute; top: 30px; left: 0; width: calc(100% - 1px); height: calc(100% - 31px); display: flex; flex-direction: column; z-index: 20; background-color: var(--theme-body-background); overflow-y: hidden; } .project-text-search { flex-grow: 1; display: flex; flex-direction: column; overflow-y: hidden; height: 100%; } .project-text-search .result { display: contents; cursor: default; padding: 4px 0 4px 5px; line-height: 16px; font-size: 10px; width: 100%; } .project-text-search .matches-summary { margin-left: 5px; } .project-text-search .result { font-family: Menlo, monospace; } .project-text-search .result .query-match { background-color: var(--theme-selection-background); color: white; padding: 1px 4px; margin: 0 2px 0 2px; border-radius: 2px; } .project-text-search .result .line-number { padding-left: 5px; min-width: 33px; width: 100%; text-align: right; grid-column: 1/2; } .project-text-search .result .line-value { grid-column: 2/3; padding-left: 5px; } .project-text-search .tree-indent { display: none; } .project-text-search .no-result-msg { color: var(--theme-body-color-inactive); font-size: 24px; padding: 4px 15px; max-width: 100%; overflow-wrap: break-word; hyphens: auto; } .project-text-search .file-result { font-weight: bold; line-height: 20px; cursor: default; padding: 2px 0 2px 5px; font-size: 12px; grid-column: 1/3; } .project-text-search .file-result .arrow { margin: 2px 0 2px 0; } .project-text-search .line-match { display: "flex"; flex-grow: 1; } .project-text-search .search-field { display: flex; align-self: stretch; flex-grow: 1; } .project-text-search .search-field .close-btn.big { margin-top: 2px; } .project-text-search .managed-tree { overflow-y: auto; height: 100%; } .project-text-search .managed-tree .tree { height: 100%; display: grid; grid-template-columns: auto 1fr; } .project-text-search .managed-tree .tree .tree-node { display: contents; } /* Focus values */ .project-text-search .file-result.focused, .project-text-search .result.focused .line-value { background-color: var(--theme-selection-background); } .project-text-search .result.focused .line-number { font-weight: bolder; background-color: var(--theme-selection-background); } .project-text-search .result.focused .query-match { background-color: #ffffff; color: #000000; }