Let prettyprint determine styling, maybe because there

INFO