From 9675345bddef92a7586cc55173f2ff502ccef314 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= <fpeters@entrouvert.com>
Date: Fri, 24 Nov 2017 08:21:20 +0100
Subject: [PATCH] add space around <hr> in wiki pages

---
 stylesheets/application.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/stylesheets/application.css b/stylesheets/application.css
index 150ac99..9111d46 100644
--- a/stylesheets/application.css
+++ b/stylesheets/application.css
@@ -345,3 +345,8 @@ body.controller-issues.action-show div#content > div.contextual > a.icon-del {
 div.wiki { /* also used for descriptions and comments */
   line-height: 140%;
 }
+
+div.wiki hr {
+  margin: 2em auto;
+  width: 90%;
+}