diff options
| -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 |