html: Add search hints.
authorRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 22:09:42 +0000 (00:09 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 22:09:42 +0000 (00:09 +0200)
commit9dfb0acb540ad56642932e592870c2aeca1754b1
tree59747b7029f450a4de510c6b0b6711432956c0b4
parent41de24673434be53830b6adbe7fc5b0a0c62a44e
html: Add search hints.
assets/css/screen.css
mumi/web/view/html.scm