Highlight archived labels (#29680)

the issue is, that you can not distinguish between normal and archived
labels.

So this will make archived labels 80% **grayscale**. And prepend
"Archived: " to the tooltip info


![image](fd77c4d2-eff5-4afd-9bfa-19cb9991c5e7)

![image](2e0f30e5-f301-4c9c-8e9f-677298d90b27)

![image](53d70abf-b306-453d-aa95-a3a035b19a33)

![image](6020e5f5-2364-4807-979f-37dffa8735e5)


---
*Sponsored by Kithara Software GmbH*

---------

Co-authored-by: delvh <dev.lh@web.de>

web_src/css/repo.css

@@ -2417,6 +2417,10 @@
   gap: 0 !important;
 }
 
+.archived-label {
+  filter: grayscale(0.8);
+}
+
 .ui.label.scope-left {
   border-bottom-right-radius: 0;
   border-top-right-radius: 0;