better formatting

src/html/board.html

@@ -12,10 +12,17 @@
                 <h3>From {{ post.user.name }}</h3>
                 <h6>posted at {{ post.created_at }}</h6>
                 {% if post.reference %}
-                <h6><b>ref post:</b> <a href="/posts/{{ post.reference.id }}">{{ post.reference.content }}</a></h6>
+                <h6><b>ref post:</b> <a href="/posts/{{ post.reference.id }}">{{ post.reference.short_content }}</a></h6>
                 {% endif %}
-                <p>{{ post.content }}</p>
-                <h6><a href="/posts/{{ post.id }}">View Post</a></h6>
+                <p>{{ post.short_content }}</p>
+                <h6><a href="/posts/{{ post.id }}">View Post</a>
+                    {% if post.replies|length > 0 %}
+                     | ({{ post.replies|length }} replies)
+                    {% endif %}
+                    {% if session.name == "SYSTEM" %}
+                     | <a href="/delete/post/{{ post.id }}">Delete</a>
+                    {% endif %}
+                </h6>
             </li>
         {% endfor %}
         {% if board.posts|length == 0 %}