From 51625991ab841e7f7262090b4d21558d00606a0c Mon Sep 17 00:00:00 2001 From: Arun Isaac Date: Wed, 29 Jun 2022 14:42:59 +0530 Subject: web: server: Add document type identifiers in web output. * tissue/web/server.scm (%css)[.search-result-title, .search-result-document, .search-result-issue, .search-result-open-issue, .search-result-closed-issue]: New rules. --- tissue/web/server.scm | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/tissue/web/server.scm b/tissue/web/server.scm index 64397a6..fb6dd9f 100644 --- a/tissue/web/server.scm +++ b/tissue/web/server.scm @@ -55,6 +55,32 @@ form { font-size: larger; } +.search-result-title, .search-result-title:before { + vertical-align: middle; +} + +.search-result-document .search-result-title:before, .search-result-issue .search-result-metadata:before { + font-size: xx-small; + font-weight: bold; + margin: 0 0.2em; + padding: 0 0.4em; + background-color: darkmagenta; + color: white; +} + +.search-result-document .search-result-title:before { + content: \"DOC\"; +} + +.search-result-open-issue .search-result-metadata:before { + content: \"ISSUE\"; + background-color: green; +} + +.search-result-closed-issue .search-result-metadata:before { + content: \"✓ ISSUE\"; +} + .search-result-metadata { color: dimgray; font-size: smaller; -- cgit v1.2.3