@@ -711,40 +711,47 @@ ins.jstree-icon {
711711 .code-font ();
712712}
713713
714- /* Styles for the search dialog--this is temporary, only for debugging */
714+
715+ /* Find & Replace search bars - temporary UI, to be replaced with a richer search feature later */
715716
716717.CodeMirror-dialog {
717- position : relative ;
718- z-index : @z-index-cm-dialog-override ;
718+ position : relative ;
719+ z-index : @z-index-cm-dialog-override ;
719720}
720721
721722.CodeMirror-dialog > div {
722- font-family : @fontstack-sans-serif ;
723- position : absolute ;
724- top : 0 ; left : 0 ; right : 0 ;
725- background : @background-color-2 ;
726- color : @content-color ;
727- border-bottom : 1px solid @bc-gray ;
728- .box-shadow (0 1px 3px 0 fadeout (@bc-black , 70% ));
729- z-index : 1 ;
730- padding : .5em .8em ;
731- overflow : hidden ;
723+ font-family : @fontstack-sans-serif ;
724+ position : absolute ;
725+ top : 0 ; left : 0 ; right : 0 ;
726+ background : @background-color-2 ;
727+ color : @content-color ;
728+ border-bottom : 1px solid @bc-gray ;
729+ .box-shadow (0 1px 3px 0 fadeout (@bc-black , 70% ));
730+ z-index : 1 ;
731+ padding : .5em .8em ;
732+ overflow : hidden ;
732733}
733734
734735.CodeMirror-dialog input {
735- font-family : @fontstack-sans-serif ;
736- border : 1px solid @content-color-weaker ;
737- outline : none ;
738- background : @background-color-3 ;
739- width : 20em ;
740- margin : .3em .3em ;
741- color : inherit ;
736+ font-family : @fontstack-sans-serif ;
737+ border : 1px solid @content-color-weaker ;
738+ outline : none ;
739+ background : @background-color-3 ;
740+ width : 20em ;
741+ margin : .3em .3em ;
742+ color : inherit ;
743+ & .no-results {
744+ background-color : mix (@background-color-3 , #FF0000 , 70% );
745+ }
742746}
743747
744748.CodeMirror-searching {
745- background-color : inherit ;
749+ background-color : inherit ;
746750}
747751
752+
753+ /* Quick Open search bar & dropdown */
754+
748755.smart_autocomplete_container {
749756
750757 border : 1px solid #999 ;
@@ -772,8 +779,4 @@ ins.jstree-icon {
772779
773780li .smart_autocomplete_highlight {
774781 background-color : #e0f0fa ;
775- }
776-
777- .clickable-link {
778- cursor : pointer ;
779- }
782+ }
0 commit comments