[polly] r204466 - www: More formatting improvements

[Tobias Grosser]

Author: grosser
Date: Fri Mar 21 08:38:02 2014
New Revision: 204466

URL: http://llvm.org/viewvc/llvm-project?rev=204466&view=rev
Log:
www: More formatting improvements

Modified:
    polly/trunk/www/content.css
    polly/trunk/www/menu.css

Modified: polly/trunk/www/content.css
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/www/content.css?rev=204466&r1=204465&r2=204466&view=diff
==============================================================================
--- polly/trunk/www/content.css (original)
+++ polly/trunk/www/content.css Fri Mar 21 08:38:02 2014
@@ -3,13 +3,12 @@ html { margin: 0px; } body { margin: 8px
 html, body {
   padding:0px;
   font-family:"Lucida Grande", "Lucida Sans Unicode", Arial, Verdana, Helvetica, sans-serif; background-color: #fff; color: #222;
-  line-height:1.5;
 }
 
 #box {
   margin-left: auto;
   margin-right: auto;
-  max-width: 80em;
+  max-width: 70em;
 }
 [id=content] {
 	/* *****  EDIT THIS VALUE IF CONTENT OVERLAPS MENU ***** */
@@ -57,7 +56,7 @@ tr { vertical-align:top }
     background-image:url(images/header-background.png);
     background-repeat:no-repeat;
     background-position: right;
-    max-width: 89em;
+    max-width: 70em;
     margin-bottom: 1em
 
 

Modified: polly/trunk/www/menu.css
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/www/menu.css?rev=204466&r1=204465&r2=204466&view=diff
==============================================================================
--- polly/trunk/www/menu.css (original)
+++ polly/trunk/www/menu.css Fri Mar 21 08:38:02 2014
@@ -3,9 +3,12 @@
 /***************/
 
 #menu {
+        line-height:1.3;
 	width: 18em;
         float: left;
         margin-right: 3em;
+        padding: 1em;
+        background-color: #edf7ff;
 }
 /**************/
 /* menu style */
@@ -52,8 +55,8 @@
 
 
 #menu a:hover {
-        background: #93aaff;
-
+        background: #f35555;
+        color: #3b4567;
 }
 #menu a:visited {
 }
@@ -67,7 +70,8 @@
 }
 
 #menu a.rss_item:hover {
-  background-color: white;
+  background-color: transparent;
+  color: none;
 }
 
 .rss_item {