html: Add a sidebar to quickly jump to messages.
authorRicardo Wurmus <rekado@elephly.net>
Thu, 7 May 2020 13:23:22 +0000 (15:23 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Thu, 7 May 2020 13:23:22 +0000 (15:23 +0200)
commitb7f54a7c4f8fb062473603fe80b7996b0bf14d1f
tree5d1bc80de31d53021229e20d993d8f9a5c6b3379
parent0548d5b3f24ffa1ed7950f97905fae0315fad910
html: Add a sidebar to quickly jump to messages.
assets/css/screen.css
mumi/web/view/html.scm