[www] Update formatting of news feed

llvm-svn: 218238

polly/www/menu.css

@@ -3,7 +3,7 @@
 /***************/
 
 #menu {
-        line-height:1.3;
+        line-height: 1.3em;
 	width: 18em;
         float: left;
         margin-right: 3em;
@@ -40,6 +40,8 @@
         -webkit-border-radius: 5px;
         -moz-border-radius: 5px;
         border-radius: 5px;
+        padding-top: 0.2em;
+        padding-bottom: 0.2em;
 }
 
 #menu a {
@@ -53,11 +55,6 @@
         color: #3b4567;
 }
 
-
-#menu a:hover {
-        background: #f35555;
-        color: #3b4567;
-}
 #menu a:visited {
 }
 
@@ -69,9 +66,13 @@
 	background-color: #f35555;
 }
 
-#menu a.rss_item:hover {
-  background-color: transparent;
-  color: none;
+.rss-box {
+  padding: 0em;
+}
+
+li.rss-item {
+  padding-bottom: 0em;
+  height: 1.3em;
 }
 
 .rss_item {

polly/www/menu.html.incl

@@ -50,6 +50,7 @@ Optimizations</span></h2>
   href="http://feed2js.org//feed2js.php?src=http%3A%2F%2Fpolyhedral.info%2Frss.xml&num=5&utf=y&html=y">View
   RSS feed</a>
   </noscript>
+ </div>
 </div>
 
 <script type="text/javascript">