prettify dsl