menu: make it even smaller...

theme/templates/page.html

@@ -21,10 +21,10 @@
                     {% endif %}
                 {% endif %}
                 {% if content.group == "en" %}
-		            <li><a href="https://smaut.stratum0.org/hoa/hoa2020/">Tickets: Waiting&nbsp;List</a></li>
+		            <li><a href="https://smaut.stratum0.org/hoa/hoa2020/">Tickets</a></li>
                     <li><a href="/index.html" aria-label="diese Seite auf Deutsch"><img src="/static/img/de.png" alt="german"></a></li>
                 {% else %}
-		            <li><a href="https://smaut.stratum0.org/hoa/hoa2020/">Tickets: Warteliste</a></li>
+		            <li><a href="https://smaut.stratum0.org/hoa/hoa2020/">Tickets</a></li>
                     <li><a href="/en.html" aria-label="this page in english"><img src="/static/img/gb.png" alt="englisch"></a></li>
                 {% endif %}
             </ul>