summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--mumi/web/view/html.scm64
1 files changed, 31 insertions, 33 deletions
diff --git a/mumi/web/view/html.scm b/mumi/web/view/html.scm
index d21774f..f24f1bd 100644
--- a/mumi/web/view/html.scm
+++ b/mumi/web/view/html.scm
@@ -110,39 +110,37 @@ simple query language. Here is a list of supported query terms:")
(define* (search-widget #:key (text ""))
`(div
- (@ (class "card mb-3"))
- (div (@ (class "card-body bg-light"))
- ,(search-form #:standalone? #t #:text text)
- (details
- (summary (strong "Hint"))
- (p
- "Refine your search with filters like "
- (span (@ (class "filter"))
- "is:open")
- ", "
- (span (@ (class "filter"))
- "author:me")
- ", "
- (span (@ (class "filter"))
- "submitter:me")
- ", "
- (span (@ (class "filter"))
- "severity:serious")
- ", "
- (span (@ (class "filter"))
- "tag:easy")
- ", "
- (span (@ (class "filter"))
- "date:2d..now")
- ", "
- (span (@ (class "filter"))
- "date:2012-04-18..2022-04-18")
- ", "
- (span (@ (class "filter"))
- "date:1m..today")
- ", and "
- (a (@ (href "help#search"))
- "many more!"))))))
+ ,(search-form #:standalone? #t #:text text)
+ (details
+ (summary (strong "Hint"))
+ (p
+ "Refine your search with filters like "
+ (span (@ (class "filter"))
+ "is:open")
+ ", "
+ (span (@ (class "filter"))
+ "author:me")
+ ", "
+ (span (@ (class "filter"))
+ "submitter:me")
+ ", "
+ (span (@ (class "filter"))
+ "severity:serious")
+ ", "
+ (span (@ (class "filter"))
+ "tag:easy")
+ ", "
+ (span (@ (class "filter"))
+ "date:2d..now")
+ ", "
+ (span (@ (class "filter"))
+ "date:2012-04-18..2022-04-18")
+ ", "
+ (span (@ (class "filter"))
+ "date:1m..today")
+ ", and "
+ (a (@ (href "help#search"))
+ "many more!")))))
(define logo
'(svg