From 38735ed0ae31d4740b28b991e4a9ebe8bf7fd65e Mon Sep 17 00:00:00 2001
From: Nils Maier <maierman@web.de>
Date: Thu, 5 Sep 2019 07:39:19 +0200
Subject: [PATCH] Make progress bar a little round

---
 style/manager.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/style/manager.css b/style/manager.css
index d524ce2..b5714d1 100644
--- a/style/manager.css
+++ b/style/manager.css
@@ -154,6 +154,10 @@ body > * {
   height: 26px;
 }
 
+.virtualtable-progress-container {
+  border-radius: 2px;
+}
+
 .virtualtable-progress-bar {
   height: 14px;
 }