[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