From a6f9c6473166915e406a5afef0286afa3467294e Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Tue, 20 Dec 2022 13:15:40 +0100 Subject: html: Remove search icon and submit button. --- mumi/web/view/html.scm | 21 --------------------- 1 file changed, 21 deletions(-) diff --git a/mumi/web/view/html.scm b/mumi/web/view/html.scm index b574289..22e749c 100644 --- a/mumi/web/view/html.scm +++ b/mumi/web/view/html.scm @@ -90,27 +90,6 @@ (name "query") (value ,text) (placeholder "Input your search query..."))) - (span (@ (class "input-group-append")) - (button - (@ (type "submit") - (class ,(string-append (if standalone? "btn-lg " "") - "btn btn-primary"))) - ;; This SVG is part of Bootstrap and is available - ;; under the Expat license. - (svg - (@ (class "bi bi-search") - (width "1em") - (height "1em") - (viewBox "0 0 16 16") - (fill "currentColor") - (xmlns "http://www.w3.org/2000/svg")) - (title "Search") - (path (@ (fill-rule "evenodd") - (d "M10.442 10.442a1 1 0 011.415 0l3.85 3.85a1 1 0 01-1.414 1.415l-3.85-3.85a1 1 0 010-1.415z") - (clip-rule "evenodd")) "") - (path (@ (fill-rule "evenodd") - (d "M6.5 12a5.5 5.5 0 100-11 5.5 5.5 0 000 11zM13 6.5a6.5 6.5 0 11-13 0 6.5 6.5 0 0113 0z") - (clip-rule "evenodd")) "")))) (div (@ (id "search-hints")) (p "You can improve the search results by making use of the -- cgit v1.2.3