From 58de40d47bf1a02bda35849fb48524793190178e Mon Sep 17 00:00:00 2001
From: Thomas Schneider <thomas@fsmpi.rwth-aachen.de>
Date: Mon, 16 Sep 2024 19:09:31 +0200
Subject: [PATCH] Really use pointer cursors for links

---
 frontend/src/main.less | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/frontend/src/main.less b/frontend/src/main.less
index 2782dd9..9e783ee 100644
--- a/frontend/src/main.less
+++ b/frontend/src/main.less
@@ -82,7 +82,9 @@ a {
 	}
 	&:hover {
 		text-decoration: underline;
-		cursor: pointer;
+		&, label {
+			cursor: pointer;
+		}
 	}
 }
 
-- 
GitLab