[file-roller/wip/gtk4: 23/54] css: moved the border to extra-widget

[Paolo Bacchilega <paobac src gnome org>]

commit 9ef21a6b4512b3f3f2af46fd0db5fb8537f5ba93
Author: Paolo Bacchilega <paobac src gnome org>
Date:   Sat Oct 1 14:08:45 2022 +0200

    css: moved the border to extra-widget

 src/ui/app.css          | 8 --------
 src/ui/file-selector.ui | 3 ---
 2 files changed, 11 deletions(-)
---
diff --git a/src/ui/app.css b/src/ui/app.css
index db9fcb2e..4f0049af 100644
--- a/src/ui/app.css
+++ b/src/ui/app.css
@@ -5,13 +5,5 @@
 
 .extra-widget {
        padding: 15px;
-}
-
-.border-bottom {
-       border-bottom: 1px solid @borders;
-}
-
-.borders-top-bottom {
        border-top: 1px solid @borders;
-       border-bottom: 1px solid @borders;
 }
diff --git a/src/ui/file-selector.ui b/src/ui/file-selector.ui
index 84ee17f5..6a868f6e 100644
--- a/src/ui/file-selector.ui
+++ b/src/ui/file-selector.ui
@@ -52,9 +52,6 @@
         <property name="orientation">vertical</property>
         <child>
           <object class="GtkPaned" id="main_paned">
-            <style>
-              <class name="border-bottom"/>
-            </style>
             <property name="vexpand">1</property>
             <property name="resize-start-child">0</property>
             <property name="focusable">1</property>