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 /COPYING | |
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.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions