From 19b6709da86e82e5b9091e5de6e7fdbab8b4c63e Mon Sep 17 00:00:00 2001
From: Andrea Bolognani <abologna@redhat.com>
Date: Fri, 1 Apr 2016 11:29:21 +0200
Subject: [PATCH] docs: Remove unused div.body CSS rule

The 'body' CSS class is not used anywhere in the HTML files,
so we can get rid of the definition as well.
---
 docs/generic.css | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/docs/generic.css b/docs/generic.css
index d124412760..208e31e367 100644
--- a/docs/generic.css
+++ b/docs/generic.css
@@ -7,11 +7,6 @@ body {
   background: #ffffff;
 }
 
-div.body p:first-letter {
-  font-size: 1.2em;
-  font-weight: bold;
-}
-
 p, ul, ol, dl {
   padding: 0px;
   margin: 0px;
-- 
2.39.5