fix unicode issue on safari

Author: Lingdong Huang

site/ide.html

@@ -31,7 +31,7 @@
   又: { type: eTokenType.DELIM },
   有: { type: eTokenType.DELIM },
   零: { type: eTokenType.ZERO, digit: "0" },
-  〇: { type: eTokenType.DIGIT, digit: "0" }, // U+3007 Ideographic Number Zero
+  "〇": { type: eTokenType.DIGIT, digit: "0" }, // U+3007 Ideographic Number Zero
   一: { type: eTokenType.DIGIT, digit: "1" },
   二: { type: eTokenType.DIGIT, digit: "2" },
   三: { type: eTokenType.DIGIT, digit: "3" },