From be5690593bc7046d84a15587c343d4a3d495b985 Mon Sep 17 00:00:00 2001
From: Arun Isaac
Date: Sat, 23 Jul 2022 23:56:25 +0530
Subject: web: server: Style document type identifiers without color.

* tissue/web/server.scm (%css)[.document-type]: Remove font-size,
padding, background-color and color properties.
[.open-issue-document-type]: Remove background-color property.
---
 tissue/web/server.scm | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/tissue/web/server.scm b/tissue/web/server.scm
index 0d45578..a3b713e 100644
--- a/tissue/web/server.scm
+++ b/tissue/web/server.scm
@@ -76,14 +76,9 @@ form { text-align: center; }
 }
 .search-result a { text-decoration: none; }
 .document-type {
-    font-size: xx-small;
     font-weight: bold;
-    padding: 0 0.2em;
-    background-color: darkmagenta;
-    color: white;
     text-transform: uppercase;
 }
-.open-issue-document-type { background-color: green; }
 .search-result-metadata {
     color: dimgray;
     font-size: smaller;
-- 
cgit v1.2.3