view: Show issue title in fixed top bar.
authorRicardo Wurmus <rekado@elephly.net>
Tue, 5 May 2020 13:18:35 +0000 (15:18 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Tue, 5 May 2020 13:18:35 +0000 (15:18 +0200)
commit5c92b8912a3831a2062c7fa2f175b1c194e4d993
tree67e80c107ad1fa592e97cc6b221c14bc3937afac
parent74606cf222166c334de66752d229d49b76e34d0c
view: Show issue title in fixed top bar.
assets/css/screen.css
mumi/web/view/html.scm