fix fonts garbled under Mac OS X after change default font:
  rollback default font to Monaco, and set default ASCII-Art font to Andale Mono