From e9186b142cc6809997ca6f77bc7b8593b600426b Mon Sep 17 00:00:00 2001
From: michael63-osm <michael63@digital-filestore.de>
Date: Mon, 25 May 2020 09:48:44 +0200
Subject: [PATCH] integrate GrazianoCapelli's suggestion for the contents menu

---
 style-rtl.css | 4 +++-
 style.css     | 4 +++-
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/style-rtl.css b/style-rtl.css
index 607839243..4e2fb7c7e 100644
--- a/style-rtl.css
+++ b/style-rtl.css
@@ -611,7 +611,9 @@ input.default-value {
 }
 .doc .title{
   display:block;
-  padding:10px;
+  padding:4px;
+  padding-left:10px;
+  padding-right:10px;
   background:#f0f0f0;
 }
 .doc .title.active {
diff --git a/style.css b/style.css
index 70588b649..87e673961 100644
--- a/style.css
+++ b/style.css
@@ -600,7 +600,9 @@ input.default-value {
 }
 .doc .title{
   display:block;
-  padding:10px;
+  padding:4px;
+  padding-left:10px;
+  padding-right:10px;
   background:#f0f0f0;
 }
 .doc .title.active {