Customized version of pretty-mode.el