Fix filtered tags section for non-home pages

tildes/tildes/templates/topic_listing.jinja2

@@ -256,18 +256,31 @@
     </ul>
   {% endif %}
 
-  {% if request.user and not (tag or unfiltered) %}
-    <hr>
-    <details>
-      <summary>Filtered topic tags ({{ request.user.filtered_topic_tags|length }})</summary>
-      <ul class="topic-tags">
-        {% for tag in request.user.filtered_topic_tags %}
-          <li class="label label-topic-tag">{{ tag }}</li>
-        {% else %}
-          <li class="label label-topic-tag">No filtered tags</li>
-        {% endfor %}
-      </ul>
-      <a class="btn btn-link" href="/settings/filters">Edit filtered tags</a>
-    </details>
+  {% if request.user %}
+    <div class="divider"></div>
+
+    <ul class="nav">
+    <li>User settings</li>
+
+    <ul class="nav">
+      {% if not (tag or unfiltered) %}
+      <li><details>
+        <summary>Filtered topic tags ({{ request.user.filtered_topic_tags|length }})</summary>
+        <ul class="topic-tags">
+          {% for tag in request.user.filtered_topic_tags %}
+              <li class="label label-topic-tag">
+                <a href="/?tag={{tag}}">{{ tag }}</a>
+              </li>
+          {% else %}
+            <li class="label label-topic-tag">No filtered tags</li>
+          {% endfor %}
+        </ul>
+        <a class="btn btn-link" href="/settings/filters">Edit filtered tags</a>
+      </details></li>
+      {% endif %}
+
+      <li class="nav-item ml-2"><a href="/settings">Settings page</a></li>
+    </ul>
+    </ul>
   {% endif %}
 {% endblock %}