tweaks to code styles for prettify