Toolbar on the desktop

Fixes #195
Re `margin`, then you don't use the space anymore for viewing the document, isn't it? It does (mostly) solve the problems I mentioned.