From 4dcbc5614c901c6cfb5762c249b3632233c76a0d Mon Sep 17 00:00:00 2001
From: Marius BALTEANU <marius.balteanu@zitec.com>
Date: Sun, 26 Jan 2020 22:28:32 +0200
Subject: [PATCH 7/7] Fix duplicate "margin-right" property

---
 public/stylesheets/rtl.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/public/stylesheets/rtl.css b/public/stylesheets/rtl.css
index 59d0505c4..593a78d6a 100644
--- a/public/stylesheets/rtl.css
+++ b/public/stylesheets/rtl.css
@@ -318,8 +318,8 @@ div.wiki pre {
 }
 
 div.wiki ul.toc {
-  margin-right:0px; margin-left:12px;
-  margin-left:0;    margin-right:0;
+  margin-left:0;
+  margin-right:0;
 }
 
 div.wiki ul.toc.right { float: left; margin-left:0; margin-right:12px;}
-- 
2.22.0