ace-jump-mode and various stylings