From b7b8426ff2ad5f858c6e561fe9759710b70df3aa Mon Sep 17 00:00:00 2001
From: "Hahn Axel (hahn)" <axel.hahn@unibe.ch>
Date: Tue, 28 Nov 2023 16:28:36 +0100
Subject: [PATCH] round border in project overview
---
public_html/deployment/main.css | 1 +
1 file changed, 1 insertion(+)
diff --git a/public_html/deployment/main.css b/public_html/deployment/main.css
index 2b1d01c8..e01d3b8c 100644
--- a/public_html/deployment/main.css
+++ b/public_html/deployment/main.css
@@ -634,6 +634,7 @@ input[type="checkbox"]:checked+label {
.visualprocess .process.box {
border: 2px dotted #abc;
+ border-radius: 0.5em;
padding: 0.5em;
min-height: 16em;
}
--
GitLab