# HG changeset patch
# User David Champion <dgc@uchicago.edu>
# Date 1290324361 21600
# Node ID 987caba84824a3b7fa7779e6b9fa0e94429c969b
# Parent  fb3ce83c1a484c8619a72ddde19370c51f30a8a4
downloads: highlight preferred options with <em>

diff -r fb3ce83c1a48 -r 987caba84824 static/css/styles.css
--- a/static/css/styles.css	Sat Nov 20 19:53:07 2010 -0600
+++ b/static/css/styles.css	Sun Nov 21 01:26:01 2010 -0600
@@ -66,6 +66,7 @@
 .latest thead td, .latest thead th { background: #00B5F1; color: #fff; font-weight: bold; }
 thead td, thead th { background: #999; color: #fff; font-weight: bold; }
 tbody td { border-bottom: 1px solid #ccc; }
+tbody td em { font-style: normal; font-weight: bolder; }
 
 /*
  * Quotes
diff -r fb3ce83c1a48 -r 987caba84824 static/js/download.js
--- a/static/js/download.js	Sat Nov 20 19:53:07 2010 -0600
+++ b/static/js/download.js	Sun Nov 21 01:26:01 2010 -0600
@@ -57,9 +57,15 @@
             return (b < a) - (a < b);
         });
 
+        var desc;
         for (i in downloads) {
             var dl = downloads[i];
-            document.write('<tr>\n<td>' + dl.desc + '</td>' +
+            var ua = navigator.userAgent;
+            if (dl.matches(ua))
+                desc = '<em>' + dl.desc + '</em>';
+            else
+                desc = dl.desc;
+            document.write('<tr>\n<td>' + desc + '</td>' +
                            '<td></td>' +
                            '<td><a href="' + dl.url + '">download</a></td>' +
                            '</tr>');