[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>.
This commit is contained in:
Frans de Jonge
2019-07-20 17:37:06 +02:00
committed by GitHub
parent 39bf5a4677
commit 55973771f9

View File

@@ -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; }]],
},