added pretty-mode.el