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.

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