On 04/01/2016 05:35 AM, Andrea Bolognani wrote:
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 c0c6215..4f98b26 100644
--- a/docs/generic.css
+++ b/docs/generic.css
@@ -11,11 +11,6 @@ p:first-line {
margin-right: 1em;
}
-div.body p:first-letter {
- font-size: 1.2em;
- font-weight: bold;
-}
-
p, ul, ol, dl {
padding: 0px;
margin: 0px;
ACK
- Cole