This repository was archived by the owner on Jan 11, 2023. It is now read-only.
File tree Expand file tree Collapse file tree 1 file changed +16
-12
lines changed
Expand file tree Collapse file tree 1 file changed +16
-12
lines changed Original file line number Diff line number Diff line change 4040 font-family : Menlo, monospace;
4141}
4242
43- .project-text-search .result .focused {
44- background-color : var (--search-overlays-semitransparent );
45- }
46-
4743.project-text-search .result .query-match {
4844 background-color : var (--theme-selection-background );
4945 color : white;
5248 border-radius : 2px ;
5349}
5450
55- .project-text-search .result .focused .line-number {
56- font-weight : bolder;
57- }
58-
5951.project-text-search .result .line-number {
6052 margin-right : 1em ;
6153 width : 2em ;
8375 margin : 2px 0 2px 0 ;
8476}
8577
86- .project-text-search .file-result .focused {
87- background-color : var (--search-overlays-semitransparent );
88- }
89-
9078.project-text-search .line-match {
9179 display : "flex" ;
9280 flex-grow : 1 ;
11098.project-text-search .managed-tree .tree {
11199 height : 100% ;
112100}
101+
102+ /* Focus values */
103+
104+ .project-text-search .file-result .focused ,
105+ .project-text-search .result .focused {
106+ background-color : var (--theme-selection-background );
107+ }
108+
109+ .project-text-search .result .focused .line-number {
110+ font-weight : bolder;
111+ }
112+
113+ .project-text-search .result .focused .query-match {
114+ background-color : # ffffff ;
115+ color : # 000000 ;
116+ }
You can’t perform that action at this time.
0 commit comments