From 55973771f9826b2df665315d5eb5ef83197cd18d Mon Sep 17 00:00:00 2001
From: Frans de Jonge <fransdejonge@gmail.com>
Date: Sat, 20 Jul 2019 17:37:06 +0200
Subject: [PATCH] [lang] Minor CSS tweaks stylistic improvements (#5128)

Pluralizing paddings like this is a bit unidiomatic, and that "all" seems a bit redundant.

Cf. <https://github.com/koreader/koreader/pull/5127>.
---
 frontend/ui/data/css_tweaks.lua | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/frontend/ui/data/css_tweaks.lua b/frontend/ui/data/css_tweaks.lua
index 350d3f1d8..538d235fa 100644
--- a/frontend/ui/data/css_tweaks.lua
+++ b/frontend/ui/data/css_tweaks.lua
@@ -21,28 +21,28 @@ local CssTweaks = {
             css = [[body { margin: 0 !important; }]],
         },
         {
-            title = _("Ignore margins and paddings"),
+            title = _("Ignore margin and padding"),
             {
                 id = "margin_horizontal_all_0";
-                title = _("Ignore all horizontal margins"),
+                title = _("Ignore horizontal margins"),
                 priority = 2,
                 css = [[* { margin-left: 0 !important; margin-right: 0 !important; }]],
             },
             {
                 id = "margin_vertical_all_0";
-                title = _("Ignore all vertical margins"),
+                title = _("Ignore vertical margins"),
                 priority = 2,
                 css = [[* { margin-top: 0 !important; margin-bottom: 0 !important; }]],
             },
             {
                 id = "padding_horizontal_all_0";
-                title = _("Ignore all horizontal paddings"),
+                title = _("Ignore horizontal padding"),
                 priority = 2,
                 css = [[* { padding-left: 0 !important; padding-right: 0 !important; }]],
             },
             {
                 id = "padding_vertical_all_0";
-                title = _("Ignore all vertical paddings"),
+                title = _("Ignore vertical padding"),
                 priority = 2,
                 css = [[* { padding-top: 0 !important; padding-bottom: 0 !important; }]],
             },