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

Stefano Sabatini stefasab at gmail.com
Tue Nov 26 10:26:24 CET 2013


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.
-- 
FFmpeg = Forgiving and Fanciful Murdering Peaceful Entertaining Gnome


More information about the ffmpeg-devel mailing list