Adjust search box styles.
authorRicardo Wurmus <rekado@elephly.net>
Sun, 2 Sep 2018 19:14:58 +0000 (21:14 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Sun, 2 Sep 2018 19:14:58 +0000 (21:14 +0200)
commit970f6acf56edcdc9a56ab3ea9d4b324e0c4d9aea
tree5e809a777e3492fe6a3ac5e184ecac37956eab0d
parentf55459ae507efaef31c9b1a1daf5d024c8db9917
Adjust search box styles.
assets/css/screen.css
mumi/web/view/html.scm