From bcbb593c975377546caff9eb5d273ed3ee318468 Mon Sep 17 00:00:00 2001 From: Andrea Bolognani Date: Fri, 1 Apr 2016 11:31:11 +0200 Subject: [PATCH] docs: Remove useless p:first-line CSS rule According to MDN[1], 'margin-left' and similar CSS properties, including 'margin-right', cannot be applied to the '::first-line' pseudo-element, so this rule will never have any effect and can be safely removed. [1] https://developer.mozilla.org/en/docs/Web/CSS/::first-line --- docs/generic.css | 4 ---- 1 file changed, 4 deletions(-) diff --git a/docs/generic.css b/docs/generic.css index c0c62158fd..d124412760 100644 --- a/docs/generic.css +++ b/docs/generic.css @@ -7,10 +7,6 @@ body { background: #ffffff; } -p:first-line { - margin-right: 1em; -} - div.body p:first-letter { font-size: 1.2em; font-weight: bold; -- GitLab