[polly] r197722 - www: Use a modern menu style

Sean Silva silvas at purdue.edu
Fri Dec 20 09:33:37 PST 2013


 [id=menu] {
-       width:25ex;
+       width:30ex;
         float: left;
 }
 [id=content] {

what is the point of doing `[id=foo]`? Just do `#foo`

-- Sean Silva


On Thu, Dec 19, 2013 at 2:22 PM, Tobias Grosser <tobias at grosser.es> wrote:

> Author: grosser
> Date: Thu Dec 19 15:22:24 2013
> New Revision: 197722
>
> URL: http://llvm.org/viewvc/llvm-project?rev=197722&view=rev
> Log:
> www: Use a modern menu style
>
> Modified:
>     polly/trunk/www/menu.css
>
> Modified: polly/trunk/www/menu.css
> URL:
> http://llvm.org/viewvc/llvm-project/polly/trunk/www/menu.css?rev=197722&r1=197721&r2=197722&view=diff
>
> ==============================================================================
> --- polly/trunk/www/menu.css (original)
> +++ polly/trunk/www/menu.css Thu Dec 19 15:22:24 2013
> @@ -3,13 +3,13 @@
>  /***************/
>
>  [id=menu] {
> -       width:25ex;
> +       width:30ex;
>          float: left;
>  }
>  [id=content] {
>         /* *****  EDIT THIS VALUE IF CONTENT OVERLAPS MENU ***** */
>         position:absolute;
> -  left:29ex;
> +  left:35ex;
>         padding-right:4ex;
>          max-width: 50em;
>  }
> @@ -19,22 +19,47 @@
>  /**************/
>
>  #menu .submenu {
> -       padding-top:1em;
>         display:block;
> +        padding-top: 0.2em;
> +        font-bottom: 1.2em;
>  }
>
> +/*
> + * Color scheme
> + * darkblue: #313955
> + * blue: #556293
> + * red:  #931e24
> + * brown: #937155
> + * green: #24931e
> + */
> +
>  #menu label {
>         display:block;
> +        color: white;
> +        margin-bottom: 0.4em;
> +        margin-top: 0.4em;
>         font-weight: bold;
> +        font-size: 1.2em;
>         text-align: center;
> -       background-color: rgb(192,192,192);
> +       background-color: #3b4567;
> +        -webkit-border-radius: 5px;
> +        -moz-border-radius: 5px;
> +
>  }
>  #menu a {
>         padding:0 .2em;
> +        -webkit-border-radius: 5px;
> +        -moz-border-radius: 5px;
> +        font-size: 1.1em;
>         display:block;
> -       text-align: center;
> -       background-color: rgb(235,235,235);
> +        font-weight: bold;
> +       text-decoration: none;
> +        color: #3b4567;
> +}
> +
> +#menu a:hover {
> +        background: #93aaff;
> +
>  }
>  #menu a:visited {
> -       color:rgb(100,50,100);
>  }
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20131220/dc0d654d/attachment.html>


More information about the llvm-commits mailing list