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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions