the topmenu should exist for anon viewers too (for printing)

views/header.html

@@ -59,6 +59,7 @@
 </details>
 <p id="topspacer"></p>
 {{ else }}
+<div id="topmenu">
 <span><a id="homelink" href="/">home</a></span>
 <span><a href="/o">tags</a></span>
 <span><a href="/events">events</a></span>
@@ -67,5 +68,6 @@
 <span><a href="/rss">rss</a></span>
 {{ end }}
 <span><a href="/login">login</a></span>
+</div>
 {{ end }}
 </header>