[polly] r259483 - www: update formatting of polyhedral.info news

[Tobias Grosser via llvm-commits]

Author: grosser
Date: Tue Feb  2 03:30:01 2016
New Revision: 259483

URL: http://llvm.org/viewvc/llvm-project?rev=259483&view=rev
Log:
www: update formatting of polyhedral.info news

Modified:
    polly/trunk/www/menu.css
    polly/trunk/www/menu.html.incl

Modified: polly/trunk/www/menu.css
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/www/menu.css?rev=259483&r1=259482&r2=259483&view=diff
==============================================================================
--- polly/trunk/www/menu.css (original)
+++ polly/trunk/www/menu.css Tue Feb  2 03:30:01 2016
@@ -55,6 +55,9 @@
         color: #3b4567;
 }
 
+a.rss-item {
+        margin-bottom: -1.2em;
+}
 #menu a:visited {
 }
 
@@ -71,15 +74,19 @@
 }
 
 li.rss-item {
-  padding-bottom: 0em;
+  padding-bottom: 1em;
 }
 
 .rss_item {
   padding-top: 1em;
 }
 
-.rss_date {
+.rss-date {
   font-size: 0.8em;
   color: #f35555;
   padding-left: 0.4em;
+  margin-bottom: 2em;
+  padding-bottom: 2em;
+  text-align: right;
+  float: right;
 }

Modified: polly/trunk/www/menu.html.incl
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/www/menu.html.incl?rev=259483&r1=259482&r2=259483&view=diff
==============================================================================
--- polly/trunk/www/menu.html.incl (original)
+++ polly/trunk/www/menu.html.incl Tue Feb  2 03:30:01 2016
@@ -45,16 +45,25 @@ Optimizations</span></h2>
   </div>
 
   <div class="submenu2">
-  <label>polyhedral.info news</label>
+  <label><a href="http://polyhedral.info" style="color: white">polyhedral.info - News</a></label>
   <script language="JavaScript"
-  src="http://feed2js.org//feed2js.php?src=http%3A%2F%2Fpolyhedral.info%2Frss.xml&num=5&utf=y"
+  src="http://feed2js.org//feed2js.php?src=http%3A%2F%2Fpolyhedral.info%2Frss.xml&num=5&date=y&utf=y&desc=200"
   charset="UTF-8" type="text/javascript"></script>
 
   <noscript>
   <a
-  href="http://feed2js.org//feed2js.php?src=http%3A%2F%2Fpolyhedral.info%2Frss.xml&num=5&utf=y&html=y">View
+  href="http://feed2js.org//feed2js.php?src=http%3A%2F%2Fpolyhedral.info%2Frss.xml&num=5&date=y&utf=y&html=y">View
   RSS feed</a>
   </noscript>
+<script src="http://code.jquery.com/jquery-latest.min.js" type="text/javascript"></script>
+<script type='text/javascript'>
+function myFormat(dateTime) {
+    var months = ['Jan','Feb','Mar','Apr','May','Jun','Jul','Aug','Sep','Oct','Nov','Dec'];
+    var dateString = months[dateTime.getMonth()] + ' ' + dateTime.getDate() + ', ' + dateTime.getFullYear();
+    return dateString;
+}
+$(document).ready(function() {$('.rss-date').each(function() {$(this).text(myFormat(new Date($(this).text())));});});
+</script>
  </div>
 </div>