From 161ee270cbcec4cf310fc84e3b0965af666da147 Mon Sep 17 00:00:00 2001
From: Jeremy Kescher <jeremy@kescher.at>
Date: Wed, 29 Jan 2020 11:51:45 +0100
Subject: [PATCH] Better border style

---
 lib/serverlist.dart | 21 +++++++--------------
 1 file changed, 7 insertions(+), 14 deletions(-)

diff --git a/lib/serverlist.dart b/lib/serverlist.dart
index 2529951..0d0a49a 100644
--- a/lib/serverlist.dart
+++ b/lib/serverlist.dart
@@ -354,15 +354,12 @@ class _ServerListState extends State<ServerList> {
         },
         child: Container(
             width: MediaQuery.of(context).size.width,
-            margin: EdgeInsets.all(2.0),
+            margin: EdgeInsets.fromLTRB(0, 0, 0, 2),
             padding: EdgeInsets.all(10.0),
             decoration: BoxDecoration(
-              color: Colors.white70,
-              border: Border.all(
-                color: Colors.grey,
-                width: 1,
-              ),
-            ),
+                color: Colors.white70,
+                border:
+                    Border(bottom: BorderSide(color: Colors.grey, width: 2))),
             child: info),
       );
     });
@@ -370,15 +367,11 @@ class _ServerListState extends State<ServerList> {
       Container(
         height: 75,
         width: MediaQuery.of(context).size.width,
-        margin: EdgeInsets.all(2.0),
+        margin: EdgeInsets.fromLTRB(0, 0, 0, 2),
         padding: EdgeInsets.all(10.0),
         decoration: BoxDecoration(
-          color: Colors.white70,
-          border: Border.all(
-            color: Colors.grey,
-            width: 1,
-          ),
-        ),
+            color: Colors.white70,
+            border: Border(bottom: BorderSide(color: Colors.grey, width: 2))),
         child: IconButton(
           icon: Icon(
             Icons.add,
-- 
2.47.1