Merge remote-tracking branch 'github/master'

diff --git a/share/collection.js b/share/collection.js
index 7bcdc54fc0a01d01a6674a6d727bfabc2783b1be..e1764acb12b828c74d36f8f121f3fd218542164e 100644 (file)
--- a/share/collection.js
+++ b/share/collection.js
@@ -712,10 +712,10 @@ $(document).ready(function() {
         + "<div class=\"graph-button\" onClick=\"zoom_reference ('"+id+"');\">!</div>"
         + "</div>"
         + "<div class=\"graph-buttons navigation\">"
-        + "<div class=\"graph-button\" onClick=\"zoom_earlier ('"+id+"');\">←</div>"
-        + "<div class=\"graph-button\" onClick=\"zoom_out     ('"+id+"');\">−</div>"
+        + "<div class=\"graph-button\" onClick=\"zoom_earlier ('"+id+"');\">\u2190</div>"
+        + "<div class=\"graph-button\" onClick=\"zoom_out     ('"+id+"');\">\u2212</div>"
         + "<div class=\"graph-button\" onClick=\"zoom_in      ('"+id+"');\">+</div>"
-        + "<div class=\"graph-button\" onClick=\"zoom_later   ('"+id+"');\">→</div>"
+        + "<div class=\"graph-button\" onClick=\"zoom_later   ('"+id+"');\">\u2192</div>"
         + "</div>"
         );
     });