[FFmpeg-cvslog] [ffmpeg-web] branch master updated. d48812d css: slightly improve general output.

[Stefano Sabatini]

On date Tuesday 2012-06-19 21:37:06 +0200, ffmpeg-cvslog Mailing List wrote:
> The branch, master has been updated
>        via  d48812dd0be743e95e0420d21158fc2b6e9e3d57 (commit)
>       from  565a6ffa3267da4dc27dc178687ea29a2a46fe29 (commit)
> 
> 
> - Log -----------------------------------------------------------------
> commit d48812dd0be743e95e0420d21158fc2b6e9e3d57
> Author:     Cl??ment B??sch <ubitux at gmail.com>
> AuthorDate: Sun Jun 17 21:35:57 2012 +0200
> Commit:     Cl??ment B??sch <ubitux at gmail.com>
> CommitDate: Tue Jun 19 21:36:30 2012 +0200
> 
>     css: slightly improve general output.
> 
> diff --git a/htdocs/default.css b/htdocs/default.css
> index 19e30f4..e092e33 100644
> --- a/htdocs/default.css
> +++ b/htdocs/default.css
> @@ -25,6 +25,8 @@ a:visited {
>  body {
>      background-color: #313131;
>      margin: 0;
> +    font: 0.8em sans-serif;

Honestly I find the font too small to be readable, I'd rahter leave
this unchanged.

> +    text-align: justify;
>  }
>  
>  .center {
> @@ -44,25 +46,33 @@ body {
>      text-align: center;
>  }
>  
> +h1, h2, h3 {
> +    padding-left: 0.4em;
> +    border-radius: 4px;
> +    padding-bottom: 0.2em;
> +    padding-top: 0.2em;
> +    border: 1px solid #6A996A;
> +}
> +
>  h1 {
>      background-color: #7BB37B;
> -    border: 1px solid #6A996A;
>      color: #151515;
>      font-size: 1.2em;
> -    padding-bottom: 0.2em;
> -    padding-left: 0.4em;
> -    padding-top: 0.2em;
> +    padding-bottom: 0.3em;
> +    padding-top: 0.3em;
>  }
>  
>  h2 {
>      color: #313131;
> -    font-size: 1.2em;
> +    font-size: 0.9em;
> +    background-color: #ABE3AB;
>  }
>  
>  h3 {
>      color: #313131;
>      font-size: 0.8em;
>      margin-bottom: -8px;
> +    background-color: #BBF3BB;
>  }
>  
>  img {
> @@ -106,6 +116,18 @@ p {
>      margin-right: 1em;
>  }
>  
> +pre {
> +    margin-left: 3em;
> +    margin-right: 3em;
> +    padding: 0.3em;
> +    border: 1px solid #bbb;

> +    background-color: #efffef;

Honestly I find this color quite disturbing, I'd rather keep it white
(or a slight gray color), but then it's just me.

[...]

Feel free to ignore this changes, and I will eventually send a patch
for that.
-- 
FFmpeg = Fierce & Friendly Minimalistic Proud Elastic Gem