[gtranslator/merge-requests/61: 7/20] Add search-and-replace-bar css to src/styles.css

[Daniel Garcia Moreno <danigm src gnome org>]

commit 2cd3e85d401601f87977be42dd346c331dcb828f
Author: Priyanka Saggu <priyankasggu11929 gmail com>
Date:   Wed Jan 8 19:20:30 2020 +0530

    Add search-and-replace-bar css to src/styles.css

 src/styles.css | 51 +++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 51 insertions(+)
---
diff --git a/src/styles.css b/src/styles.css
index 0abd42b3..ab0bb794 100644
--- a/src/styles.css
+++ b/src/styles.css
@@ -39,3 +39,54 @@
 #info_label.info {
   color: @theme_fg_color;
 }
+
+/* This file contains styling for various search widgets */
+.search-frame {
+  background-image: linear-gradient(shade(@theme_bg_color,1.05), @theme_bg_color);
+  padding: 6px;
+  border-style: solid;
+  border-color: @borders;
+  border-left-width: 1px;
+  border-right-width: 1px;
+  border-bottom-width: 1px;
+  border-bottom-left-radius: 5px;
+  border-bottom-right-radius: 5px;
+  box-shadow: 0px 0 3px @borders;
+  margin: 0 10px 20px 10px;
+}
+frame.search-frame border {
+  border: none;
+}
+.search-frame > box > grid:first-child > button.close:disabled,
+.search-frame > box > grid:first-child > button.close {
+  background: none;
+  border: none;
+  box-shadow: none;
+  padding-left: 4px;
+  padding-right: 4px;
+}
+.search-frame > box > grid:first-child > button.close image {
+  color: @theme_fg_color;
+  opacity: 0.3;
+  margin: 2px;
+  border: 1px solid transparent;
+  border-radius: 3px;
+}
+.search-frame > box > grid:first-child > button.close:hover image {
+  opacity: 0.75;
+  transition-duration: 250ms;
+  border: 1px solid @borders;
+}
+.search-frame > box > grid:first-child > button.close:active image {
+  opacity: 0.8;
+  background-image: linear-gradient(shade(@theme_bg_color, 0.9), @theme_bg_color);
+}
+.search-frame > box > grid:first-child > button.close:backdrop image {
+  opacity: 0.1;
+}
+.search-occurrences-tag {
+    color: shade (@theme_unfocused_fg_color, 0.8);
+    border: 0px;
+    margin: 2px;
+    padding: 2px;
+}