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

diff --git a/docs/generic.css b/docs/generic.css
index c0c62158fdfc0aaf29264b88b1ed1940077eb7da..d12441276072530f028afaf4a255736158f17d90 100644 (file)
--- 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;