GUI improvements

2020-11-02 14:11:56 +01:00
parent 7d5d5f3bb2
commit a2cb3d813e
10 changed files with 41 additions and 25 deletions
--- a/resources/css/style.css
+++ b/resources/css/style.css
@@ -235,4 +235,4 @@ svg.disabled rect{
 	fill: #ddddef;
 	stroke-width:5;
 	stroke: red;
-}
+}