From 6379a818753832d3bed61f1d8769b071c7a40c64 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Tue, 20 Dec 2022 16:55:58 +0100 Subject: html: search-widget: Remove nested div. --- mumi/web/view/html.scm | 64 ++++++++++++++++++++++++-------------------------- 1 file 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 -- cgit v1.2.3