[issue #795] output server time

reduction to a single style

app/assets/stylesheets/design/custom.scss

@@ -1708,3 +1708,4 @@ form#new_pull_request {
 table#myTable thead tr.search th form.button_to div input {
   margin-top: 2px;
 }
+

app/views/projects/build_lists/index.html.haml

@@ -47,7 +47,7 @@
                     .replace("%d", formatNumber(minutes));
     }
     // TODO Very, very ugly method.
-    var now = document.getElementById('servertime').value*1000;
+    var now = $('#servertime').val() * 1000;
     $("time.js-relative-date").each(function() {
       var time = parseIso8601($(this).attr('datetime')).getTime();
       $(this).text(strTimeBetween(time, now));