On Fri, 2016-04-08 at 10:16 -0400, Cole Robinson wrote:
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
Pushed, thanks :)
--
Andrea Bolognani
Software Engineer - Virtualization Team