
8 Apr
2016
8 Apr
'16
4:16 p.m.
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