[meld/ui-next] ui.findbar: Give our find bar some padding and a top border

[Kai Willadsen <kaiw src gnome org>]

commit cb27549c18e102b4d3b6e868548ddb75d2cb913e
Author: Kai Willadsen <kai willadsen gmail com>
Date:   Sat Mar 2 11:21:55 2019 +1000

    ui.findbar: Give our find bar some padding and a top border

 data/meld.css      | 7 +++++++
 meld/ui/findbar.py | 3 +++
 2 files changed, 10 insertions(+)
---
diff --git a/data/meld.css b/data/meld.css
index 9d2076c3..f36e1a28 100644
--- a/data/meld.css
+++ b/data/meld.css
@@ -29,6 +29,13 @@ action-gutter {
     background-color: @theme_bg_color;
 }
 
+find-bar {
+    padding: 6px;
+    border-width: 1px 0 0 0;
+    border-style: solid;
+    border-color: @borders;
+}
+
 .meld-notebook-child {
     background-color: @theme_bg_color;
 }
diff --git a/meld/ui/findbar.py b/meld/ui/findbar.py
index ed9ad63c..1f4f4091 100644
--- a/meld/ui/findbar.py
+++ b/meld/ui/findbar.py
@@ -181,3 +181,6 @@ class FindBar(Gtk.Grid):
             buf.place_cursor(buf.get_iter_at_mark(buf.get_insert()))
             self.find_entry.get_style_context().add_class("not-found")
             self.wrap_box.set_visible(False)
+
+
+FindBar.set_css_name('find-bar')