--- a/design/list.html Thu Jun 15 16:51:24 2017 +0200
+++ b/design/list.html Thu Jun 15 17:11:09 2017 +0200
@@ -18,7 +18,7 @@
</head>
<body>
- {% include nav.html %}
+ {% include nav.html search=true %}
<div class="sessions-list">
{% include sessions.list.html %}