[FFmpeg-devel] [PATCH 2/2] doc/default.css: sync with ffmpeg-web

[Lou Logan]

On Tue, 26 Nov 2013 10:26:24 +0100, Stefano Sabatini wrote:

> On date Sunday 2013-11-24 16:40:05 -0800, Timothy Gu encoded:
> > Signed-off-by: Timothy Gu <timothygu99 at gmail.com>
> > ---
> >  doc/default.css | 4 ++--
> >  1 file changed, 2 insertions(+), 2 deletions(-)
> > 
> > diff --git a/doc/default.css b/doc/default.css
> > index e6c6cfe..bf50200 100644
> > --- a/doc/default.css
> > +++ b/doc/default.css
> > @@ -17,8 +17,8 @@ a:visited {
> >  }
> >  
> >  #banner img {
> > -    padding-bottom: 1px;
> > -    padding-top: 5px;
> > +    margin-bottom: 1px;
> > +    margin-top: 5px;
> >  }
> 
> Both should be fine if they produce identical default.css files.

I applied "[PATCH 1/2] web/default.css: sync with ffmpeg" to
ffmpeg-web, but someone else will have to apply patch 2/2 to
ffmpeg.