replace × with ×, closes #555

3f064889 · Thomas Park · 93c52826 · 3f064889
Commit 3f064889 authored Mar 17, 2016 by Thomas Park
--- a/assets/js/custom.js
+++ b/assets/js/custom.js
@@ -32,7 +32,7 @@
  });

  function cleanSource(html) {
-    html = html.replace(/×/g, "&close;")
+    html = html.replace(/×/g, "&times;")
               .replace(/«/g, "&laquo;")
               .replace(/»/g, "&raquo;")
               .replace(/←/g, "&larr;")