fix copy & paste bug
refine debug code
modify LaTeX output in proof mode
support various browser's key code
improve input system
fix input bug
fix candidate box's display style destruction