removed prettify, since it broke markdown exports