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

[Stefano Sabatini]

On date Wednesday 2013-11-27 18:01:09 -0900, Lou Logan encoded:
> 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.

Applied.
-- 
FFmpeg = Frenzy and Forgiving Moronic Pitiless Enlightened Governor