diff options
| author | Tobias Grosser <tobias@grosser.es> | 2016-02-02 09:30:01 +0000 |
|---|---|---|
| committer | Tobias Grosser <tobias@grosser.es> | 2016-02-02 09:30:01 +0000 |
| commit | 6c2ae4592d84529557e7b2a9ef0e435dbacbab44 (patch) | |
| tree | f09a8d03fa459883b131015282088a396a43a21e | |
| parent | dc1255f02f863b872e6653f7dc29c942ed5b603e (diff) | |
| download | bcm5719-llvm-6c2ae4592d84529557e7b2a9ef0e435dbacbab44.tar.gz bcm5719-llvm-6c2ae4592d84529557e7b2a9ef0e435dbacbab44.zip | |
www: update formatting of polyhedral.info news
llvm-svn: 259483
| -rw-r--r-- | polly/www/menu.css | 11 | ||||
| -rw-r--r-- | polly/www/menu.html.incl | 15 |
2 files changed, 21 insertions, 5 deletions
diff --git a/polly/www/menu.css b/polly/www/menu.css index 30409b0d60a..be8627c1ad4 100644 --- a/polly/www/menu.css +++ b/polly/www/menu.css @@ -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; } diff --git a/polly/www/menu.html.incl b/polly/www/menu.html.incl index a77635978c0..8d57cf790d3 100644 --- a/polly/www/menu.html.incl +++ b/polly/www/menu.html.incl @@ -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> |
