diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-03-31 09:04:59 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-03-31 09:04:59 +0200 |
| commit | 2850f7d726170a46d2bf41a692df3457333b6be3 (patch) | |
| tree | 30323415febbdd7358e057087bb60245347fd037 | |
| parent | 11f9757875b0c55d707ab3036ffbb057bb365405 (diff) | |
view/html: Replace "Search" text with icon.
| -rw-r--r-- | mumi/web/view/html.scm | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/mumi/web/view/html.scm b/mumi/web/view/html.scm index 03b701a..b4409e4 100644 --- a/mumi/web/view/html.scm +++ b/mumi/web/view/html.scm @@ -107,7 +107,22 @@ (@ (type "submit") (class ,(string-append (if standalone? "btn-lg " "") "btn btn-primary"))) - "Search"))))) + ;; 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")) ""))))))) (define* (header #:key (search-bar? #t)) `(nav |