From 22dd47479942a7d477c9ba1d3ac562e133d23c3f Mon Sep 17 00:00:00 2001
From: Julian Descottes <julian.descottes@gmail.com>
Date: Thu, 22 Dec 2016 22:33:04 +0100
Subject: [PATCH] add border radius to settings export tabs

---
 src/css/settings-export.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/css/settings-export.css b/src/css/settings-export.css
index 0c475dff..b667c0d7 100644
--- a/src/css/settings-export.css
+++ b/src/css/settings-export.css
@@ -121,6 +121,7 @@
   cursor: pointer;
   padding: 5px;
   border: 1px solid transparent;
+  border-radius: 2px 2px 0 0;
   /* Make sure the tab and its border are positioned above the :after element; */
   position: relative;
   z-index: 1;