diff options
author | Arun Isaac | 2022-06-29 14:42:59 +0530 |
---|---|---|
committer | Arun Isaac | 2022-06-29 14:42:59 +0530 |
commit | 51625991ab841e7f7262090b4d21558d00606a0c (patch) | |
tree | 71645949c70f97cb3d64321757aedc3e9a3abecb | |
parent | 8a2b664deba5426844ba78a218380b2f8eede60b (diff) | |
download | tissue-51625991ab841e7f7262090b4d21558d00606a0c.tar.gz tissue-51625991ab841e7f7262090b4d21558d00606a0c.tar.lz tissue-51625991ab841e7f7262090b4d21558d00606a0c.zip |
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.
-rw-r--r-- | tissue/web/server.scm | 26 |
1 files changed, 26 insertions, 0 deletions
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; |