Support informal time zones.

static/js/details.js

@@ -109,11 +109,12 @@ $(function () {
     var lastFormat = "local";
     function switchDateFormat(format) {
         lastFormat = format;
-        var tz = format == "local" ? spacetime().timezone().name : format;
         $("#log tr").each(function(index, row) {
-            var s = spacetime(row.getAttribute("data-dt")).goto(tz);
-            $(".date", row).text(s.unixFmt("MMM d"));
-            $(".time", row).text(s.unixFmt("h:mm"));                
+            var dt = moment(row.getAttribute("data-dt"));
+            format == "local" ? dt.local() : dt.tz(format);
+
+            $(".date", row).text(dt.format("MMM D"));
+            $(".time", row).text(dt.format("HH:mm"));                
         })
 
         // The table is initially hidden to avoid flickering as we convert dates.

static/js/log.js

@@ -11,12 +11,13 @@ $(function () {
     });
 
     function switchDateFormat(format) {
-        var tz = format == "local" ? spacetime().timezone().name : format;
         $("#log tr").each(function(index, row) {
-            var s = spacetime(row.getAttribute("data-dt")).goto(tz);
-            $(".date", row).text(s.unixFmt("MMM d"));
-            $(".time", row).text(s.unixFmt("h:mm"));                
-        })
+            var dt = moment(row.getAttribute("data-dt"));
+            format == "local" ? dt.local() : dt.tz(format);
+
+            $(".date", row).text(dt.format("MMM D"));
+            $(".time", row).text(dt.format("HH:mm"));                
+        })        
     }
 
     $("#format-switcher").click(function(ev) {

templates/front/details.html

@@ -262,7 +262,8 @@
 <script src="{% static 'js/bootstrap-select.min.js' %}"></script>
 <script src="{% static 'js/nouislider.min.js' %}"></script>
 <script src="{% static 'js/snippet-copy.js' %}"></script>
-<script src="{% static 'js/spacetime.min.js' %}"></script>
+<script src="{% static 'js/moment.min.js' %}"></script>
+<script src="{% static 'js/moment-timezone-with-data-10-year-range.min.js' %}"></script>
 <script src="{% static 'js/update-timeout-modal.js' %}"></script>
 <script src="{% static 'js/adaptive-setinterval.js' %}"></script>
 <script src="{% static 'js/details.js' %}"></script>

templates/front/log.html

@@ -171,7 +171,8 @@
 {% compress js %}
 <script src="{% static 'js/jquery-2.1.4.min.js' %}"></script>
 <script src="{% static 'js/bootstrap.min.js' %}"></script>
-<script src="{% static 'js/spacetime.min.js' %}"></script>
+<script src="{% static 'js/moment.min.js' %}"></script>
+<script src="{% static 'js/moment-timezone-with-data-10-year-range.min.js' %}"></script>
 <script src="{% static 'js/log.js' %}"></script>
 {% endcompress %}
 {% endblock %}