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.
This commit is contained in:
Andrea Bolognani
2016-04-08 17:31:19 +02:00
parent a3510e33d3
commit 19b6709da8
-5
View File
@@ -7,11 +7,6 @@ body {
background: #ffffff; background: #ffffff;
} }
div.body p:first-letter {
font-size: 1.2em;
font-weight: bold;
}
p, ul, ol, dl { p, ul, ol, dl {
padding: 0px; padding: 0px;
margin: 0px; margin: 0px;